| $A \rightarrow B$ |
| $D\ v\ A$ |
| $E\ \rightarrow \sim\ D$ |
| $F\ v\ E$ |
| $\therefore\ A\ \&\ B$ |
| $(1)\ A \rightarrow B$ | $P$ |
| $(2)\ D\ v\ A$ | $P$ |
| $(3)\ E\ \rightarrow \sim\ D$ | $P$ |
| $(4)\ F\ v\ E$ | $P$ |
| $(5)\ \sim\ F$ | $P/ \therefore\ A\ \&\ B$ |
| $(6)\ E$ | $4, 5, DS$ |
| $(7)\ \sim\ D$ | $3,6, MP$ |
| $(8)\ A$ | $2,7, DS$ |
| $(9)\ B$ | $1, 8, MP$ |
| $(10)\ A\ \&\ B$ | $8, 9,$ Conj. |
Generate a complete, print-ready paper with questions like this in minutes — across 16+ boards, with answer keys.
| $(A\ v\ B) \rightarrow (D\ v\ C)$ |
| $(E\ v\ F)\ v\ (A\ v\ B)$ |
| $\sim (A\ v\ B)\ \&\ H$ |
| $F \rightarrow (A\ v\ B)$ |
| $\therefore [E\ \&\ \sim (A\ v\ B)]\ v\ S$ |
| $(A\ \rightarrow\ E)\ \&\ (D\ \rightarrow\ F)$ |
| $B\ \&\ (A\ v\ D)$ |
| $(E\ v\ F)\ \rightarrow\ (B\ v\ D)$ |
| $\sim\ B$ |
| $\therefore D$ |
| $(P\ \&\ R)\ v\ (S\ \rightarrow\ T)$ |
| $Q \rightarrow \sim\ (P\ \&\ R)$ |
| $P\ v\ Q$ |
| $\sim\ P$ |
| $(S\ \rightarrow\ T)\ \&\ 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$ |
| $A \rightarrow B$ |
| $C \rightarrow D$ |
| $(\sim\ B\ \&\ P)\ \&\ (A\ v\ C)$ |
| $(D\ v\ Z)\ \&\ \sim B$ |
| $K\rightarrow\ (W\ \rightarrow\ X)$ |
| $( \sim\ Q\ \&\ \sim\ K)\ \rightarrow\ (\sim\ Y\ v\ \sim\ M)$ |
| $(\sim\ Y\ \rightarrow\ \sim\ Z)\ \&\ (\sim\ M\ \rightarrow\ \sim\ P)$ |
| $(W\ \rightarrow\ X)$ |
| $\therefore \sim\ Z\ v\ \sim\ p$ |