Operadores Proposicionais
A lógica proposicional trabalha com operadores verofuncionais, cujo valor de verdade depende apenas dos valores de verdade das proposições que os compõem. São diferentes dos operadores não verofuncionais como "penso que" ou "acredito".
Os principais operadores verofuncionais são:
- Negação (não): simbolizada por ¬
- Conjunção e/mas: simbolizada por ∧
- Disjunção inclusiva (ou): simbolizada por ∨
- Disjunção exclusiva (ou...ou): simbolizada por ⊕
- Condicional (se... então): simbolizada por →
- Bicondicional (se e só se): simbolizada por ↔
As letras P, Q, R, S, T, U, V, W, X, Y e Z são usadas como variáveis proposicionais, representando proposições simples nas fórmulas lógicas.
💡 Dica útil: Para identificar o âmbito de um operador, procure o operador que está fora dos parênteses ou o último operador aplicado. Para negações, considere que incidem apenas numa variável.