Cuantificator universal

Cuantificatorul universal este un tip de cuantificator din logica matematică, care indică faptul că o anumită propoziție logică este adevărată pentru toate elementele dintr-o anumită mulțime (domeniul de discurs). În esență, simbolul ∀ (cunoscut ca „pentru orice”, „pentru toți” sau „oricare ar fi”) este folosit pentru a exprima că o proprietate se aplică fiecărui element al mulțimii.

Exemple

1. Dacă vrem să spunem că pentru toate numerele naturale $n$, $2\cdot n=n+n$, putem scrie: $\forall n\in \mathbb {N} ,\ 2\cdot n=n+n$. Aceasta înseamnă că propoziția este adevărată pentru fiecare număr natural.
2. Dacă spunem că „toate numerele naturale sunt mai mari decât -1”, scriem: $\forall n\in \mathbb {N} ,\ n>-1$. Aici, propoziția este adevărată pentru orice valoare a lui n din mulțimea numerelor naturale.

Negarea cuantificării universale

Pentru a nega o propoziție care folosește cuantificatorul universal, schimbăm ∀ în ∃ („există cel puțin unul”) și negăm propoziția. De exemplu:

• Dacă $\forall n\in \mathbb {N} ,\ n>0$ este fals, atunci negarea sa ar fi $\exists n\in \mathbb {N} ,\ n\leq 0$, adică există cel puțin un număr natural care nu este mai mare decât 0.

Reguli de inferență

• Instanțiere universală: Dacă o propoziție este adevărată pentru toate elementele, atunci este adevărată și pentru un element arbitrar.
• Generalizare universală: Dacă o propoziție este adevărată pentru un element arbitrar al mulțimii, atunci este adevărată pentru toate elementele mulțimii.

Notă

Cuantificarea universală este importantă deoarece permite exprimarea de afirmații generale într-o formă precisă și riguroasă.

Bibliografie

• Enderton, H. B. (2001). A Mathematical Introduction to Logic. Academic Press
• Rosen, Kenneth H. (2011). Discrete Mathematics and Its Applications. McGraw-Hill
• Ebbinghaus, H.-D., Flum, J., & Thomas, W. (1996). Mathematical Logic. Springer.
• Carnegie Mellon Open Learning Initiative. Logic and Proofs.
• Stanford Encyclopedia of Philosophy. Quantifiers in Logic