Multiple Choice
The formula or sentences that can be maid true by certain valuation function are called
A) valid formula
B) satisfiable formula
C) unsatisfiable formula
D) invalid formula
Correct Answer:
Verified
Correct Answer:
Verified
Related Questions
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
Q11: A _ is used to demonstrate, on
Q12: What among the following constitutes the representation
Q14: Which of the following elements constitutes the
Q15: What can be viewed as a single
Q16: If a logic produces only true statements
Q17: The basic inference mechanism in semantic network
Q18: From which rule does the modus ponens