Cuantificator universal (simbol)
Această intrare sau secțiune despre semiotică și matematică nu citează sursele necesare sau cei prezenți sunt insuficienți . |
Cuantificatorul universal este un simbol științific , utilizat pe scară largă în diverse domenii ale matematicii (în special în teoria și logica mulțimilor ); ∀ se numește cuantificator, deoarece servește pentru a indica dimensiunea sau extensia unei afirmații și universal, deoarece extensia indicată este întotdeauna totală: nu degeaba, de fapt, are citirea „ pentru fiecare ”. Forma sa este cea a unei majuscule cu capul în jos A : aceasta se datorează inițialei cuvântului englezesc All , care în italiană înseamnă totul .
Istorie și utilizare
Cuantificatorul universal a fost inventat în 1879 împreună cu cel existențial de către Frege , un celebru matematician din secolul al XIX-lea ; își pusese problema transformării propozițiilor logice aristotelice care posedau adjective precum „toate” și „unele”, nu direct „traductibile”, în limbaj matematic.
Deși ideea conceptului de cuantificatorul universal este , prin urmare , din cauza Frege, a fost Peirce și Peano care a inventat simbolul ∀ încă folosit astăzi: creatorul a folosit un alt scenariu , care nu s - ar fi folosit din nou mai târziu.
Așa cum am spus mai sus, utilizarea cuantificatorului universal este limitată la matematică : este utilizată în diferite tipuri de propoziții cu semnificația pentru fiecare , pentru fiecare , pentru fiecare , orice ; un exemplu este următorul
care scrie „ pentru fiecare x există un y astfel încât x pătrat este egal cu y ”. Există, în mod firesc, multe alte cazuri care văd ∀ utilizat, de exemplu, împreună cu celelalte simboluri ale logicii matematice (cum ar fi et , vel sau non ).
Elemente conexe
Alte proiecte
- Wikimedia Commons conține imagini sau alte fișiere pe cuantificator universal