Cuantificatorul existential: definitie si exemple

Cuantificatorul existential este un simbol logic care ne ajuta sa exprimam afirmatii de forma 'Exista cel putin un obiect' dintr-o anumita multime care satisface o proprietate. In logica, cuantificatorul existential se noteaza cu simbolul ∃ (o litera E rasturnata). De exemplu, propozitia 'Exista un elev in clasa care poarta ochelari' se scrie logic astfel: ∃x (Elev(x) ∧ PoartaOchelari(x)).

Citim: 'Exista un x astfel incat x este elev si x poarta ochelari'. Acest cuantificator este fundamental pentru a transforma propozitii din limbajul obisnuit in limbaj formal. Spre deosebire de cuantificatorul universal (∀), care spune ca o proprietate este adevarata pentru TOATE obiectele, cuantificatorul existential spune ca proprietatea este adevarata pentru CEL PUTIN UNUL.

Este important de inteles ca 'exista' inseamna 'cel putin unul', nu 'exact unul'. De exemplu, daca spunem 'Exista un numar par mai mare decat 10', este adevarat pentru 12, 14, 16 etc. Nu conteaza cate sunt, conteaza ca macar unul exista.

In viata de zi cu zi, folosim frecvent cuantificatorul existential: 'In frigider este ceva de mancare', 'Cineva a sunat la usa', 'Exista o solutie pentru aceasta problema'. In matematica, el este pretios pentru a demonstra existenta unor obiecte: 'Exista un numar natural care adunat cu 5 da 8' (acel numar este 3). In rezolvarea problemelor, trebuie sa fim atenti la negatia cuantificatorului existential.

Negatia lui 'Exista x cu proprietatea P' este 'Pentru orice x, nu P', adica ∀x ¬P. De exemplu, negatia propozitiei 'Exista un elev care are 10' este 'Niciun elev nu are 10' (adica pentru toti elevii, nu au 10). In concluzie, cuantificatorul existential este unealta prin care putem vorbi despre existenta a cel putin un element care indeplineste o conditie, fiind un concept fundamental in logica, matematica si gandirea critica.

Exemple

• Exemplul 1: In multimea {2, 4, 6, 8, 10}, exista un numar mai mare decat 5? Da, pentru ca 6, 8 si 10 sunt mai mari decat 5. Propozitia '∃x (x ∈ M ∧ x > 5)' este adevarata.
• Exemplul 2: Fie multimea animalelor dintr-o curte: gaina, pisica, caine. Propozitia 'Exista un animal care latra' este adevarata deoarece cainele latra. Scris formal: ∃x (Animal(x) ∧ Latra(x)).
• Exemplul 3: In multimea numerelor naturale, exista un numar care inmultit cu 0 da 5? Raspuns: Nu, pentru ca orice numar inmultit cu 0 da 0, nu 5. Deci propozitia '∃x (x * 0 = 5)' este falsa.

Concepte cheie: Cuantificator existential, Simbolul ∃, Exista cel putin unul, Negatia cuantificatorului existential, Aplicatii in propozitii matematice