| $(A\ \rightarrow\ B)\ v\ D$ |
| $H\ \rightarrow\ [(A \ \rightarrow\ B)\ \rightarrow\ R]$ |
| $D\ \rightarrow\ E$ |
| $(E\ v\ F)\ \rightarrow\ H$ |
| $E\ v\ F$ |
| $(R\ v\ E)\ \&\ H$ |
| $(1)\ (A\ \rightarrow\ B)\ v\ D$ | $P$ |
| $(2)\ H\ \rightarrow\ [(A\ \rightarrow\ B)\ \rightarrow\ R]$ | $P$ |
| $(3)\ D \rightarrow\ E$ | $P$ |
| $(4)\ (E\ v\ F)\ \rightarrow\ H$ | $P$ |
| $(5)\ E\ v\ F$ | $P/\ (R\ v\ E)\ \&\ H$ |
| $(6)\ H$ | $4, 5, MP$ |
| $(7)\ (A\ \rightarrow\ B)\ \rightarrow\ R$ | $2, 6, MP$ |
| $(8)\ R\ v\ E$ | $7,3,1, CD$ |
| $(9)\ (R\ v\ E)\ \&\ H$ | $8, 6,$ Conj. |
Generate a complete, print-ready paper with questions like this in minutes — across 16+ boards, with answer keys.
| $P \rightarrow Q$ |
| $\sim Q\ v\ R$ |
| $\sim R$ |
| $\therefore (\sim P \& \sim R)\ v\ S$ |
| $N \ \&\ M$ |
| $\sim S\ (T \ \&\ W)$ |
| $(P \ \&\ R)\ v\ \sim S$ |
| $(N \ \&\ M) \rightarrow \sim (T \ \&\ W)$ |
| $(R \ \&\ N)\ v\ S$ |
| $M \rightarrow \sim (S \ \&\ T)$ |
| $\sim (A \ \&\ B)\ v\ \sim D$ |
| $\sim D (S \ \&\ T)$ |
| $M$ |
| $[\sim (A \ \&\ B) \ \&\ M)\ v\ D$ |
| $(P\ \&\ R)\ \&\ \sim T$ |
| $T\ v\ (F\ \&\ G)$ |
| $(F\ \&\ G )\ \rightarrow\ H$ |
| $\therefore (H\ \&\ P)\ v\ F$ |
| $(A\ v\ B)\ \rightarrow\ D$ |
| $E\ \rightarrow\ \sim\ D$ |
| $(G\ \leftrightarrow\ F)\ \rightarrow\ (E\ \&\ H)$ |
| $G\ \leftrightarrow\ F$ |
| $\sim\ (A\ v\ B)\ \&\ H$ |