McqMate

Q. |
## 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 |

Answer» B. satisfiable formula |

2k

0

Do you find this helpful?

20

View all MCQs in

Artificial Intelligence and Robotics (AIR)No comments yet

- A _________ is used to demonstrate, on a purely syntactic basis, that one formula is a logical consequence of another formula.
- A Term is either an individual constant (a 0-ary function), or a variable, or an n-ary function applied to n terms: F(t1 t2 ..tn).
- What is true about variable neighborhood function?
- Is ∀z S(x,y) a well-formed formula?
- Admissibility of the heuristic function is given as:
- In Forward State Space Planning , Progress ( A, S) function returns ___________________
- Which of the following statement(s) is true for Sparse-Memory Graph Search (SMGS)?
- Which of the following are true for the algorithms Beam Stack Search (BSS)and Divide-and-Conquer Beam Stack Search (DCBSS).
- If a logic produces only true statements and does not produce any false statement it shows which of the following property
- Is the below statement true for the domain of positive integers ∀p ∃q ( p + q = 7)