Oceń wartość logiczną zdań i znajdź...

Zaprzeczeniem zdania "dla każdego  zachodzi " jest zdanie "istnieje  dla którego zachodzi ".

Jest to I prawo De Morgana dla kwantyfikatorów.

Symbolicznie zapisujemy je następująco:

Zaprzeczeniem zdania "istnieje  dla którego zachodzi " jest zdanie "dla każdego  zachodzi ".

Jest to II prawo De Morgana dla kwantyfikatorów.

Symbolicznie zapisujemy je następująco:

Przypomnijmy też:  

I prawo De Morgana zaprzeczenia alternatywy

Symbolicznie zapisujemy je następująco:

II prawo De Morgana zaprzeczenia koniunkcji

Symbolicznie zapisujemy je następująco:

Powyższe dwa prawa wykorzystamy w podpunktach  

 zdanie fałszywe

Zaprzeczenie:

 zdanie prawdziwe