| $J \rightarrow K$ |
| $J\ v\ (K\ v\ \sim\ L)$ |
| $\sim K$ |
| $\therefore \sim L\ \&\ \sim K$ |
| $(1)\ J \rightarrow K$ | $P$ |
| $(2)\ Jv\ (k\ v\ \sim\ L)$ | $P$ |
| $(3)\ \sim\ K$ | $P/ \therefore \sim\ L\ \&\ \sim\ K$ |
| $(4)\ \sim\ J$ | $1, 3, MT$ |
| $(5)\ K\ v\ \sim\ L$ | $2, 4, DS$ |
| $(6)\ \sim L$ | $5, 3, DS$ |
| $(7)\ \sim L\ \&\ \sim K$ | $6, 3,$ Conj. |
Generate a complete, print-ready paper with questions like this in minutes — across 16+ boards, with answer keys.
| $M \rightarrow N$ |
| $N \rightarrow O$ |
| $(M \rightarrow O) \rightarrow (N \rightarrow P)$ |
| $(N \rightarrow P) \rightarrow Q$ |
| $(Q\ v\ Z)\ \&\ Q$ |
| $A\ \&\ B.$ |
| $B\rightarrow (D\ v\ E)$ |
| $\sim E$ |
| $D \rightarrow (P \rightarrow \sim Q)$ |
| $\therefore P\rightarrow \sim Q$ |
| $(A\ v\ B)\ \rightarrow [D\ \rightarrow\ (P\ \&\ \sim \ Q)]$ |
| $(A\ \&\ J) \rightarrow [(P\ \&\ \sim\ Q)\ \rightarrow\ K]$ |
| $(A\ \&\ J)\ \&\ (\sim\ K\ v\ D)$ |
| $\therefore (D\rightarrow K)\ v\ \sim\ Q$ |
| $(T\ \&\ P) \rightarrow \sim Q$ |
| $\sim (T\ \&\ P) \rightarrow (R \rightarrow \sim Q)$ |
| $(\sim S\ v\ R)\rightarrow\ \sim\ \sim Q$ |
| $\sim S$ |
| $\therefore \sim R\ \&\ \sim S$ |