Question
Determine the validity of the following arguments using the direct method of truth table:
$A \rightarrow (B\ v\ C)$
$\sim A$
$\therefore B\ v\ C$
$A \rightarrow (B\ v\ C)$
$\sim A$
$\therefore B\ v\ C$
| Support Statement | The resulting statement | |||||||
| $1$ | $2$ | $3$ | $4$ | $5$ | $6$ | $7$ | $8$ | |
| $A$ | $B$ | $C$ | $\sim A$ | $B\ v\ C$ | $A \rightarrow (B\ v\ C)$ | $[A \rightarrow (B\ v\ C)]\ \&\ \sim A$ | $B\ v\ C$ | |
| $1$ | $T$ | $T$ | $T$ | $F$ | $T$ | $T$ | $F$ | $T$ |
| $2$ | $T$ | $T$ | $F$ | $F$ | $T$ | $T$ | $F$ | $T$ |
| $3$ | $T$ | $F$ | $T$ | $F$ | $T$ | $T$ | $F$ | $T$ |
| $4$ | $T$ | $F$ | $F$ | $F$ | $F$ | $F$ | $F$ | $F$ |
| $5$ | $F$ | $T$ | $T$ | $T$ | $T$ | $T$ | $T$ | $T$ |
| $6$ | $F$ | $T$ | $F$ | $T$ | $T$ | $T$ | $T$ | $T$ |
| $7$ | $F$ | $F$ | $T$ | $T$ | $T$ | $T$ | $T$ | $T$ |
| $8$ | $F$ | $F$ | $F$ | $T$ | $F$ | $T$ | $T^*$ | $F^*$ |
| $1 (\sim )$ | $2,3 (v)$ | $1, 5 (\rightarrow)$ | $6, 4 (\&)$ | As $5$ | ||||
Generate a complete, print-ready paper with questions like this in minutes — across 16+ boards, with answer keys.
| $R \rightarrow S$ |
| $P \rightarrow Q$ |
| $P\ v\ Q$ |
| $Q \rightarrow R$ |
| $\therefore (P \rightarrow R) \& (R\ v\ S)$ |
| $A\ v\ B$ |
| $\sim\ A\ \&\ C$ |
| $\therefore (B\ v\ \sim\ D)\ \&\ C$ |
| $J\ v\ (J\ \&\ K)$ |
| $J \rightarrow D$ |
| $\sim\ D$ |
| $\therefore K\ v\ M$ |
| $P \rightarrow Q$ |
| $\sim Q\ v\ R$ |
| $\sim R$ |
| $\therefore (\sim P \& \sim R)\ v\ S$ |
| $N \rightarrow (\sim Z \rightarrow G)$ |
| $D \rightarrow [K\ v\ Y) \rightarrow M]$ |
| $(X\ v\ Y\ v\ \sim\ Z$ |
| $D\ \&\ N$ |
| $\therefore\ (M\ v\ G)\ v\ K$ |
| $P \rightarrow Q$ |
| $P\ \&\ \sim S$ |
| $\therefore Q\ \&\ \sim P$ |