What does first order predicate logic contain?

Explanation

First-order predicate logic (also known as first-order logic) is a formal system used in mathematics, philosophy, and computer science. Its primary components are:

• Predicates: These represent properties or relations (e.g., 'is red', 'is greater than').

• Variables/Terms: These represent the subjects or objects to which predicates are applied.

Therefore, the correct answer is that it contains a predicate and a subject (represented by variables or constants).

हिन्दी व्याख्या

प्रथम-कोटि प्रेडिकेट लॉजिक (First-order predicate logic) गणित, दर्शन और कंप्यूटर विज्ञान में उपयोग किया जाने वाला एक औपचारिक तंत्र है। इसके मुख्य घटक हैं:

• प्रेडिकेट (Predicate): ये गुणों या संबंधों को दर्शाते हैं (जैसे 'लाल है', 'से बड़ा है').

• चर या पद (Variables/Terms): ये वे विषय या वस्तुएं हैं जिन पर प्रेडिकेट लागू होते हैं।

अतः, सही उत्तर यह है कि इसमें एक प्रेडिकेट और एक सब्जेक्ट (चर या स्थिरांक द्वारा दर्शाया गया) होता है।