Question
Determine the validity of the following arguments using the direct method of truth table:
$\sim P\ v \sim Q$
$Q$
$\therefore \sim P$
$\sim P\ v \sim Q$
$Q$
$\therefore \sim P$
| Support Statement | The resulting statement | ||||||
| $1$ | $2$ | $3$ | $4$ | $5$ | $6$ | $7$ | |
| $P$ | $Q$ | $\sim P$ | $\sim Q`$ | $\sim P\ v \sim Q$ | $(\sim\ P\ v\ \sim\ Q)\ \&\ Q$ | $\sim P$ | |
| $1$ | $T$ | $T$ | $F$ | $F$ | $F$ | $F$ | $F$ |
| $2$ | $T$ | $F$ | $F$ | $T$ | $T$ | $F$ | $F$ |
| $3$ | $F$ | $T$ | $T$ | $F$ | $T$ | $T^*$ | $T^*$ |
| $4$ | $F$ | $F$ | $T$ | $T$ | $T$ | $F$ | $T$ |
| $1(\sim )$ | $2(\sim )$ | $3, 4(v)$ | $5, 2(\&)$ | As $3$ | |||
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$ |
| $(A\ \&\ D) \rightarrow C$ |
| $E\rightarrow (B\ v\ D)$ |
| $F \rightarrow (A\ \&\ D)$ |
| $F\ \&\ G$ |
| $C\ v\ (B\ v\ D)$ |
| $(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$ |
| $(P\ \&\ Q) \rightarrow S$ |
| $S \rightarrow ( \sim L \rightarrow \sim N)$ |
| $\sim L\ \&\ \sim N$ |
| $P\ \&\ Q$ |
| $\therefore\sim N\ v\ F$ |
| $\sim (A \ \&\ B) \rightarrow H$ |
| $F\ v \sim (H \ \&\ F)$ |
| $(A \ \&\ B) \rightarrow (H \ \&\ F)$ |
| $\sim F \ \&\ (D \ \&\ E)$ |
| $(D \ \&\ E) \ \&\ H$ |
| $(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$ |