- Lógica ProposicionalEquivalências Lógicas
- Lógica ProposicionalNegação de Proposições CompostasLeis de De Morgan
- Lógica ProposicionalProposições
- Lógica ProposicionalTabelas-verdade
Sabendo-se que as proposições p e q são ambas verdadeiras, o valor lógico das proposições 
será, respectivamente:
será, respectivamente: