Clasa 9Algebră

Logică Matematică — Teorie, Formule si Exemple

Logica matematică este primul capitol din programa de clasa a 9-a și studiază structura raționamentelor corecte folosind propoziții cu valoare de adevăr (adevărat sau fals), conectori logici și cuantificatori. Notă importantă pentru BAC: deși este inclusă în programa oficială, logica matematică nu apare ca exercițiu de sine stătător la examenul de Bacalaureat, Matematica M1 (Mate-Info). Cu toate acestea, conceptele de logică — implicația, echivalența, contrareciproca, negarea cuantificatorilor — sunt fundamentul demonstrațiilor din toate capitolele testate la BAC (primitive, integrale, șiruri, algebră) și apar frecvent la examenele de admitere la facultățile de informatică și matematică.

Propoziții și conectori logici

O propoziție este o afirmație cu valoare de adevăr precisă: adevărat (A) sau fals (F). Conectorii logici principali:

Negația $\neg p$ : "non $p$ " — adevărat când $p$ e fals
Conjuncția $p \wedge q$ : " $p$ și $q$ " — adevărat numai dacă ambele sunt adevărate
Disjuncția $p \vee q$ : " $p$ sau $q$ " — adevărat dacă cel puțin una e adevărată
Implicația $p \Rightarrow q$ : "dacă $p$ , atunci $q$ " — falsă numai când $p = A$ și $q = F$
Echivalența $p \Leftrightarrow q$ : " $p$ dacă și numai dacă $q$ " — adevărată dacă au aceeași valoare

Cuantificatorii:

$\forall x,\, P(x)$ : "pentru orice $x$ , $P(x)$ " — cuantificator universal
$\exists x,\, P(x)$ : "există cel puțin un $x$ cu $P(x)$ " — cuantificator existențial

usorExercițiu standard

Fie

p

: "

2 + 2 = 4

" și

q

: "

5 > 7

". Determinați valoarea de adevăr a lui

p \Rightarrow q

2 puncte

v(p) = A

(adevărat);

v(q) = F

(fals).

3 puncte

Implicația

p \Rightarrow q

este falsă numai când

p = A

și

q = F

. Deci

v(p \Rightarrow q) = F

usorExercițiu standard

Fie

p

: "

3

este număr prim" și

q

: "

4

este par". Determinați valoarea de adevăr a propozițiilor

p \wedge q

p \vee \neg q

și

p \Leftrightarrow q

2 puncte

v(p) = A

(3 este prim);

v(q) = A

(4 este par);

v(\neg q) = F

2 puncte

v(p \wedge q) = A \wedge A = A

(ambele adevărate).

2 puncte

v(p \vee \neg q) = A \vee F = A

(cel puțin una adevărată).

2 puncte

v(p \Leftrightarrow q) = A

(ambele au aceeași valoare de adevăr).

Implicația, reciproca, inversa și contrareciproca

Din implicația

p \Rightarrow q

se derivează: | Propoziție | Formă | Echivalentă cu

p \Rightarrow q

? | |---|---|---| | Directă |

p \Rightarrow q

| Da (ea însăși) | | Reciprocă |

q \Rightarrow p

| Nu | | Inversă |

\neg p \Rightarrow \neg q

| Nu | | Contrareciproca |

\neg q \Rightarrow \neg p

| Da | Contrapoziția este esențială în demonstrații — este echivalentă cu implicația:

p \Rightarrow q \equiv \neg q \Rightarrow \neg p

Negarea implicației:

\neg(p \Rightarrow q) \equiv p \wedge \neg q

Implicația cu premisă falsă este mereu adevărată (ex vacuo): din

F \Rightarrow

orice rezultă

A

mediuExercițiu standard

Negați propoziția: "Toți elevii au trecut examenul."

2 puncte

Formalizăm:

\forall x\,(\text{elev}(x) \Rightarrow \text{trecut}(x))

2 puncte

Negarea cuantificatorului universal:

\neg(\forall x, P(x)) \equiv \exists x, \neg P(x)

2 puncte

Negarea:

\exists x\,(\text{elev}(x) \wedge \neg\text{trecut}(x))

. În cuvinte: "Există cel puțin un elev care nu a trecut examenul."

mediuExercițiu standard

Fie implicația

p \Rightarrow q

: "Dacă un număr este divizibil cu

6

, atunci este divizibil cu

3

." Scrieți reciproca, inversa și contrareciproca. Care dintre ele sunt adevărate?

3 puncte

Reciproca (

q \Rightarrow p

): "Dacă un număr este divizibil cu

3

, atunci este divizibil cu

6

." — Falsă (contraexemplu:

9

este divizibil cu

3

dar nu cu

6

2 puncte

Inversa (

\neg p \Rightarrow \neg q

): "Dacă un număr nu este divizibil cu

