Zusammenfassung der Ressource
Lógica Proposicional Negação
- Negação do "e" ~(p ^ q)
- ~p v ~q
- Negação do "ou" ~(p v q)
- ~P ^ ~q
- Negação do "se...então... ~(p→q)
- 1° forma
- p ^ ~q
- 2° forma
- ~q→~p
- Negação do "se somente se" ~(p↔q)
- 1° Forma
- ou p ou q
- 2° forma
- (p^~q) v (q^~p)