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