- Mantêm-se a característica de uma FN, devendo conter, quando muito, os conectivos ~, ∧ e ∨.
- A proposição não possui dupla negação do tipo ~~.
- Se tiver negação, a negação não pode ter alcance ∧ e ∨, tal como ~(p∨q).
- A negação pode incidir somente sobre a letra proposicional.
- O conectivo ∨ não pode possuir alcance sobre a ∧, tal como p∨(~q∧~p).
|
- Mantêm-se a característica de uma FN, devendo conter, quando muito, os conectivos ~, ∧ e ∨.
- A proposição não possui dupla negação do tipo ~~.
- Se tiver negação, a negação não pode ter alcance ∧ e ∨, tal como ~(p∨q).
- A negação pode incidir somente sobre a letra proposicional.
- O conectivo ∧ não pode possuir alcance sobre a ∨, tal como p∧(~q∨~p).
|