- Lógica ProposicionalConectivos LógicosBicondicional "se e somente se"
- Lógica ProposicionalTabelas-verdadeTabela-verdade: Condicional
Lista de Símbolos:
∧ Conector “e”
∨ Conector “ou”
⊻ Conector “ou” exclusivo
⇒ Conector “Se...então...”
⇔ Conector “Se e somente se”
¬ Negação de uma proposição
Se A e B são proposições simples falsas, então o valor lógico de A ⇒ B será:
