🔄 equivalências lógicas notáveis

Duas proposições são logicamente equivalentes quando possuem os mesmos valores lógicos em todas as situações (ou seja, suas tabelas-verdade são idênticas). A equivalência é denotada por \(\equiv\) ou \(\Leftrightarrow\). Conhecer as principais equivalências ajuda a simplificar expressões, provar teoremas e construir argumentos válidos. Abaixo estão as mais importantes, organizadas por categorias.

📋 tabela das principais equivalências

Nome	Forma lógica	Exemplo intuitivo
Dupla negação	\(\neg(\neg p) \equiv p\)	"Não é verdade que não está chovendo" equivale a "Está chovendo".
Leis de Morgan (1)	\(\neg(p \land q) \equiv \neg p \lor \neg q\)	"Não (chove e faz frio)" ≡ "Não chove ou não faz frio".
Leis de Morgan (2)	\(\neg(p \lor q) \equiv \neg p \land \neg q\)	"Não (chove ou faz frio)" ≡ "Não chove e não faz frio".
Comutativa da conjunção	\(p \land q \equiv q \land p\)	"Chove e faz frio" ≡ "Faz frio e chove".
Comutativa da disjunção	\(p \lor q \equiv q \lor p\)	"Chove ou faz frio" ≡ "Faz frio ou chove".
Associativa da conjunção	\((p \land q) \land r \equiv p \land (q \land r)\)	Ordem das conjunções não altera o significado.
Associativa da disjunção	\((p \lor q) \lor r \equiv p \lor (q \lor r)\)	Ordem das disjunções não altera o significado.
Distributiva (∧ sobre ∨)	\(p \land (q \lor r) \equiv (p \land q) \lor (p \land r)\)	Similar à propriedade distributiva da multiplicação.
Distributiva (∨ sobre ∧)	\(p \lor (q \land r) \equiv (p \lor q) \land (p \lor r)\)	Outra forma de distribuição.
Idempotência (∧)	\(p \land p \equiv p\)	Repetir a mesma informação não acrescenta.
Idempotência (∨)	\(p \lor p \equiv p\)	Afirmar o mesmo duas vezes é redundante.
Identidade (∧ com V)	\(p \land \text{V} \equiv p\)	\(p\) e verdadeiro equivale a \(p\).
Identidade (∨ com F)	\(p \lor \text{F} \equiv p\)	\(p\) ou falso equivale a \(p\).
Dominação (∧ com F)	\(p \land \text{F} \equiv \text{F}\)	Se uma parte é falsa, a conjunção é falsa.
Dominação (∨ com V)	\(p \lor \text{V} \equiv \text{V}\)	Se uma parte é verdadeira, a disjunção é verdadeira.
Absorção (1)	\(p \land (p \lor q) \equiv p\)	\(p\) e (\(p\) ou \(q\)) equivale a \(p\).
Absorção (2)	\(p \lor (p \land q) \equiv p\)	\(p\) ou (\(p\) e \(q\)) equivale a \(p\).
Condicional	\(p \rightarrow q \equiv \neg p \lor q\)	"Se chove então levo guarda-chuva" ≡ "Não chove ou levo guarda-chuva".
Contrapositiva	\(p \rightarrow q \equiv \neg q \rightarrow \neg p\)	"Se chove então levo guarda-chuva" equivale a "Se não levo guarda-chuva então não chove".
Bicondicional	\(p \leftrightarrow q \equiv (p \rightarrow q) \land (q \rightarrow p)\)	"p se e somente se q" significa as duas condicionais.
Exportação	\((p \land q) \rightarrow r \equiv p \rightarrow (q \rightarrow r)\)	Útil em dedução natural.
Equivalência do XOR	\(p \oplus q \equiv (p \lor q) \land \neg(p \land q)\)	"ou exclusivo" (um ou outro, mas não ambos).

🧠 exemplos de aplicação

Exemplo 1: Simplifique \(\neg (p \land (q \lor \neg p))\).

Aplicando Leis de Morgan: \(\neg p \lor \neg(q \lor \neg p)\). Depois De Morgan novamente: \(\neg p \lor (\neg q \land p)\). Usando comutativa e absorção? Na verdade, podemos observar que \(\neg p \lor (\neg q \land p) \equiv (\neg p \lor \neg q) \land (\neg p \lor p)\) por distributiva. Como \(\neg p \lor p \equiv V\), resta \(\neg p \lor \neg q\). Portanto a expressão equivale a \(\neg(p \land q)\).

Exemplo 2: Mostre que \((p \rightarrow q) \land (p \rightarrow r) \equiv p \rightarrow (q \land r)\).

\((p \rightarrow q) \land (p \rightarrow r) \equiv (\neg p \lor q) \land (\neg p \lor r) \equiv \neg p \lor (q \land r)\) (distributiva) \(\equiv p \rightarrow (q \land r)\).

Exemplo 3: Negue a afirmação "Se estudo, então passo no concurso".

\(\neg (p \rightarrow q) \equiv p \land \neg q\). Portanto: "Estudo e não passo no concurso".

📊 verificando com tabela-verdade

Toda equivalência pode ser verificada construindo a tabela-verdade das duas expressões e conferindo se as colunas finais coincidem. Por exemplo, para \(p \rightarrow q\) e \(\neg p \lor q\):

\(p\)	\(q\)	\(p \rightarrow q\)	\(\neg p \lor q\)
V	V	V	V
V	F	F	F
F	V	V	V
F	F	V	V

As colunas são idênticas, confirmando a equivalência.

🌟 importância das equivalências

As equivalências lógicas são usadas para:

• Simplificar expressões booleanas em circuitos digitais.
• Reescrever proposições em formas normais (CNF, DNF).
• Realizar provas formais e deduções naturais.
• Otimizar consultas em bancos de dados e motores de busca.
• Desenvolver raciocínio crítico e clareza argumentativa.

\(\displaystyle \neg(p \land q) \equiv \neg p \lor \neg q\) \(\qquad\) \(\displaystyle p \rightarrow q \equiv \neg p \lor q\)

✦ “Conhecer equivalências é ter a chave para a simplificação.” ✦