A

Admin • 828.03K Points
Coach

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

No solution found for this question.
Add Solution and get +2 points.

You must be Logged in to update hint/solution

Discusssion

Login to discuss.

Be the first to start discuss.