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

Published by Madhu ⭐ 12.07K Points at 03-Sep-2022 06:07 am in Artificial Intelligence and Robotics (AIR)

You must be Logged in to update hint/solution

💬 Discussion

📊 Question Analytics

👁️

145

Total Visits

📽️

4 y ago

Published

🎖️

Madhu

Publisher

📈

94%

Success Rate