Classical

Mathematical Logic - Mathematical Logic

11:   Consider two well-formed formulas in propositional logic
F1 : P →˥P F2 : (P →˥P) v ( ˥P →)
Which of the following statement is correct?
A. F1 is satisfiable, F2 is unsatisfiable
B. F1 is unsatisfiable, F2 is satisfiable
C. F1 is unsatisfiable, F2 is valid
D. F1 & F2 are both satisfiable
 
 

Option: C

Explanation :


12:   What can we correctly say about proposition P1:
P1 : (p v ˥q) ^ (q →r) v (r v p)
A. P1 is tautology
B. P1 is satisfiable
C. If p is true and q is false and r is false, the P1 is true
D. If p as true and q is true and r is false, then P1 is true
 
 

Option: C

Explanation :


13:   (P v Q) ^ (P → R )^ (Q →S) is equivalent to
A. S ^ R
B. S → R
C. S v R
D. All of above
 
 

Option: C

Explanation :


14:   The functionally complete set is
A. { ˥, ^, v }
B. {↓, ^ }
C. {↑}
D. None of these
 
 

Option: C

Explanation :


15:   (P v Q) ^ (P→R) ^ (Q → R) is equivalent to
A. P
B. Q
C. R
D. True = T
 
 

Option: C

Explanation :




Suggest an improvement