AMII: Propoziția în Logica Matematică

🌐 Rigurozitatea în Matematică vs. Limbajul Curent

În vorbirea curentă, comunicarea umană este adesea plină de nuanțe, subtilități, metafore și ambiguități. O singură propoziție poate avea înțelesuri multiple în funcție de context, tonul vocii sau interpretarea subiectivă a ascultătorului.

În universul matematicii, această ambiguitate este inacceptabilă. Pentru a construi raționamente impecabile, demonstrabile și universale, matematica utilizează enunțuri care nu lasă loc de interpretare.

📐 Ce este o Propoziție în Logica Matematică?

În logica matematică, definirea noțiunii de propoziție este strictă:

O propoziție logică este un enunț care este fie adevărat (A), fie fals (F), dar niciodată ambele în același timp.

Această definiție exclude din categoria propozițiilor logice:

Întrebările (ex: „Cât este ceasul?”)
Ordinele sau exclamațiile (ex: „Fii atent!”, „Ce zi frumoasă!”)
Enunțurile paradoxale sau subiective nedefinite a căror valoare de adevăr nu poate fi stabilită obiectiv.

⚖️ Cele Două Principii Fundamentale

Proprietatea fundamentală a propoziției matematice (de a fi sau adevărată, sau falsă, exclusiv) se sprijină pe două principii fundamentale ale logicii clasice:

1. Principiul terțului exclus (Tertium non datur)

O propoziție este fie adevărată, fie falsă; o a treia posibilitate nu există (nu există un „terț” între adevăr și fals).

Dacă notăm cu p o propoziție, atunci p sau non-p este întotdeauna adevărată.

2. Principiul necontradicției

O propoziție nu poate fi în același timp și adevărată și falsă. Două valori de adevăr contrare se exclud reciproc.

Dacă notăm cu p o propoziție, este imposibil ca p să fie simultan adevărată și falsă.