Univerzális és egzisztenciális kvantor
- jelentése: minden x-re ( igaz, hogy...)
- jelentése: van olyan x
Tagadása
- nem minden
- nincs olyan
1. Példa
Jelölje P(x) hogy x prím
Jelölje S(x) hogy x páros
Létezik páros prím: van olyan x, amelyre érvényes, hogy prím(P(x)) és páros(S(x))
Minden prím páratlan: minden x-re igaz, hogy prím(P(x)) és nem páros()
2. Példa
P(x) jelöli hogy x páros
S(x) jelöli, hogy x osztható tízzel
Minden páros szám osztható tízzel: minden x-re igaz, hogy ha páros, akkor osztható tízzel
Nem minden páros szám osztható tízzel: nem minden x-re igaz, hogy ha páros, akkor osztható tízzel
Van olyan páros szám, ami nem osztható tízzel: van olyan x, ami ha páros, akkor nem osztható tízzel