Question
Determine the validity of the following arguments using the direct method of truth table:
$R \rightarrow (S\ v\ T)$
$\sim R$
$\therefore S\ v\ T$
$R \rightarrow (S\ v\ T)$
$\sim R$
$\therefore S\ v\ T$
| Support Statement | The resulting statement | |||||||
| $1$ | $2$ | $3$ | $4$ | $5$ | $6$ | $7$ | $8$ | |
| $R$ | $S$ | $T$ | $\sim R$ | $S\ v\ T$ | $\rightarrow (S\ v\ T)$ | $[R \rightarrow (S\ v\ T)]\ \&\ \sim R$ | $S\ v\ T$ | |
| $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.
| $A \rightarrow B$ |
| $D\ v\ A$ |
| $E\ \rightarrow \sim\ D$ |
| $F\ v\ E$ |
| $\therefore\ A\ \&\ B$ |
| $(A \leftrightarrow B) \rightarrow (D \leftrightarrow E)$ |
| $(D \leftrightarrow E) \rightarrow\ \sim H$ |
| $\sim\ \sim H$ |
| $\sim (A \leftrightarrow B) \rightarrow F$ |
| $(F\ v\ G)\ \&\ \sim\ \sim H$ |
| $(H\ \&\ K)\ \rightarrow\ (J\ v\ K)$ |
| $\sim\ E\ \&\ \sim\ F$ |
| $F\ v\ \sim\ (J\ v\ K)$ |
| $\sim\ (H\ \&\ K)\ \rightarrow\ H$ |
| $H\ \&\ \sim\ E$ |