Discussion
What does a function symbol denote in first order logic?
Answer: D
A function symbol such as father of maps each object to exactly one object, so it may be used wherever a term is expected. A predicate expresses a relation and yields a truth value instead. Procedures and properties are different notions, the last being a unary predicate. The distinction between a function, which denotes, and a predicate, which asserts, is what determines where each may appear in a formula.
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