5
विवरण तर्क में इसका वर्णन कैसे करें?वर्णन तर्क में इस वाक्य का प्रतिनिधित्व कैसे करें?
एक नौसिखिया के रूप में अभी तक टिप्पणी करने की क्षमता नहीं है
धन्यवाद
A
उत्तर
3
प्रोपोज़िशनल पथरी के साथ
, इस के रूप में वर्णित किया जाएगाएफ (x)) ∧ (¬ (एम (एक्स) ∧ एफ (एक्स)))
जहां:
human ⊆ (male ∪ female) ∩ ¬(male ∩ female)
+0
-1 यह और जॉन का उत्तर: भविष्यवाणी तर्क तर्क तर्क नहीं है। विशेष रूप से, वर्णन तर्क में असंबद्ध मात्रा जैसी कोई चीज नहीं है: मात्राकरण भूमिकाओं से अधिक है, जो वही बात नहीं है। दायित्व की खोज में सामान्य दायित्व के लिए –
1
"हर इंसान पुरुष या महिला है" लेकिन मेरा मानना है कि आप एक "अनन्य या" का उपयोग करना चाहते हैं। ; XH (एक्स) ⊃ (एम (x) 01
और forall: .. तो फिर, मैं इसे प्रवचन के अपने ब्रह्मांड पर निर्भर करता है लगता है)
5
:
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।
+0
+1। –
हुह? ............. –