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.
| $X \rightarrow Y$ |
| $Y \rightarrow Z$ |
| $(X \rightarrow Z) \rightarrow (Y \rightarrow P)$ |
| $(Y\ V\ P) \rightarrow Z$ |
| $\therefore Z\ v\ Q$ |
| (G $\rightarrow$ H) $\rightarrow$ (I $\leftrightarrow$ J) |
| K v ~(L $\rightarrow$ M) |
| (G $\rightarrow$ H) v ~ K |
| N $\rightarrow$ (L $\rightarrow$ M) |
| ~ (I J) |
| $\therefore$~ N & ~ K |
| $H \rightarrow ( I\ \&\ \sim J)$ |
| $( I\ v\ G) \rightarrow K$ |
| $H$ |
| $\sim K\ \&\ I$ |
| $(H\ \&\ K)\ \rightarrow\ (J\ v\ K)$ |
| $\sim\ E\ \&\ \sim\ F$ |
| $F\ v\ \sim\ (J\ v\ K)$ |
| $\sim\ (H\ \&\ K)\ \rightarrow\ H$ |
| $H\ \&\ \sim\ E$ |
| $(P\ v\ Q)\ \rightarrow\ (T\ v\ S)$ |
| $\sim\ N\ \& \sim\ M$ |
| $N\ v\ \sim\ (T\ v\ S)$ |
| $H\ \rightarrow\ (P\ v\ Q)$ |
| $\therefore \sim\ H\ \&\ \sim\ M$ |