Question
Determine the validity of the following arguments using the direct method of truth table:
$P \rightarrow \sim (Q\ \&\ R)$
$\therefore\ \sim (Q\ \&\ R) \rightarrow P$

Answer

 
Truth Table:
  Support Statement The resulting statement
  $1$ $2$ $3$ $4$ $5$ $6$ $7$
$P$ $Q$ $R$ $Q\ \&\ R$ $\sim (Q\ \&\ R)$ $P \rightarrow \sim   (Q\ \&\ R)$ $\sim (Q\ \&\ R) \rightarrow P$
$1$ $T$ $T$ $T$ $T$ $F$ $F$ $T$
$2$ $T$ $T$ $F$ $F$ $T$ $T$ $T$
$3$ $T$ $F$ $T$ $F$ $T$ $T$ $T$
$4$ $T$ $F$ $F$ $F$ $T$ $T$ $T$
$5$ $F$ $T$ $T$ $T$ $F$ $T$ $T$
$6$ $F$ $T$ $F$ $F$ $T$ $T^*$ $F^*$
$7$ $F$ $F$ $T$ $F$ $T$ $T^*$ $F^*$
$8$ $F$ $F$ $F$ $F$ $T$ $T^*$ $F^*$
  $2,3(\&)$ $4(\sim )$ $1, 2(\rightarrow)$ $5,1(\rightarrow)$
Judgment of the validity of the argument: A total of seven columns are formed in the above truth table. In which the column no. $6th$ base statement and column no. $7$ is the introduction of the result statement. Flowers of the table of truth out of eight rows. In $2, 3, 4, 5, 6, 7$ and $8$ the base statement truth is $‘T’.$ But of the row. The result statement in $6, 7$ and $8$ is false $‘F’.$ Hence this argument is disproportionate.

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

Introduce Ashtanga Yoga by drawing a figure.
Prove that the following arguments are standard by constructing metaphorical proof
$M \rightarrow \sim (S \ \&\ T)$
$\sim (A \ \&\ B)\ v\ \sim D$
$\sim D (S \ \&\ T)$
$M$
$[\sim (A \ \&\ B) \ \&\ M)\ v\ D$
Prove that the following arguments are standard by constructing metaphorical proof
$R\ \rightarrow\ (A\ \&\ B)$
$P\ v\ \sim\ (S\ \&\ T)$
$\sim\  T\ \&\ \sim\  P$
$(A\ \&\ B)\ \rightarrow\ (S\ \&\ T)$
$(\sim\  R\ \&\ \sim\ T)\ v\ D$
Prove that the following arguments are standard by constructing metaphorical proof
$\sim\ L\ \rightarrow\ \sim\ N$
$(A\ v\ B)\ \rightarrow\ Q$
$Q\ \rightarrow\ [(S\ \&\ T) \rightarrow\ P]$
$(S\ \&\ T)\ v\ \sim\ L$
$A\ v\ B$
$\therefore\ (P\ v\ \sim\ N)\ \&\ Q$
Prove that the following arguments are standard by constructing metaphorical proof
$R\ \rightarrow\ (S\ v\ T)$
$P\ v((S\ v\ T)\ \rightarrow\ W]$
$M\ v\ \sim\ P$
$(H\ \&\ N)\ \rightarrow\ \sim\ M$
$H\ \&\ N$
$(R\ \rightarrow\ W)\ v\ S$
Explain the statements contained in the non-executive constitution.
Prove that the following arguments are standard by constructing metaphorical proof
(~ X v ~ Y) $\rightarrow$ [A $\rightarrow$ (P & ~ Q)]
(~ X & ~R) $\rightarrow$ [(P & ~Q) $\rightarrow$ Z)
(~ X & ~R) & (~ Z v A)
$\therefore$ (A $\rightarrow$ Z) v ~ R
Prove that the following arguments are standard by constructing metaphorical proof
$R\rightarrow (S\ \&\ T)$
$P\ v\ \sim (S\ \&\ T)$
$Q\ \&\ \sim P$
$\sim R\rightarrow (X\ \&\ Y)$
$Q\ \&\ X$
Prove that the following arguments are standard by constructing metaphorical proof
(G $\rightarrow$ H) $\rightarrow$ (I $\leftrightarrow$ J)
K v ~(L $\rightarrow$ M)
(G $\rightarrow$ H) v ~ K
N $\rightarrow$ (L $\rightarrow$ M)
~ (I J)
$\therefore$~ N & ~ K
Prove that the following arguments are standard by constructing metaphorical proof
(P$\rightarrow$Q) & (R v S)
(R v S) $\rightarrow$ ~ L
L v (M & N)
$\therefore$ [(P $\rightarrow$ Q) & M] & ~ L