Q03,xii

MCQMarks unknown

If $F_1$ , $F_2$ and $F_3$ are propositional formulae such that $F_1 \land F_2 \rightarrow F_3$ and $F_1 \land F_2 \rightarrow \sim F_3$ are both tautologies, then which of the following is true:

(A)

Both $F_1$ and $F_2$ are tautologies

(B)

The conjunction $F_1 \land F_2$ is not satisfiable

(C)

Neither is tautologous

(D)

Neither is satisfiable

(E)

None of the above

Loading…