A correta construção da tabela verdade da proposição: p → [(p → ~p) →( q ↔~ q )] está corretamente assinalada em:

p

q

~p

~q

p → ~ p

q ↔ ~ q

(p → ~ p) → ( q ↔~q)

p → [ (p → ~ p) → ( q ↔ ~q )]

V

V

F

F

F

F

V

V

V

F

F

V

F

F

V

V

F

V

V

F

V

F

F

V

F

F

V

V

V

F

F

V

p

q

~p

~q

p → ~ p

q ↔ ~ q

(p → ~ p) → ( q ↔~q)

p → [ (p → ~ p) → ( q ↔ ~q )]

V

V

F

F

F

F

V

V

V

F

F

V

F

F

F

F

F

V

V

F

V

F

F

V

F

F

V

V

V

F

F

V

p

q

~p

~q

p → ~ p

q ↔ ~ q

(p → ~ p) → ( q ↔~q)

p → [ (p → ~ p) → ( q ↔ ~q )]

V

V

F

F

V

F

V

V

V

F

F

V

F

F

V

V

F

V

V

F

V

F

F

F

F

F

V

V

F

F

F

F

p

q

~p

~q

p → ~ p

q ↔ ~ q

(p → ~ p) → ( q ↔~q)

p → [ (p → ~ p) → ( q ↔ ~q )]

V

V

F

F

V

V

V

F

V

F

F

V

V

V

V

F

F

V

V

F

F

V

F

F

F

F

V

V

F

V

F

F

p

q

~p

~q

p → ~ p

q ↔ ~ q

(p → ~ p) → ( q ↔~q)

p → [ (p → ~ p) → ( q ↔ ~q )]

V

V

F

F

F

F

V

V

V

F

F

V

F

F

V

V

F

V

V

F

V

F

F

V

F

F

V

V

V

V

F

F