Q1.3

MCQ1 mark, −0.25

Consider two well-formed formulas in propositional logic $F_1: P \Rightarrow \neg P$ $F_2: (P \Rightarrow \neg P) \lor ( \neg P \Rightarrow P)$ Which one of the following statements is correct?

(A)

$F_1$ is satisfiable, $F_2$ is valid

(B)

$F_1$ unsatisfiable, $F_2$ is satisfiable

(C)

$F_1$ is unsatisfiable, $F_2$ is valid

(D)

$F_1$ and $F_2$ are both satisfiable

Loading…