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 |