| $(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.
| $E\rightarrow H$ |
| $F\rightarrow (I\ v\ P)$ |
| $(E\ v\ F)\ \&\ \sim G$ |
| $H \rightarrow G$ |
| $\therefore I\ v\ P$ |
| $\sim (A \ \&\ B) \rightarrow H$ |
| $F\ v \sim (H \ \&\ F)$ |
| $(A \ \&\ B) \rightarrow (H \ \&\ F)$ |
| $\sim F \ \&\ (D \ \&\ E)$ |
| $(D \ \&\ E) \ \&\ H$ |
| $(A\ \&\ B) \rightarrow\ \sim\ R$ |
| $R\ v\ \sim \ D$ |
| $T \rightarrow B$ |
| $D\ v\ (B \rightarrow P)$ |
| $A\ \&\ B$ |
| $\therefore (T\ P)\ v\ L$ |