← Capitol

Propoziții și operații logice

Pasul 1 din 8

Adevărat sau fals?

Care dintre aceste enunțuri pot fi adevărate sau false? Gândește-te la fiecare înainte să te uiți la tabelul de mai jos.

1. „3+5=83 + 5 = 8”

2. „Numărul π\pi este rațional”

3. „Cât este ceasul?”

4. „El este un elev silitor”

5. „x+2=5x + 2 = 5”

Răspunsul, enunț cu enunț:
EnunțE propoziție?Valoare
„3+5=83 + 5 = 8”daadevărată (1)
„π\pi este rațional”dafalsă (0)
„Cât este ceasul?”nu—
„El este un elev silitor”nu—
„x+2=5x + 2 = 5”nudepinde de xx

Doar primele două pot fi judecate. 3+5=8{3 + 5 = 8} e adevărat. π\pi nu este rațional, deci al doilea enunț e fals.

O întrebare nu e nici adevărată, nici falsă. La „El este un elev silitor” nu știm cine e „el”. Iar „x+2=5x + 2 = 5” e adevărat pentru x=3x = 3 și fals pentru x=4x = 4. Ne întoarcem la un enunț ca el, „x+2=9x + 2 = 9”, în lecția despre predicate.

Un enunț care e sigur adevărat sau sigur fals se numește propoziție. Atenție: aici „propoziție” are sensul din logică, nu cel de la gramatică.

Verifică-te

Este „Rezolvă exercițiul!” o propoziție?

„Non” întoarce valoarea

Pornim de la propoziția „15 este divizibil cu 2”. E falsă (0), pentru că 15 e impar.

Adăugăm un „nu”: „15 nu este divizibil cu 2”. Acum e adevărată (1).

Un „nu” pus corect întoarce valoarea: o propoziție adevărată devine falsă, iar una falsă devine adevărată.

Dacă notăm prima propoziție cu pp, propoziția cu „nu” se numește negația lui pp. Se notează p‾\overline{p} și se citește „non pp”.
ppp‾\overline{p}
10
01

Verifică-te

Care este negația propoziției „Afară plouă”?

„Și” e exigent

Un bec e legat la o baterie prin două întrerupătoare puse unul după altul, pe același fir (în serie). Curentul trece doar dacă ambele întrerupătoare sunt închise. E destul ca unul să fie deschis, și becul e stins.

Notăm cu pp propoziția „întrerupătorul 1 e închis”, iar cu qq propoziția „întrerupătorul 2 e închis”. Becul arde exact când „pp și qq” e adevărată. Propoziția „pp și qq” se numește conjuncția lui pp și qq și se notează p∧qp \wedge q.

ppqqbecul (în serie)p∧qp \wedge q
11aprins1
10stins0
01stins0
00stins0

Verifică-te

Ce valoare are propoziția „7 este prim și 7 este par”?

„Sau” e generos

Acum legăm cele două întrerupătoare unul lângă altul, pe două fire separate (în paralel). Curentul are două drumuri, deci becul arde dacă cel puțin unul dintre întrerupătoare e închis.

Cu aceleași pp și qq, becul arde exact când „pp sau qq” e adevărată. Propoziția „pp sau qq” se numește disjuncția lui pp și qq și se notează p∨qp \vee q.

ppqqbecul (în paralel)p∨qp \vee q
11aprins1
10aprins1
01aprins1
00stins0

Verifică-te

Ce valoare are propoziția „3≤33 \le 3”, adică „3<33 < 3 sau 3=33 = 3”?

„Dacă… atunci” e o promisiune

Mama îți spune: „Dacă iei 10 la teză, atunci îți cumpăr o bicicletă.” Când ar fi mințit mama? Sunt patru situații posibile:
Ai luat 10?Ai primit bicicleta?Promisiunea
dadarespectată
danuîncălcată
nudarespectată
nunurespectată

Promisiunea e încălcată doar când ai luat 10 și n-ai primit bicicleta.

Dacă n-ai luat 10, mama nu a promis nimic pentru cazul acesta. Fie că îți cumpără bicicleta, fie că nu, nu a mințit.

Partea de după „dacă” se numește ipoteza (aici pp: „iei 10 la teză”). Partea de după „atunci” se numește concluzia (aici qq: „îți cumpăr o bicicletă”). Propoziția „dacă pp, atunci qq” se numește implicația și se notează p→qp \to q. Se citește „pp implică qq”.

