Matematyka dla liceum/Logika/Kwantyfikatory: Różnice pomiędzy wersjami

Usunięta treść Dodana treść
zamiana MDL:NawGórna->Subst:Naw
Linia 23:
{{index|kwantyfikator szczegółowy}}
{{Mat:Def|
'''Kwantyfikator szczegółowy''' oznaczamy przez <math> \exist_x </math>, mówi on, że istnieje takie ''x'', żedla którego dane stwierdzenie jest prawdziwe. Nazywany jest także '''kwantyfikatorem małym''' lub '''kwantyfikatorem egzystencjalnym'''.}}
 
Innymi przykładami do których można zastosować kwantyfikator szczegółowy mogą być zdania: