PROPOSIZIONI EQUIVERIDICHE
Per comprendere meglio questo argomento, leggi prima le seguenti lezioni:
- Proposizione matematica
- Tavole della verità
- Negazione logica
- Doppia negazione
- Disgiunzione o somma logica
Due PROPOSIZIONI si dicono EQUIVERIDICHE se hanno le STESSE TAVOLE DI VERITA'.
Due proposizioni EQUIVERIDICHE si dicono anche LOGICAMENTE EQUIVALENTI.
Supponiamo che due proposizioni, p e q, siano EQUIVERIDICHE esse si indicano col simbolo
che si legge
p equiveridica a q.
Potremmo, più semplicemente, scrivere anche
p = q
che leggiamo
p è uguale logicamente a q.
Sono proposizioni equiveridiche:
-
DOPPIA
NEGAZIONE
p ¬ p ¬(¬ p) V F V F V F
- IMPLICAZIONE
MATERIALE - proprietà
dell'implicazione materiale
p q p → q non p non p o q V V V F V V F F F F F V V V V F F V V V
p q ¬ p ¬ p → q p ∨ q V V F V V V F F V V F V V V V F F V F F
p q p implica q non q non p non q -> non p V V V F F V V F F V F F F V V F V V F F V V V V
Per approfondire questo argomento, leggi:
