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