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

Usunięta treść Dodana treść
Lethern (dyskusja | edycje)
m naw
Linia 1:
== Kwantyfikatory ==
<noinclude>
{{MDL:NawGórna|
[[Matematyka dla liceum/Logika/Prawa rachunku zdań|Prawa rachunku zdań]]|
[[Matematyka dla liceum/Logika/Podsumowanie|Podsumowanie]]
}}
 
</noinclude>
 
== Kwantyfikatory ==
{{index|kwantyfikator}}
Kwantyfikatory umożliwiają zapisanie długich zdań w krótszej formie. Na przykład zdanie „kwadrat każdej liczby rzeczywistej jest większy bądź równy {{math|0}}” możemy zapisać krócej <math> \forall_{x \in \mathbb{R}}\ x^2 \geq 0 </math>. Podobnie zdanie „sześcian każdej liczby całkowitej dodatniej jest większy od {{math|0}}”, możemy zapisać <math> \forall_{n \in \mathbb{Z_+}}\ n^3 > 0 </math> (zbiór liczb całkowitych dodatnich oznaczamy przez <math> \mathbb{Z_+}) </math>. Zdanie to przeczytamy „dla każdego {{math|x}} należącego do liczb całkowitych dodatnich, sześcian tej liczby jest większy od {{math|0}}”. Podamy teraz formalną definicję.
Linia 39 ⟶ 31:
 
<noinclude>
{{Nawigacja|Matematyka dla liceum|
 
[[Matematyka dla liceum/Logika/Prawa rachunku zdań|Prawa rachunku zdań]]|
{{MDL:NawDolna|
[[Matematyka dla liceum/Logika/Podsumowanie|Podsumowanie]]|
rozdział=Logika|
}}</noinclude>
poprz=Logika/Prawa rachunku zdań|
nast=Logika/Podsumowanie}}
 
</noinclude>