Multiple Choice
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
Correct Answer:
Verified
Correct Answer:
Verified
Q6: A Term is either an individual constant
Q7: Not only do formal logics allow representation
Q8: Which problem can frequently occur in backward
Q9: _Graph is used to represent semantic network<br>A)undirected<br>B)directed<br>C)undirected.<br>D)any
Q10: What are Semantic Networks?<br>A)a way of representing
Q12: What among the following constitutes the representation
Q13: The formula or sentences that can be
Q14: Which of the following elements constitutes the
Q15: What can be viewed as a single
Q16: If a logic produces only true statements