Scrie 1 în loc de „da” și de „respectată”, 0 în loc de „nu” și de „încălcată”. Primul tabel devine tabelul implicației: promisiune respectată = 1, promisiune încălcată = 0.

ppqqp→qp \to q
111
100
011
001

Din fals rezultă orice

Manualul dă un exemplu care sună ciudat: propoziția „Dacă 3=43 = 4, atunci eu, Ionescu, sunt Napoleon” este adevărată. (Numele e acolo ca să știm cine e „eu”: ai văzut la primul pas că un enunț cu „el” nu e propoziție.)

De ce? Ipoteza, 3=43 = 4, e falsă. E ca la promisiune când n-ai luat 10: promisiunea nu a fost pusă la încercare, deci nu a fost încălcată. Uită-te în tabelul lui p→qp \to q: pe ultimele două rânduri ipoteza e 0, iar implicația e 1, oricare ar fi concluzia.

Verifică-te

Ce valoare are propoziția „Dacă 2+2=42 + 2 = 4, atunci 2⋅2=52 \cdot 2 = 5”?

„Dacă și numai dacă”: aceeași valoare

Manualul spune că „10>3\sqrt{10} > 3 dacă și numai dacă 10≥910 \ge 9” e adevărată. Ambele părți sunt adevărate: 10≈3,16\sqrt{10} \approx 3{,}16 e mai mare decât 3, iar 10≥910 \ge 9.

Un al doilea exemplu din manual: „2+3<02 + 3 < 0 dacă și numai dacă 2 este impar” e tot adevărată. Ambele părți sunt false, deci au aceeași valoare. Nu contează că nu au nicio legătură între ele.

Propoziția „pp dacă și numai dacă qq” se numește echivalența lui pp și qq și se notează p↔qp \leftrightarrow q. E adevărată exact când pp și qq au aceeași valoare.

ppqqp↔qp \leftrightarrow q
111
100
010
001
Echivalența înseamnă că ambele implicații, p→qp \to q și q→pq \to p, sunt adevărate în același timp. Verifică pe rânduri:
ppqqp→qp \to qq→pq \to pp↔qp \leftrightarrow q
11111
10010
01100
00111

Verifică-te

Ce valoare are propoziția „2+2=52 + 2 = 5 dacă și numai dacă 3 este par”?
Cum scrie manualul

Cum scrie manualul

Propoziția este un enunț care este fie adevărat, fie fals, dar niciodată ambele în același timp. Valoarea de adevăr a propoziției pp se notează v(p)v(p), iar v(p)∈{0,1}v(p) \in \{0, 1\}: 1 pentru adevărat, 0 pentru fals.

Manualul exprimă această proprietate prin două principii:

Principiul terțului exclus: orice propoziție e adevărată sau falsă; o a treia variantă nu există.

Principiul necontradicției: nicio propoziție nu e adevărată și falsă în același timp.

Cu conectorii logici (non, și, sau, dacă… atunci, dacă și numai dacă) construim din propoziții simple propoziții compuse. Valoarea unei propoziții compuse depinde doar de valorile părților ei. Negația lui pp se notează p‾\overline{p} sau ¬p\neg p. Manualul strânge totul în tabele de adevăr:
ppqqp ⁣∧ ⁣q{p \!\wedge\! q}p ⁣∨ ⁣q{p \!\vee\! q}p ⁣→ ⁣q{p \!\to\! q}p ⁣↔ ⁣q{p \!\leftrightarrow\! q}
111111
100100
010110
000011
Legătura cu implicația: manualul scrie p↔qp \leftrightarrow q explicit, ca propoziție compusă: (p→q)∧(q→p)(p \to q) \wedge (q \to p).
SimbolCe înseamnă
v(p)v(p)valoarea de adevăr a lui pp: 1 (adevărată) sau 0 (falsă)
p‾\overline{p}, ¬p\neg p„non pp”: negația
p∧qp \wedge q„pp și qq”: conjuncția
p∨qp \vee q„pp sau qq”: disjuncția
p→qp \to q„dacă pp, atunci qq”: implicația
p↔qp \leftrightarrow q„pp dacă și numai dacă qq”: echivalența