Question
Determine the validity of the following arguments using the direct method of truth table:
$A\ v\ (B\ \&\ C)$
$\sim A$
$\therefore B\ \&\ C$

Answer

Truth Table: Judgment of the validity of the argument:
A total of six columns have been formed in the above fact sheet. In which the column no. Base statement and column no. $6$ is the representation of the result statement. Row out of the total four rows of the truth table. The base statement in $2, 3$ and $4$ is the truth $‘T’$ and all the resulting statements in the same row are also the truth $‘T’.$ Hence this argument is standard.
  Support Statement The resulting statement
  $1$ $2$ $3$ $4$ $5$ $6$
$P$ $Q$ $\sim P$ $\sim Q$ $P \rightarrow \sim Q$ $Q \rightarrow \sim P$
$1$ $T$ $T$ $F$ $F$ $F$ $F$
$2$ $T$ $F$ $F$ $T$ $T^*$ $T^*$
$3$ $F$ $T$ $T$ $F$ $T^*$ $T^*$
$4$ $F$ $F$ $T$ $T$ $T^*$ $T^*$
  $1(\sim )$ $2(\sim )$ $1, 4(\rightarrow)$ $2, 3(\rightarrow)$

Need a full question paper?

Generate a complete, print-ready paper with questions like this in minutes — across 16+ boards, with answer keys.

Start Generating Free

Similar questions

Prove that the following arguments are standard by constructing metaphorical proof
$(A\ v\ B)\ \rightarrow [D\ \rightarrow\ (P\ \&\ \sim \ Q)]$
$(A\ \&\ J) \rightarrow [(P\ \&\ \sim\ Q)\ \rightarrow\ K]$
$(A\ \&\ J)\ \&\ (\sim\ K\ v\ D)$
$\therefore (D\rightarrow K)\ v\ \sim\ Q$
Prove that the following arguments are standard by constructing metaphorical proof
$X \rightarrow Y$
$Y \rightarrow Z$
$(X \rightarrow Z) \rightarrow (Y \rightarrow P)$
$(Y\ V\ P) \rightarrow Z$
$\therefore Z\ v\ Q$
p $\leftrightarrow$ [p v (q & ~ q)]
All melodious music is catchy.
All hymns are melodious.
Some hymns have melodious music.
Prove that the following arguments are standard by constructing metaphorical proof
$M\  \rightarrow\ N$
$D\ v\ (N\  \rightarrow\ P)$
$R\ v\ \sim\ D$
$(A\ \&\ B)\ \rightarrow\ \sim\ R$
$A\ \&\ B$
$(M \rightarrow P)\ v\ Z$
Prove that the following arguments are standard by constructing metaphorical proof
$(X \rightarrow Y)\ v\ D$
$A \rightarrow [(X \rightarrow Y) \rightarrow R]$
$D \rightarrow E$
$(E\ v\ F) \rightarrow A$
$E\ v\ F$
$\therefore (R\ v\ E)\ \&\ A$
Prove that the following arguments are standard by constructing metaphorical proof
$A \rightarrow B$
$C \rightarrow D$
$\sim B\ \&\ \sim D$
$(\sim A\ \&\ \sim C)\ v\ P$
Prove that the following arguments are standard by constructing metaphorical proof
$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$
Samadhi
~ R v ~ P