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

id=Inne_oznaczenia_kwantyfikatorow|

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).}}