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 Dacă vrem să spunem că pentru toate numerele naturale , , putem scrie: . Aceasta înseamnă că propoziția este adevărată pentru fiecare număr natural. Dacă spunem că „toate numerele naturale sunt mai mari decât -1”, scriem: . 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ă este fals, atunci negarea sa ar fi , 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
Categorie:Expresii logice Categorie:Logică matematică Categorie:Simboluri logice