- Lógica ProposicionalEquivalências Lógicas
- Lógica ProposicionalNegação de Proposições CompostasLeis de De Morgan
Lista de símbolos:
⇒ Condicional
⇔ Bicondicional
∧ Conector “e”
∨ Conector “ou”
⊻ Conector “ou” exclusivo
¬ Negação da proposição
A negação da proposição “Se faz calor em Campo Bom, então os parques estão cheios
de pessoas felizes” é:
