विधेय तर्क - सूत्र

Question

मान लिया गया है $2$ नीचे के रूप में भविष्यवाणी की गई है:

$A(x):$ $x$ एक घोड़ा है;

$B(x,y):$ $x$ की एक पूंछ है $y$।

फिर, निम्न वाक्य का तर्क तर्क सूत्र में अनुवाद करें: "$w$ घोड़े की एक पूंछ है "- जहां $w$ मनमाना चर है

मेरे विचार: मैं इस बात पर संघर्ष कर रहा हूं कि किस चर से बाहर हूं $w$और घोड़े, हमें अस्तित्व और सार्वभौमिक के रूप में चुनना चाहिए? आपके विचारों को जानना चाहेंगे।

अद्यतन: उपरोक्त वाक्य के लिए सूत्र के रूप में व्यक्त किया गया है $\forall(y)(A(y) \Rightarrow B(w,y))$?

Answer 1

निर्देशों को देखते हुए, $w$एक ऐसा निशुल्क चर माना जाता है जो अप्रमाणित रहता है। यह आपके लिए दिए गए दो विधेयकों की परिभाषाओं में, जैसे, के लिए मनमाने नाम डालने के लिए एक प्लेसहोल्डर के रूप में कार्य करता है$x$ तथा $y$ बाध्य भी नहीं हैं।

आपका प्रस्ताव गलत है। आपका सूत्र व्यक्त करता है "$w$हर घोड़े की पूंछ है "। लेकिन इसका मतलब" एक पूंछ का घोड़ा "नहीं है।" घोड़े की पूंछ "का अर्थ है" घोड़े की पूंछ "- वह विशेष पूंछ एक घोड़े की पूंछ है, दुनिया के सभी घोड़े नहीं - - इसलिए घोड़ा चर अस्तित्व में होगा, सार्वभौमिक रूप से मात्रा निर्धारित नहीं।
इसके अलावा, जैसा कि आपके अन्य पोस्ट के उत्तर में समझाया गया है , "घोड़े की पूंछ" का मतलब है कि$w$ की पूंछ है $y$ तथा $y$एक घोड़ा है - तो आपको संयोजन की आवश्यकता है, न कि निहितार्थ। अंगूठे के एक नियम के रूप में, अस्तित्वमान मात्रात्मक संयोजन के साथ जाते हैं और सार्वभौमिक मात्रात्मक निहितार्थ के साथ जाते हैं।

क्या आप इन संकेतों को देखते हुए सही समाधान का पता लगा सकते हैं?