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
Komentarze