Legi ale cuantificatorilor si negarea acestora

Cuantificatorii sunt instrumente fundamentale în logica predicatelor, permițând exprimarea generalității sau existenței în propoziții. Există doi cuantificatori principali: cuantificatorul universal (∀, „pentru orice”) și cuantificatorul existențial (∃, „există cel puțin un”). Înțelegerea legilor care guvernează interacțiunea acestora, precum și a modului corect de a nega propozițiile cuantificate, este esențială pentru rezolvarea problemelor de logică la Bacalaureat și pentru dezvoltarea gândirii critice.

Legea fundamentală a negării cuantificatorilor este: ¬(∀x P(x)) ≡ ∃x ¬P(x) și ¬(∃x P(x)) ≡ ∀x ¬P(x). Cu alte cuvinte, a spune că „nu este adevărat că toți x au proprietatea P” este echivalent cu „există cel puțin un x care nu are proprietatea P”. Similar, a spune că „nu există niciun x care să aibă proprietatea P” este echivalent cu „pentru orice x, acesta nu are proprietatea P”.

Aceste echivalențe sunt cunoscute și sub numele de legile lui De Morgan pentru cuantificatori.

O altă lege importantă este distributivitatea cuantificatorilor în raport cu conjuncția și disjuncția. Cuantificatorul universal se distribuie peste conjuncție: ∀x (P(x) ∧ Q(x)) ≡ (∀x P(x)) ∧ (∀x Q(x)). Cuantificatorul existențial se distribuie peste disjuncție: ∃x (P(x) ∨ Q(x)) ≡ (∃x P(x)) ∨ (∃x Q(x)).

În schimb, cuantificatorul universal nu se distribuie peste disjuncție (∀x (P(x) ∨ Q(x)) nu este echivalent cu (∀x P(x)) ∨ (∀x Q(x))), iar cel existențial nu se distribuie peste conjuncție.

De asemenea, ordinea cuantificatorilor contează. De exemplu, ∀x ∃y R(x,y) („pentru orice x, există un y astfel încât R”) este diferit de ∃y ∀x R(x,y) („există un y care funcționează pentru toți x”). Primul permite ca y să depindă de x, pe când al doilea impune același y pentru toți x. Negarea propozițiilor cu mai mulți cuantificatori se face prin aplicarea succesivă a legilor: ¬(∀x ∃y R(x,y)) ≡ ∃x ∀y ¬R(x,y).

În concluzie, stăpânirea acestor legi permite transformarea și simplificarea expresiilor logice, fiind crucială pentru demonstrații matematice și pentru rezolvarea corectă a exercițiilor de logică.

Exemple

• Exemplul 1: Negați propoziția: „Toți elevii sunt silitori”. Folosind legea ¬(∀x P(x)) ≡ ∃x ¬P(x), negarea este: „Există cel puțin un elev care nu este silitor”. În limbaj formal: ¬(∀x (Elev(x) → Silitor(x))) ≡ ∃x (Elev(x) ∧ ¬Silitor(x)). Atenție la transformarea implicației!
• Exemplul 2: Negați propoziția: „Există un număr natural care este par și prim”. Negarea: ¬(∃x (Par(x) ∧ Prim(x))) ≡ ∀x ¬(Par(x) ∧ Prim(x)) ≡ ∀x (¬Par(x) ∨ ¬Prim(x)) (prin De Morgan pentru propoziții). Așadar: „Orice număr natural nu este par sau nu este prim”.
• Exemplul 3: Negați propoziția cu doi cuantificatori: „Pentru orice număr real x, există un număr real y astfel încât x + y = 0”. Formal: ∀x ∃y (x + y = 0). Negarea: ¬(∀x ∃y (x + y = 0)) ≡ ∃x ¬(∃y (x + y = 0)) ≡ ∃x ∀y ¬(x + y = 0) ≡ ∃x ∀y (x + y ≠ 0). Așadar: „Există un număr real x pentru care, orice y am alege, x + y nu este egal cu 0”.

Concepte cheie: Legea negării cuantificatorului universal: ¬(∀x P(x)) ≡ ∃x ¬P(x), Legea negării cuantificatorului existențial: ¬(∃x P(x)) ≡ ∀x ¬P(x), Distributivitatea cuantificatorului universal peste conjuncție: ∀x (P(x) ∧ Q(x)) ≡ (∀x P(x)) ∧ (∀x Q(x)), Distributivitatea cuantificatorului existențial peste disjuncție: ∃x (P(x) ∨ Q(x)) ≡ (∃x P(x)) ∨ (∃x Q(x)), Importanța ordinii cuantificatorilor și negarea propozițiilor cu mai mulți cuantificatori