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