Question
$A \rightarrow B$
$\sim B$
$\therefore \sim A$
$\sim B$
$\therefore \sim A$
| Support Statement | The resulting statement | ||||||
| $1$ | $2$ | $3$ | $4$ | $5$ | $6$ | ||
| $A$ | $B$ | $\sim B$ | $A \rightarrow B$ | $(A \rightarrow B)\ \&\ \sim B$ | $\sim A$ | ||
| $1$ | $T$ | $T$ | $F$ | $T$ | $F$ | $F$ | |
| $2$ | $T$ | $F$ | $T$ | $F$ | $F$ | $F$ | |
| $3$ | $F$ | $T$ | $F$ | $T$ | $F$ | $T$ | |
| $4$ | $F$ | $F$ | $T$ | $T$ | $T^*$ | $T^*$ | |
| $2 (\sim )$ | $1, 2 (\rightarrow)$ | $4,3 (\&)$ | $1(\sim )$ | ||||
Generate a complete, print-ready paper with questions like this in minutes — across 16+ boards, with answer keys.
| $(F \rightarrow S)\ \&\ (R \rightarrow W)$ |
| $F\ \&\ R$ |
| $\therefore \sim S\ \&\ W$ |
| $(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$ |
| (~ X v ~ Y) $\rightarrow$ [A $\rightarrow$ (P & ~ Q)] |
| (~ X & ~R) $\rightarrow$ [(P & ~Q) $\rightarrow$ Z) |
| (~ X & ~R) & (~ Z v A) |
| $\therefore$ (A $\rightarrow$ Z) v ~ R |
| $G \rightarrow H$ |
| $(A\ v\ B) \rightarrow D$ |
| $D \rightarrow [(S\ \&\ T) \rightarrow P]$ |
| $(S\ \&\ T)\ v\ G$ |
| $A\ v\ B$ |
| $(P\ v\ H)\ \&\ D$ |
| $A \rightarrow B$ |
| $C \rightarrow B$ |
| $(\sim\ A\ \&\ \sim \ C)\ \rightarrow\ (D\ \rightarrow\ E)$ |
| $(E\ \rightarrow\ G)\ \&\ (D\ v\ E)$ |
| $E\ v\ G$ |