ZDANIA OGÓLNE, EGZYSTENCJALNE
Zdania, które zawierają tylko kwantyfikatory duże np.
\[{\underset{x\in \mathbb{R}}{\large \forall}}\,\,\, x+2=2+x\]
nazywamy zdaniami o charakterze ogólnym
Zdania, które zawierają tylko kwantyfikatory małe np. \[{\underset{x\in \mathbb{R}}{\large \exists}}\,\,\, x>10\] nazywamy zdaniami o charakterze egzystencjalnym
Zdania, które zawierają kwantyfikatory duże i małe np. \[{\underset{x\in \mathbb{R}}{\large \forall}}{\underset{x\in \mathbb{R}}{\large \exists}}\,\,\, x=y+5\] nazywamy zdaniami o charakterze warunkowo-egzystencjalnymi
Zdania, które nie zawierają zmiennych np. \[ 2+5=5+2\] nazywamy zdaniami o charakterze jednostkowym
Zdania, które zawierają tylko kwantyfikatory małe np. \[{\underset{x\in \mathbb{R}}{\large \exists}}\,\,\, x>10\] nazywamy zdaniami o charakterze egzystencjalnym
Zdania, które zawierają kwantyfikatory duże i małe np. \[{\underset{x\in \mathbb{R}}{\large \forall}}{\underset{x\in \mathbb{R}}{\large \exists}}\,\,\, x=y+5\] nazywamy zdaniami o charakterze warunkowo-egzystencjalnymi
Zdania, które nie zawierają zmiennych np. \[ 2+5=5+2\] nazywamy zdaniami o charakterze jednostkowym
→ dalej Prawa De Morgana dla kwantyfikatorów →
← wstecz Kwantyfikatory zmienna wolna, zmienna związana
←