🔧 Construtor de Fórmulas
Aguardando entrada...
📚 Operadores Lógicos
∧ Conjunção
Verdadeiro apenas quando ambas as proposições são verdadeiras
∨ Disjunção
Falso apenas quando ambas as proposições são falsas
¬ Negação
Inverte o valor de verdade da proposição
→ Implicação
Falso apenas quando o antecedente é V e o consequente é F
↔ Bicondicional
Verdadeiro quando ambas têm o mesmo valor de verdade
💡 Exemplos de Fórmulas
P∧Q
Conjunção simples
P∨¬Q
Disjunção com negação
(P→Q)∧(Q→R)
Transitividade
P↔(Q∨R)
Bicondicional composta
¬(P∧Q)↔(¬P∨¬Q)
Lei de De Morgan
🎯 Quiz de Lógica
Teste seus conhecimentos em:
- Operadores lógicos e suas propriedades
- Tabelas verdade
- Tautologias, contradições e contingências
- Equivalências lógicas
- Leis da lógica (De Morgan, distributividade, etc.)