Question

Consider which of the following statements are correct w.r.t. satisfiability of logical sentences based on the logical operators involved.

I.  Universally quantified sentence is satisfied if and only if the enclosed statement is satisfied for all assignments of the quantified variable. 

II. Existentially quantified sentence is satisfied if and only if the enclosed statement is satisfied for few assignments of the quantified variable.

A.  Both I and II

B.  Either I or II

C.  I only

D. II only

​

Answer 1

Answer: Both I & II

Explanation:

Satisfiability of logical sentences based on the logical operators could be assigned universal quantifier for all variables and  existential quantifier of few  variables.