Echivalență logică

În logică și matematică, afirmațiile $p$ și $q$ sunt considerate echivalente din punct de vedere logic dacă sunt demonstrabile unele prin altele într-un set de axiome,^[1] sau să aibă aceeași valoare de adevăr în orice model.^[2] Echivalența logică a $p$ și $q$ se notează $p\equiv q$ , $p::q$ ,^[3] ${\textsf {E}}pq$ sau $p\iff q$ , în funcție de sursa notațiilor. Aceste simboluri sunt utilizate și pentru echivalența materială, astfel încât interpretarea corectă ar depinde de context. Echivalența logică este diferită de echivalența materială, deși cele două concepte sunt legate intrinsec.

Echivalențe logice

În logică există multe echivalențe logice comune și sunt adesea enumerate ca legi sau proprietăți. Tabelele următoare ilustrează unele dintre acestea.

Echivalențe logice generale

Echivalența^[3]	Nume
$p\wedge \top \equiv p$ $p\vee \bot \equiv p$	Identitate
$p\vee \top \equiv \top$ $p\wedge \bot \equiv \bot$	Dominare
$p\vee p\equiv p$ $p\wedge p\equiv p$	Idempotență (tautologie)
$\neg (\neg p)\equiv p$	Dublă negație
$p\vee q\equiv q\vee p$ $p\wedge q\equiv q\wedge p$	Comutativitate
$(p\vee q)\vee r\equiv p\vee (q\vee r)$ $(p\wedge q)\wedge r\equiv p\wedge (q\wedge r)$	Asociativitate
$p\vee (q\wedge r)\equiv (p\vee q)\wedge (p\vee r)$ $p\wedge (q\vee r)\equiv (p\wedge q)\vee (p\wedge r)$	Distributivitate
$\neg (p\wedge q)\equiv \neg p\vee \neg q$ $\neg (p\vee q)\equiv \neg p\wedge \neg q$	De Morgan
$p\vee (p\wedge q)\equiv p$ $p\wedge (p\vee q)\equiv p$	Absorbție
$p\vee \neg p\equiv \top$ $p\wedge \neg p\equiv \bot$	Anihilare (negație)

Echivalențe logice condiționate

$p\implies q\equiv \neg p\vee q$
$p\implies q\equiv \neg q\implies \neg p$
$p\vee q\equiv \neg p\implies q$
$p\wedge q\equiv \neg (p\implies \neg q)$
$\neg (p\implies q)\equiv p\wedge \neg q$
$(p\implies q)\wedge (p\implies r)\equiv p\implies (q\wedge r)$
$(p\implies q)\vee (p\implies r)\equiv p\implies (q\vee r)$
$(p\implies r)\wedge (q\implies r)\equiv (p\vee q)\implies r$
$(p\implies r)\vee (q\implies r)\equiv (p\wedge q)\implies r$

Echivalențe logice dublu condiționate

$p\iff q\equiv (p\implies q)\wedge (q\implies p)$
$p\iff q\equiv \neg p\iff \neg q$
$p\iff q\equiv (p\wedge q)\vee (\neg p\wedge \neg q)$
$\neg (p\iff q)\equiv p\iff \neg q$

Exemple

În logică

Următoarele afirmații sunt echivalente logic:

Dacă Lisa se află în Danemarca, atunci ea se află în Europa (o propoziție de forma $d\implies e$ ).
Dacă Lisa nu se află în Europa, atunci ea nu se află în Danemarca (o propoziție de forma $\neg e\implies \neg d$ ).

Sintactic, (1) și (2) derivă una din cealaltă prin regulile contrapoziției și a dublei negații. Semantic, (1) și (2) sunt adevărate în exact aceleași modele (interpretări, evaluări); și anume, cele în care fie „Lisa este în Danemarca” este falsă, fie „Lisa este în Europa” este adevărată.

(În acest exemplu este prezumată logica clasică. Unele logici alternative nu consideră (1) și (2) ca fiind echivalente logic.)

În matematică

În matematică, două afirmații $p$ și $q$ se spune că sunt echivalente logic dacă sunt demonstrabile una din alta într-un set de axiome și presupuneri. De exemplu, afirmația „ $n$ este divizibil cu 6” poate fi considerată echivalentă cu afirmația „ $n$ este divizibil cu 2 și cu 3”, deoarece se poate demonstra prima din aceasta din urmă (și invers) folosind unele cunoștințe elementare din teoria numerelor.^[1]

Relația cu echivalența materială

Echivalența logică este diferită de echivalența materială. Formulele $p$ și $q$ sunt logic echivalente dacă și numai dacă afirmația echivalenței lor materiale ( $p\iff q$ ) este o tautologie.^[4]

Echivalența materială a lui $p$ și $q$ (adesea scrisă ca $p\leftrightarrow q$ ) este ea însăși o altă afirmație din același limbaj formal ca și $p$ și $q$ . Această afirmație exprimă ideea „ $p$ dacă și numai dacă $q$ ”. În special, valoarea de adevăr a $p\iff q$ se poate schimba de la un model la altul.

Pe de altă parte, afirmația că două formule sunt echivalente logic este o afirmație în metalimbaj, care exprimă o relație între două afirmații $p$ și $q$ . Afirmațiile sunt echivalente logic dacă în fiecare model au aceeași valoare de adevăr.

Note

^ ^a ^b en „The Definitive Glossary of Higher Mathematical Jargon — Equivalent Claim”. Math Vault (în engleză). 1 august 2019. Accesat în 24 noiembrie 2019.
^ en Mendelson, Elliott (1979). Introduction to Mathematical Logic (ed. 2). pp. 56.
^ ^a ^b en „Mathematics | Propositional Equivalences”. GeeksforGeeks (în engleză). 22 iunie 2015. Accesat în 24 noiembrie 2019.
^ en Copi, Irving; Cohen, Carl; McMahon, Kenneth (2014). Introduction to Logic (ed. New International). Pearson. p. 348.

Portal Matematică

[:0-1] „The Definitive Glossary of Higher Mathematical Jargon — Equivalent Claim”. Math Vault (în engleză). 1 august 2019. Accesat în 24 noiembrie 2019.

[2] Mendelson, Elliott (1979). Introduction to Mathematical Logic (ed. 2). pp. 56.

[:1-3] „Mathematics | Propositional Equivalences”. GeeksforGeeks (în engleză). 22 iunie 2015. Accesat în 24 noiembrie 2019.

[4] Copi, Irving; Cohen, Carl; McMahon, Kenneth (2014). Introduction to Logic (ed. New International). Pearson. p. 348.

[1]

[2]

[3]

[4]