Solved

Construct a Truth Table for the Statement (ps)(p(ts))\sim(p \wedge s) \rightarrow(p \rightarrow(\sim t \wedge s))

Question 38

Multiple Choice

Construct a truth table for the statement.
- (ps) (p(ts) ) \sim(p \wedge s) \rightarrow(p \rightarrow(\sim t \wedge s) )


A)
pws(pw) (p(sw) ) TTTFTTFTTFTFTFFFFTTTFTFTFFTTFFFF\begin{array} { l l l c } \mathrm { p } & \mathrm { w } & \mathrm { s } & \sim ( \mathrm { p } \wedge \mathrm { w } ) \rightarrow ( \mathrm { p } _\rightarrow ( \sim \mathrm { s } \wedge \mathrm { w } ) ) \\\hline \mathrm { T } & \mathrm { T } & \mathrm { T } & \mathrm { F } \\\mathrm { T } & \mathrm { T } & \mathrm { F } & \mathrm { T } \\\mathrm { T } & \mathrm { F } & \mathrm { T } & \mathrm { F } \\\mathrm { T } & \mathrm { F } & \mathrm { F } & \mathrm { F } \\\mathrm { F } & \mathrm { T } & \mathrm { T } & \mathrm { T } \\\mathrm { F } & \mathrm { T } & \mathrm { F } & \mathrm { T } \\\mathrm { F } & \mathrm { F } & \mathrm { T } & \mathrm { T } \\\mathrm { F } & \mathrm { F } & \mathrm { F } & \mathrm { F }\end{array}
B)
pst(ps) (p(ts) ) TTTTTTFFTFTTTFFFFTTTFTFTFFTTFFFT\begin{array} { c c c c } \mathrm { p } & \mathrm { s } & \mathrm { t } & \sim ( \mathrm { p } \wedge \mathrm { s } ) \rightarrow ( \mathrm { p }_ \rightarrow ( \sim \mathrm { t } \wedge \mathrm { s } ) ) \\\hline \mathrm { T } & \mathrm { T } & \mathrm { T } & \mathrm { T } \\\mathrm { T } & \mathrm { T } & \mathrm { F } & \mathrm { F } \\\mathrm { T } & \mathrm { F } & \mathrm { T } & \mathrm { T } \\\mathrm { T } & \mathrm { F } & \mathrm { F } & \mathrm { F } \\\mathrm { F } & \mathrm { T } & \mathrm { T } & \mathrm { T } \\\mathrm { F } & \mathrm { T } & \mathrm { F } & \mathrm { T } \\\mathrm { F } & \mathrm { F } & \mathrm { T } & \mathrm { T } \\\mathrm { F } & \mathrm { F } & \mathrm { F } & \mathrm { T }\end{array}
C)
pst(ps) (p(ts) ) TTTTTTFTTFTFTFFFFTTTFTFTFFTTFFFT\begin{array} { l l l c } \mathrm { p } & \mathrm { s } & \mathrm { t } & \sim ( \mathrm { p } \wedge \mathrm { s } ) \rightarrow ( \mathrm { p }_ \rightarrow ( \sim \mathrm { t } \wedge \mathrm { s } ) ) \\\hline \mathrm { T } & \mathrm { T } & \mathrm { T } & \mathrm { T } \\\mathrm { T } & \mathrm { T } & \mathrm { F } & \mathrm { T } \\\mathrm { T } & \mathrm { F } & \mathrm { T } & \mathrm { F } \\\mathrm { T } & \mathrm { F } & \mathrm { F } & \mathrm { F } \\\mathrm { F } & \mathrm { T } & \mathrm { T } & \mathrm { T } \\\mathrm { F } & \mathrm { T } & \mathrm { F } & \mathrm { T } \\\mathrm { F } & \mathrm { F } & \mathrm { T } & \mathrm { T } \\\mathrm { F } & \mathrm { F } & \mathrm { F } & \mathrm { T }\end{array}
D)
pws(pw) (p(sw) ) TTTTTTFTTFTFTFFFFTTTFTFFFFTFFFFF\begin{array} { c c c c } \mathrm { p } & \mathrm { w } & \mathrm { s } & \sim ( \mathrm { p } \wedge \mathrm { w } ) \rightarrow ( \mathrm { p } \rightarrow ( \sim \mathrm { s } \wedge \mathrm { w } ) ) \\\hline \mathrm { T } & \mathrm { T } & \mathrm { T } & \mathrm { T } \\\mathrm { T } & \mathrm { T } & \mathrm { F } & \mathrm { T } \\\mathrm { T } & \mathrm { F } & \mathrm { T } & \mathrm { F } \\\mathrm { T } & \mathrm { F } & \mathrm { F } & \mathrm { F } \\\mathrm { F } & \mathrm { T } & \mathrm { T } & \mathrm { T } \\\mathrm { F } & \mathrm { T } & \mathrm { F } & \mathrm { F } \\\mathrm { F } & \mathrm { F } & \mathrm { T } & \mathrm { F } \\\mathrm { F } & \mathrm { F } & \mathrm { F } & \mathrm { F }\end{array}

Correct Answer:

verifed

Verified

Unlock this answer now
Get Access to more Verified Answers free of charge

Related Questions