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