6

, atunci nu este divizibil cu

3

." — Falsă (același contraexemplu:

9

3 puncte

Contrareciproca (

\neg q \Rightarrow \neg p

): "Dacă un număr nu este divizibil cu

3

, atunci nu este divizibil cu

6

." — Adevărată (echivalentă cu implicația directă, care este adevărată).

Legile lui De Morgan, tautologii și negarea cuantificatorilor

Legile lui De Morgan (logice):

\neg(p \wedge q) \equiv \neg p \vee \neg q

\neg(p \vee q) \equiv \neg p \wedge \neg q

Negarea cuantificatorilor:

\neg(\forall x, P(x)) \equiv \exists x, \neg P(x)

\neg(\exists x, P(x)) \equiv \forall x, \neg P(x)

Dubla negație:

\neg(\neg p) \equiv p

Tautologie — propoziție mereu adevărată:

p \vee \neg p

(principiul terțului exclus). Contradicție — propoziție mereu falsă:

p \wedge \neg p

. Propoziția universală

\forall x, P(x)

este infirmată de un singur contraexemplu. Propoziția existențială

\exists x, P(x)

se demonstrează prin construirea unui exemplu concret.

greuDemonstrație prin tabel de adevăr

Demonstrați că

p \Rightarrow q \equiv \neg q \Rightarrow \neg p

(legea contrapoziției).

5 puncte

Construim tabelul de adevăr: |

p

q

p\Rightarrow q

\neg q

\neg p

\neg q\Rightarrow\neg p

| |---|---|---|---|---|---| | A | A | A | F | F | A | | A | F | F | A | F | F | | F | A | A | F | A | A | | F | F | A | A | A | A |

2 puncte

Coloanele

p \Rightarrow q

și

\neg q \Rightarrow \neg p

sunt identice, deci cele două propoziții sunt echivalente.

\square

mediuExercițiu standard

Negați propoziția compusă: "Toate numerele prime mai mari decât

2

sunt impare și nu sunt divizibile cu

4

2 puncte

Formalizăm:

\forall x\,(\text{prim}(x) \wedge x > 2 \Rightarrow \text{impar}(x) \wedge \neg(4 \mid x))

3 puncte

Negăm cuantificatorul universal:

\exists x\,(\text{prim}(x) \wedge x > 2 \wedge \neg(\text{impar}(x) \wedge \neg(4 \mid x)))

2 puncte

Aplicăm De Morgan pe conjuncție:

\neg(\text{impar}(x) \wedge \neg(4 \mid x)) \equiv \neg\text{impar}(x) \vee (4 \mid x)

2 puncte

Rezultat: "Există un număr prim mai mare decât

2

care este par sau este divizibil cu

4

." (Propoziția negată este falsă, deci cea originală este adevărată.)

Metode de demonstrație: directă, contrareciprocă, reducere la absurd

Logica matematică fundamentează toate metodele de demonstrație: Demonstrația directă: se pornește de la ipoteză și se ajunge la concluzie printr-un șir de implicații valide:

P \Rightarrow R_1 \Rightarrow R_2 \Rightarrow \ldots \Rightarrow Q

Demonstrația prin contrareciprocă: demonstrezi

\neg Q \Rightarrow \neg P

în loc de

P \Rightarrow Q

(echivalente):

Utilă când $\neg Q$ este mai ușor de folosit ca ipoteză decât $P$ .

Demonstrația prin reducere la absurd (reductio ad absurdum):

Presupui că concluzia $Q$ este falsă ( $\neg Q$ )
Deduci o contradicție ( $R \wedge \neg R$ )
Concluzia: $Q$ este adevărată

Demonstrația prin contraexemplu: infirmă o propoziție universală

\forall x, P(x)

printr-un singur

x

\neg P(x)

. Demonstrația prin inducție matematică: pentru propoziții de forma

\forall n \in \mathbb{N}, P(n)

(tratată în capitolul Inducție Matematică).

mediuExercițiu standard

Demonstrați prin reducere la absurd că

\sqrt{2}

este irațional.

2 puncte

Presupunem prin absurd că

\sqrt{2} \in \mathbb{Q}

, deci

\sqrt{2} = \dfrac{p}{q}

p, q \in \mathbb{Z}

q \neq 0

