Question

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

Answer 1

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

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