Question
$\sim p \leftrightarrow (p\ v\ \sim p)$

Answer

Truth table:
  $1$ $2$ $3$ $4$
$p$ $\sim p$ $p\ v \sim p$ $\sim p \leftrightarrow (p\ v\ \sim p)$
$1$ $T$ $F$ $T$ $F$
$2$ $F$ $T$ $T$ $T$
  $1, 2 (V)$ $2, 3 (\leftrightarrow)$
Decision of the type of form for the statement: Looking at the truth table above, it will be seen that the representation of the given form for the statement is in column no. $4.$ Looking at all the rows in this column, it is clear that it has $‘F’$ in the first row and $‘T’$ in the second row. This means that some of the substitutions of this form for the statement are true, while some of the substitutions are untrue. It is therefore clear that this form of statement is 'parayat':

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
(P$\rightarrow$Q) & (R v S)
(R v S) $\rightarrow$ ~ L
L v (M & N)
$\therefore$ [(P $\rightarrow$ Q) & M] & ~ L
$\sim B \rightarrow A$
$\therefore \sim A \rightarrow B$
Prove that the following arguments are standard by constructing metaphorical proof
$(P \rightarrow\ Q)\ \&\ R$
$E\ \&\ F$
$\therefore [(F\ \&\ G)\ \&\ R ]\ \&\ E$
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$
Prove that the following arguments are standard by constructing metaphorical proof
$\sim P\ \&\ (Q\ v\ R)$
$(Q \rightarrow A)\ \&\ (R \rightarrow B)$
$(A\ v\ B) \rightarrow (P\ v\ R)$
$R$
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$
Prove that the following arguments are standard by constructing metaphorical proof
$(A\ \rightarrow\ E)\ \&\ (D\ \rightarrow\ F)$
$B\ \&\ (A\ v\ D)$
$(E\ v\ F)\ \rightarrow\  (B\ v\ D)$
$\sim\  B$
$\therefore D$
All horses are now.
All horses are iron.
All iron is now.
Prove that the following arguments are standard by constructing metaphorical proof
$(Q\ \&\ B)\ v\ \sim D$
$(Q\ \&\ B) \rightarrow \sim E$
$F \rightarrow \sim\ \sim E$
$\sim D \rightarrow (L\ \&\ N)$
$F$
$L\ v\ (B\ \&\ D)$
$A\ B$
$\therefore B\ \&\ A$