Nella logica e nella matematica, due proposizioni e si dicono logicamente equivalenti se hanno lo stesso valore di verità in ogni modello. L'equivalenza logica di e è a volte espressa come , , , o anche , a seconda della notazione adottata. Tuttavia, questi simboli sono usati anche per l'equivalenza materiale, motivo per cui la corretta interpretazione dipende dal contesto: l'equivalenza logica è diversa dall'equivalenza materiale, sebbene i due concetti siano intrinsecamente correlati.

Equivalenze logiche Nela logica esistono molteplici equivalenze enunciate come leggi o proprietà. Di seguito se ne riportano alcune.

Equivalenze logiche generali Equivalenza Nome Leggi di identità Leggi di dominazione Leggi di idempotenza o tautologia Legge della doppia negazione Leggi commutative Leggi associative Leggi distributive Leggi di De Morgan Leggi di assorbimento Leggi di negazione

Equivalenze logiche che coinvolgono affermazioni condizionali

Equivalenze logiche che coinvolgono bicondizionali

Esempi Nella logica Le seguenti affermazioni sono logicamente equivalenti: Se Lisa è in Danimarca, allora è in Europa (una dichiarazione del tipo ), Se Lisa non è in Europa, allora non è in Danimarca (una dichiarazione del tipo ).

Sintatticamente, la (1) e la (2) sono derivabili l'una dall'altra tramite le regole della contrapposizione e della doppia negazione. Semanticamente, la (1) e la (2) sono vere esattamente negli stessi modelli matematici (interpretazioni, valutazioni); vale a dire, quelli in cui o "Lisa è in Danimarca" è falsa o "Lisa è in Europa" è vera.

Si noti che in questo esempio si presuppone la logica classica. Alcune logiche non classiche non considerano la (1) e la (2) logicamente equivalenti.

Relazione con l'equivalenza materiale L'equivalenza logica è diversa dall'equivalenza materiale. Le formule e sono logicamente equivalenti se e solo se l'affermazione della loro equivalenza materiale () è una tautologia.

L'equivalenza materiale di e (spesso scritta come ) è esso stesso un'altra istruzione nello stesso linguaggio oggetto di e .

Questa affermazione esprime l'idea che e se e solo se . In particolare, il valore di verità di può cambiare da un modello all'altro.

D'altra parte, l'affermazione che due formule sono logicamente equivalenti è un'affermazione nel metalinguaggio, che esprime una relazione tra le due affermazioni e Le affermazioni sono logicamente equivalenti se hanno lo stesso valore di verità in ogni modello.

Note

Collegamenti esterni

Categoria:Logica filosofica