Discussion
In the following knowledge representation using first order logic ∀ person Indian (person) ^ know (person, English) ⇒ [Mother tongue (person, lang) ^ hate (person, lang)], the number of predicates and variables are respectively :
Answer: A
There are 4 predicates and 2 variables.
The predicates are the relation symbols applied to arguments:
- Indian(person)
- know(person, English)
- Mother tongue(person, lang)
- hate(person, lang)
That makes 4. The variables are person and lang, so 2. English is a constant, not a variable, because it names one particular language.
Counting English as a variable gives 3 (option B), and counting the quantifier or the implication as a predicate gives 5; neither is right.
No comment is present. Be the first to comment.
Loading…
Post your comment
Please log in or register to post a comment.
Examination Categories
- SSC Exams
- Banking Exams
- Teaching Exams
- Civil Services Exams
- Railways Exams
- Engineering Recruitment Exams
- Defence Exams
- State Government Exams
- Police Exams
- Insurance Exams
- Nursing Exams
- Other Government Exams
- NRA CET
- PG Entrance Exams
- Campus Placement
- MBA Entrance Exams
- CUET and UG Entrance
- Judiciary Exams
- Regulatory Body Exams
- Software Development