Question
$(p\ v\ q)\ \&\ \sim (q \rightarrow p)$

Answer

Truth table:
  $1$ $2$ $3$ $4$ $5$ $6$
$p$ $q$ $p\ v\ q$ $q \rightarrow p$ $\sim (q \rightarrow p)$ $(p\ v\ q)\ \&\ \sim (q \rightarrow p)$
$1$ $T$ $T$ $T$ $T$ $F$ $F$
$2$ $T$ $F$ $T$ $T$ $F$ $F$
$3$ $F$ $T$ $T$ $F$ $T$ $T$
$4$ $F$ $F$ $F$ $T$ $F$ $F$
  $1 , 2(V)$ $2, 1 (\rightarrow)$ $4 (\sim )$ $3, 5 (\&)$
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. Done in $6.$ Looking at all the rows in this column, it is clear that it has $‘F’$ in the first, second and fourth rows and $‘T’$ in the third row. This means that some of the substitutions of this form for the statement are true, while some of the substitutions are untrue. So it is 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

Give the feature of prohibition by explaining the logical form of ‘~’.
Prove that the following arguments are standard by constructing metaphorical proof
$E\rightarrow H$
$F\rightarrow (I\ v\ P)$
$(E\ v\ F)\ \&\ \sim G$
$H \rightarrow G$
$\therefore I\ v\ P$
Prove that the following arguments are standard by constructing metaphorical proof
$G \rightarrow H$
$(A\ v\ B) \rightarrow D$
$D \rightarrow [(S\ \&\ T) \rightarrow P]$
$(S\ \&\ T)\ v\ G$
$A\ v\ B$
$(P\ v\ H)\ \&\ D$
Grief is broken on all donors.
All donors are kind.
Grief is broken on all the merciful.
Prove that the following arguments are standard by constructing metaphorical proof
$(H\ \&\ K)\ \rightarrow\ (J\ v\ K)$
$\sim\  E\ \&\ \sim\ F$
$F\ v\ \sim\ (J\ v\ K)$
$\sim\ (H\ \&\ K)\ \rightarrow\ H$
$H\ \&\ \sim\ E$
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
$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
$(P \rightarrow Q)\ \&\ (R \rightarrow S)$
$(Q \rightarrow T)\ \&\ (P\ v\ R)$
$\sim T$
$(T\ v\ S)\ \&\ \sim T$
All the educated are on their feet.
Some women are educated.
Some women have legs.
All scientists are intelligent.
Dr. Abdul Kalam is a scientist.
Dr. Abdul Kalam is intelligent.