Argomento:  Matematica finita

Tabella di verità: (p → q) ↔ (¬q → ¬p)

Costruisci una tabella di verità per verificare che un condizionale e la sua contronominale siano equivalenti.

Risultato Tautology — always true.

Soluzione

  1. Espressione (p -> q) = (!q -> !p)
  2. Variabili p, q
  3. Intestazione p | q | (p -> q) = (!q -> !p)
  4. Riga F | F | T
  5. Riga F | T | T
  6. Riga T | F | T
  7. Riga T | T | T
  8. 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