Question
$\sim B \rightarrow A$
$\therefore \sim A \rightarrow B$
$\therefore \sim A \rightarrow B$
| Support Statement | The resulting statement | ||||||
| $1$ | $2$ | $3$ | $4$ | $5$ | $6$ | ||
| $A$ | $B$ | $\sim A$ | $\sim B$ | $\sim B \rightarrow A$ | $\sim A \rightarrow B$ | ||
| $1$ | $T$ | $T$ | $F$ | $F$ | $T^*$ | $T^*$ | |
| $2$ | $T$ | $F$ | $F$ | $T$ | $T^*$ | $T^*$ | |
| $3$ | $F$ | $T$ | $T$ | $F$ | $T^*$ | $T^*$ | |
| $4$ | $F$ | $F$ | $T$ | $T$ | $F$ | $F$ | |
| $1(\sim )$ | $2(\sim )$ | $4, 1 (\rightarrow)$ | $3, 2 (\rightarrow)$ | ||||
Generate a complete, print-ready paper with questions like this in minutes — across 16+ boards, with answer keys.
| $(A\ \&\ B) \rightarrow\ \sim\ R$ |
| $R\ v\ \sim \ D$ |
| $T \rightarrow B$ |
| $D\ v\ (B \rightarrow P)$ |
| $A\ \&\ B$ |
| $\therefore (T\ P)\ v\ L$ |
| $(P\ \&\ R)\ v\ (S\ \rightarrow\ T)$ |
| $Q \rightarrow \sim\ (P\ \&\ R)$ |
| $P\ v\ Q$ |
| $\sim\ P$ |
| $(S\ \rightarrow\ T)\ \&\ Q$ |
| $H \rightarrow I$ |
| $H\ \&\ J$ |
| $I \rightarrow G$ |
| $G\ \&\ J$ |
| $(P \rightarrow\ Q)\ \&\ R$ |
| $E\ \&\ F$ |
| $\therefore [(F\ \&\ G)\ \&\ R ]\ \&\ E$ |
| $(H\ \&\ K)\ \rightarrow\ (J\ v\ K)$ |
| $\sim\ E\ \&\ \sim\ F$ |
| $F\ v\ \sim\ (J\ v\ K)$ |
| $\sim\ (H\ \&\ K)\ \rightarrow\ H$ |
| $H\ \&\ \sim\ E$ |