În logică și matematică, afirmațiile și 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 și se notează , ,[3] sau , î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

modificare

Î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

modificare
Echivalența[3] Nume
 
 
Identitate
 
 
Dominare
 
 
Idempotență (tautologie)
  Dublă negație
 
 
Comutativitate
 
 
Asociativitate
 
 
Distributivitate
 
 
De Morgan
 
 
Absorbție
 
 
Anihilare (negație)

Echivalențe logice condiționate

modificare
  1.  
  2.  
  3.  
  4.  
  5.  
  6.  
  7.  
  8.  
  9.  

Echivalențe logice dublu condiționate

modificare
  1.  
  2.  
  3.  
  4.  

În logică

modificare

Următoarele afirmații sunt echivalente logic:

  1. Dacă Lisa se află în Danemarca, atunci ea se află în Europa (o propoziție de forma  ).
  2. Dacă Lisa nu se află în Europa, atunci ea nu se află în Danemarca (o propoziție de forma  ).

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ă

modificare

Î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ă

modificare

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 ( ) este o tautologie.[4]

Echivalența materială a lui p și q (adesea scrisă ca  ) 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   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.

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