AMII: Negația Propoziției Logice

🔄 Ce este Negația în Logica Matematică?

În logica matematică, atunci când dorim să contrazicem o afirmație sau să inversăm starea de adevăr a acesteia, folosim operatorul logic numit negație (cunoscut și sub denumirea de „non”).

Negația este o operație unară (se aplică unei singure propoziții) care inversează valoarea de adevăr: este falsă când propoziția inițială este adevărată și adevărată când propoziția inițială este falsă.

Dacă notăm o propoziție simplă cu p, negația acesteia se notează de obicei cu non-p sau cu o bară deasupra (bară orizontală / non-p).

Exemple practice:

Propoziția p: „Numărul 15 este divizibil cu 2.” Valoarea de adevăr este Fals (0), deoarece 15 este număr impar.
Negația non-p: „Numărul 15 nu este divizibil cu 2.” Valoarea de adevăr devine Adevărat (1).

Tabelul de adevăr al negației

Comportamentul negației este rezumat în tabelul de adevăr de mai jos, unde valoarea 1 reprezintă Adevărat, iar 0 reprezintă Fals:

p	non-p
1	0
0	1

📖 Istorioara amuzantă: Procesul cu Negația și Soacra

Se povestește că un logician pasionat a fost oprit odată pe stradă de un polițist foarte confuz, care tocmai ieșise de la o conferință de filozofie. Polițistul, vizibil contrariat, l-a întrebat:

— Domnule matematician, nu mai înțeleg nimic! Soacra mea mi-a spus aseară: „Nu se poate să nu recunosc că nu este adevărat că nu te suport!” Vă rog din suflet, spuneți-mi: mă iubește sau mă urăște?

Logicianul a zâmbit cu subînțeles, a scos un carnețel și a început să aplice legea dublei negații (non-non-p echivalează cu p):

„Nu se poate să nu...” = o dublă negație care se anulează.
„...recunosc că nu este adevărat că nu te suport!” = încă un șir de negații suprapuse.

După câteva minute de calcule intense pe trotuar, logicianul a ridicat privirea, l-a bătut pe umăr pe polițist și i-a spus senin:

— Stai liniștit, dragă polițist! Aplicând regulile stricte ale negației matematice, reiese clar că soacra ta te adoră... sau cel puțin, algoritmul negației ne arată că te suportă de minune! Însă, atenție: în limbajul curent, oamenii folosesc negațiile pentru a colora emoțiile, nu pentru tabele de adevăr!

Polițistul a plecat mulțumit, deși a jurat ca data viitoare când soacra lui mai folosește o negație, să o rețină preventiv pentru tulburarea liniștii logice publice.

⚠️ Atenție (Contraexemplu lingvistic)!

În limbajul de zi cu zi, negația este adesea confundată cu contrariul extrem. În matematica riguroasă, lucrurile stau diferit:

Negația propoziției „Toți elevii sunt prezenți” nu este „Niciun elev nu este prezent” (care reprezintă o altă extremă falsă în multe contexte), ci enunțul corect este: „Există cel puțin un elev care nu este prezent”.

Această distincție fină ne ferește de erori logice majore în demonstrații și în viața de zi cu zi!