A _________ is used to demonstrate, on a purely syntactic basis, that one formula is a logical consequence of another formula. | Faculties

I

Indresh Gehalot

🎓 Tutor II ⭐ 10.11K Points

📊 Artificial Intelligence and Robotics (AIR)

Q. A _________ is used to demonstrate, on a purely syntactic basis, that one formula is a logical consequence of another formula.

(A) deductive systems
(B) inductive systems
(C) reasoning with knowledge based systems
(D) search based systems

💬 Discuss

✅ Correct Answer: (A) deductive systems

You must be Logged in to update hint/solution

💬 Discussion

📊 Question Analytics

👁️

999

Total Visits

📽️

3 y ago

Published

🎖️

Indresh Gehalot

Publisher

📈

99%

Success Rate