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

Usunięta treść Dodana treść
Piotr (dyskusja | edycje)
mNie podano opisu zmian
Piotr (dyskusja | edycje)
mNie podano opisu zmian
Linia 37:
{{index|kwantyfikator inne oznaczenia}}
{{Mat:Ciek|
Dosyć często '''Kwantyfikatorkwantyfikator 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...”). Jednak te oznaczenia nie są stosowane w większości współczesnych książek. 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>