Consider two well-formed formulas in propositional logic F1 : P P F2 : (P P) v ( P ) Which of the following statement is correct?

Question

Consider two well-formed formulas in propositional logic F1 : P   P F2 : (P   P) v (  P  ) Which of the following statement is correct?

TuteeHUB · Accepted Answer

F1 & F2 are both satisfiable

TuteeHUB · Answer

F1 is satisfiable, F2 is unsatisfiable

TuteeHUB · Answer

F1 is unsatisfiable, F2 is satisfiable

TuteeHUB · Answer

F1 is unsatisfiable, F2 is valid

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» D. F1 & F2 are both satisfiable

Discussion