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

πŸ‘οΈ
134
Total Visits
πŸ“½οΈ
4 y ago
Published
πŸŽ–οΈ
Madhu
Publisher
πŸ“ˆ
99%
Success Rate