Top

Discussion

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

No answer description available for this questio

No comment is present. Be the first to comment.
Loading…

Post your comment