Tabella di verità: (p → q) ↔ (¬q → ¬p)
Costruisci una tabella di verità per verificare che un condizionale e la sua contronominale siano equivalenti.
Soluzione
- Espressione (p -> q) = (!q -> !p)
- Variabili p, q
- Intestazione p | q | (p -> q) = (!q -> !p)
- Riga F | F | T
- Riga F | T | T
- Riga T | F | T
- Riga T | T | T
- Classificazione Tautology — always true.
Prova un problema simile
Usa lo strumento Generatore di tabelle di verità per risolvere un problema simile con i tuoi valori.
Apri lo strumento