COMPLICAZIONE MATERIALE
- Proposizione matematica
- Operazioni con le proposizioni
- Tavole della verità
- Implicazione logica
- Equivalenza logica
In una precedente lezione abbiamo parlato della EQUIVALENZA LOGICA dicendo che essa sussiste quando, date due proposizioni p e q possiamo affermare che
e
nel senso di IMPLICAZIONE LOGICA.
Diversa dalla EQUIVALENZA LOGICA è la COIMPLICAZIONE MATERIALE (detta anche BICONDIZIONALE) che si indica con il simbolo:
oppure
p <-> q
che si legge
se p allora q e viceversa
oppure
p se e solo se q
o ancora
p soltanto se q.
La COIMPLICAZIONE MATERIALE di due proposizioni è una proposizione VERA solamente se ENTRAMBE le proposizioni sono VERE o ENTRAMBE sono FALSE.
La TAVOLA DELLA VERITA' della COIMPLICAZIONE MATERIALE è la seguente:
Anche in questo caso, così come abbiamo visto nella IMPLICAZIONE MATERIALE, tra le due proposizioni p e q può non esistere una connessione logica.
