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

M

Madhu

🎓 Tutor II ⭐ 12.07K 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

👁️

115

Total Visits

📽️

4 y ago

Published

🎖️

Madhu

Publisher

📈

98%

Success Rate