, fracție ireductibilă (

\gcd(p, q) = 1

4 puncte

2q^2 = p^2

, deci

p^2

este par, deci

p

este par:

p = 2m

. Înlocuind:

2q^2 = 4m^2

, deci

q^2 = 2m^2

, deci

q

este par.

2 puncte

Atât

p

cât și

q

sunt pari, contradicție cu

\gcd(p,q) = 1

. Deci

\sqrt{2} \notin \mathbb{Q}

\square

usorExercițiu standard

Demonstrați prin contrareciprocă: dacă

n^2

este impar, atunci

n

este impar (

n \in \mathbb{Z}

3 puncte

Implicația directă:

n^2

impar

\Rightarrow

n

impar. Contrareciproca echivalentă:

n

par

\Rightarrow

n^2

par.

4 puncte

Dacă

n

este par, atunci

n = 2k

k \in \mathbb{Z}

. Rezultă

n^2 = (2k)^2 = 4k^2 = 2(2k^2)

, deci

n^2

este par.

2 puncte

Contrareciproca este adevărată, deci și implicația directă este adevărată.

\square

Greșeli frecvente la logica matematică

✗

Reciproca

q \Rightarrow p

este echivalentă cu

p \Rightarrow q

✓Echivalentă cu

p \Rightarrow q

este contrareciproca

\neg q \Rightarrow \neg p

, nu reciproca

Reciproca și inversa nu sunt echivalente cu implicația originală. Confuzia dintre reciprocă și contrareciprocă este frecventă.

✗

\neg(p \Rightarrow q) \equiv (\neg p \Rightarrow \neg q)

✓

\neg(p \Rightarrow q) \equiv p \wedge \neg q

Negarea implicației produce o conjuncție (nu altă implicație): "

p

este adevărat și

q

este fals".

✗

Negarea lui "toți

x

P

" este "niciun

x

nu are

P

✓

\neg(\forall x, P(x)) \equiv \exists x, \neg P(x)

— "există cel puțin unul fără

P

"Niciun" ar corespunde negației lui

\exists

. Negarea lui "toți" este mai slabă: "cel puțin unul nu".

✗

Implicația cu premisă falsă este falsă

✓Implicația cu premisă falsă este mereu adevărată (ex vacuo)

Din

F \Rightarrow

orice, rezultă A. Aceasta este o convenție logică, nu o afirmație despre realitate.

Sfaturi pentru BAC și studiul matematicii

Nu apare ca exercițiu de sine stătător la Bac M1 (Mate-Info), deși este inclusă în programa oficială. Logica matematică este materie de clasa a 9-a și nu este testată explicit la bacalaureat. Este relevantă la admiterea în anumite facultăți (informatică, filozofie) și ca fundament implicit al tuturor demonstrațiilor matematice.

Utilitate practică în demonstrații: Înțelegerea structurii logice a implicației și a contrapoziției ajută la orice demonstrație matematică. Demonstrația prin contrareciprocă (

\neg q \Rightarrow \neg p

) este adesea mai simplă decât demonstrarea directă.

Analogia cu teoria mulțimilor: Legile lui De Morgan din logică (

\neg(p \wedge q) \equiv \neg p \vee \neg q

) sunt identice ca formă cu cele din teoria mulțimilor (

\mathcal{C}_U(A \cap B) = \mathcal{C}_U A \cup \mathcal{C}_U B

). Înțelegi un domeniu, îl înțelegi pe celălalt.

Cuantificatorii apar implicit în orice enunț matematic: "pentru orice

x \in \mathbb{R}

x^2 \geq 0

" este o propoziție universală. Negarea ei — "există

x \in \mathbb{R}

x^2 < 0

" — este falsă și servește drept contraexemplu.

Referință rapidă: toate formulele de logică matematică

Implicația — când e falsă

p \Rightarrow q

falsă numai când

p = A

și

q = F

În toate celelalte cazuri, implicația este adevărată.

Contrapoziție

p \Rightarrow q \equiv \neg q \Rightarrow \neg p

Echivalentă cu implicația; utilă în demonstrații.

Negarea implicației

\neg(p \Rightarrow q) \equiv p \wedge \neg q

Produce o conjuncție, nu altă implicație.

Negarea cuantificatorului universal

\neg(\forall x, P(x)) \equiv \exists x, \neg P(x)

"Toți" se neagă prin "există unul care nu".

Negarea cuantificatorului existențial

\neg(\exists x, P(x)) \equiv \forall x, \neg P(x)

"Există" se neagă prin "toți nu".

De Morgan (logic)

\neg(p \wedge q) \equiv \neg p \vee \neg q

La negare, conjuncția devine disjuncție.

Capitole inrudite

Teoria Mulțimilor Inducție Matematică

Exerciteaza 100 probleme de Logică Matematică

Exercitii cu rezolvare pas cu pas

→

Rezolva 298 grile de Logică Matematică

Intrebari cu variante de raspuns

→

57 zile până la BAC

Pregătește-te la Logică Matematică cu AI

Rezolvă probleme pe hârtie, fotografiază și primește feedback instant de la AI — ca de la un profesor.

Vreau evaluare AI pe soluția mea

50 credite gratuite la înregistrare. Fără card, fără obligații.