Matematyka dla liceum/Logika/Kwantyfikatory: Różnice pomiędzy wersjami
Usunięta treść Dodana treść
mNie podano opisu zmian |
mNie podano opisu zmian |
||
Linia 9:
{{index|kwantyfikator ogólny}}
{{Mat:Def|
'''Kwantyfikator ogólny''' oznaczamy przez <math> \forall x </math>, mówi on, że dane stwierdzenie jest prawdziwe dla każdego ''x''. Nazywany jest także '''kwantyfikatorem dużym''' lub '''kwantyfikatorem uniwersalnym'''.}}
Linia 15:
{{index|kwantyfikator szczegółowy}}
{{Mat:Def|
'''Kwantyfikator szczegółowy''' oznaczamy przez <math> \exist x </math>, mówi on, że istnieje takie ''x'', że dane stwierdzenie jest prawdziwe. Nazywany jest także '''kwantyfikatorem małym''' lub '''kwantyfikatorem egzystencjalnym'''.}}
Linia 24:
{{index|kwantyfikator dawne polskie oznaczenia}}
{{Mat:Ciek|
▲ciekawostka='''Kwantyfikator ogólny''' czasami w polskich podręcznikach (w szczególności dla liceum) jest oznaczany przez <math> \bigwedge_x </math>(„dla każdego ''x''...”), a '''kwantyfikator szczegółowy''' przez <math> \bigvee_x </math>(„istnieje takie ''x'', że...”). Natomiast używane przez nas oznaczenia kwantyfikatorów są międzynarodowe i pochodzą z języka angielskiego. <math>\forall</math> pochodzi od '''A'''ll (wszystkie), <math>\exist</math> od '''E'''xists (istnieje).}}
<noinclude>
|