Texto associado
Legenda para os símbolos lógicos:
- v Representa a disjunção inclusiva (ou).
- ^ Representa a conjunção (e).
- ~ Representa a negação.
- → Representa o condicional (se...então).
- ↔ Representa o bicondicional (se e somente se).
A sentença: Nego que Paula é funcionária pública e concursada é equivalente pela Lei de De Morgan à sentença: