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

Usunięta treść Dodana treść
Piotr (dyskusja | edycje)
mNie podano opisu zmian
→‎Kwantyfikatory: błąd logiczny w zapisie zdania o ludziach, którzy nie umieją liczyć
Linia 32:
 
A jak można napisać, że „są ludzie, którzy nie umieją liczyć”? Oznaczmy zbiór wszystkich ludzi jako {{math|L}} i zdanie {{math|q(l)}}, jako zdanie mówiące, że człowiek {{math|l}} umie liczyć. Teraz możemy napisać:
: <math> \exist_{l \in L}\ \neg q(l) </math>,
co przeczytamy nie uwzględniając kontekstu: „istnieje taki element {{math|l}} należący do zbioru {{math|L}}, że zdanie {{math|q(l)}}, nie jest prawdziwe”. Z kolei patrząc na kontekst możemy przeczytać: „istnieje taki człowiek {{math|l}} należący do zbioru wszystkich ludzi {{math|L}}, że człowiek ten nie umie liczyć” lub krócej „istnieją ludzie, którzy nie umieją liczyć”.
 
{{index|kwantyfikator inne oznaczenia}}