Mathematical Logic

1: 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
 

Answer : C

Explanation :

Write your comments here:


Report Error
 

Option: A

Explanation : Explanation will come here. Explanation will come here. Explanation will come here. Explanation will come here. Explanation will come here.