Question

Construct a truth table for proposition (¬p)\rightarrowq

Answer 1

Answer:

$\left[\begin{array}{ccc}(-p)&--->&q\\f&t&t\\f&t&t\\t&t&f\\t&f&f\end{array}\right]$

Step-by-step explanation:

First, we find all the possibilities for p and q in a table:

p  q

t    t

t    f

f    t

f    f

then -p:

-p  q

f    t

f    f

t    t

t    f

and we apply the operator --> (rightarrow), that is only f (false) y if the first one is t (true) and the second one is f (false)

-p    --->    q

f       t       t

f       t       f

t       t       t

t       f       f