Discrete Logic Then Evaluate the truth value of these statem

Discrete Logic:

Then, Evaluate the truth value of these statements. Justify your answer.

Solution

a)

~(pvq)=~p AND ~q

We can see the truth tables to check

p            q          p Vq ~(pVq)         p-->q

1           1             1                           0               1

1            0            1                            0              0

0           1             1                              0              1

0            0             0                          1                 0

So they are not logical equivalents

a)

False

3x^2>=0 for all x

b)

False

Let, x=4

x-6=-2<2

x>1