Tabela-verdade: (p → q) ↔ (¬q → ¬p)
Construa uma tabela-verdade para verificar que um condicional e sua contrapositiva são equivalentes.
Solução
- Expressão (p -> q) = (!q -> !p)
- Variáveis p, q
- Cabeçalho p | q | (p -> q) = (!q -> !p)
- Linha F | F | T
- Linha F | T | T
- Linha T | F | T
- Linha T | T | T
- Classificação Tautology — always true.
Tente um problema parecido
Use a ferramenta Gerador de tabela-verdade para resolver um problema parecido com seus próprios valores.
Abrir a ferramenta