Sovi.AI - AI Math Tutor

Scan to solve math questions

QUESTION IMAGE

use a truth table to determine whether the two statements are equivalen…

Question

use a truth table to determine whether the two statements are equivalent
$p \
ightarrow \sim q$ and $\sim q \
ightarrow \sim p$
choose the correct answer below.
the statements are not equivalent.
the statements are equivalent.

Explanation:

Step1: List all p, q truth values

$p$$q$
TF
FT
FF

Step2: Calculate $\sim q$ and $\sim p$

$p$$q$$\sim q$$\sim p$
TFTF
FTFT
FFTT

Step3: Compute $p

ightarrow \sim q$
Recall $a
ightarrow b$ is F only if $a=T, b=F$.

$p$$q$$\sim q$$\sim p$$p

ightarrow \sim q$ |

TTFFF
TFTFT
FTFTT
FFTTT

Step4: Compute $\sim q

ightarrow \sim p$

$p$$q$$\sim q$$\sim p$$p

ightarrow \sim q$ | $\sim q
ightarrow \sim p$ |

TTFFFT
TFTFTF
FTFTTT
FFTTTT

Step5: Compare the two columns

The columns for $p
ightarrow \sim q$ and $\sim q
ightarrow \sim p$ do not match (rows 1 and 2 differ).

Answer:

The statements are not equivalent.