वर्णन तर्क में इस वाक्य का प्रतिनिधित्व कैसे करें?

Question

विवरण तर्क में इसका वर्णन कैसे करें?

एक नौसिखिया के रूप में अभी तक टिप्पणी करने की क्षमता नहीं है

धन्यवाद

Answer 1

प्रोपोज़िशनल पथरी के साथ

, इस के रूप में वर्णित किया जाएगाएफ (x)) ∧ (¬ (एम (एक्स) ∧ एफ (एक्स)))

जहां:

human ⊆ (male ∪ female) ∩ ¬(male ∩ female) 

Answer 2

"हर इंसान पुरुष या महिला है" लेकिन मेरा मानना ​​है कि आप एक "अनन्य या" का उपयोग करना चाहते हैं। ; XH (एक्स) ⊃ (एम (x) 01

और forall: .. तो फिर, मैं इसे प्रवचन के अपने ब्रह्मांड पर निर्भर करता है लगता है)

Answer 3

:

H(x) = x is human 
M(x) = x is male 
F(x) = x is female 

वर्णन तर्क में, यह थोड़ा अलग है

अब यहां दिए गए उत्तरों का विवरण वर्णन तर्क वाक्यविन्यास (जो चर-मुक्त है) का उपयोग नहीं करते हैं। मान लिया जाये कि आप वास्तविक विवरण तर्क सिंटैक्स विवरण Logics के बारे में वैज्ञानिक कागज में प्रयोग किया जाता है चाहता हूँ, बाहर की जाँच करें:

human \sqsubseteq (male \sqcup female) \sqcap \neg (male \sqcap female) 

LaTeX में लिखा इसके, आप एक ऑनलाइन LaTeX समीकरण संपादक का उपयोग कर सकते हैं, उदाहरण के इस अभिव्यक्ति को प्रस्तुत करने के लिए this।