1. O que é Lógica Proposicional?
A Lógica Proposicional — também chamada de Lógica Sentencial ou Lógica Clássica — é o ramo da lógica que estuda as relações entre proposições, ou seja, declarações que podem ser classificadas como verdadeiras ou falsas. Ela fornece ferramentas formais para analisar argumentos, identificar conclusões corretas e resolver problemas de raciocínio.
Para os concursos públicos, a lógica proposicional é fundamental porque treina a capacidade de analisar enunciados com precisão, evitando ambiguidades e armadilhas que as bancas adoram criar. Quem domina essa ferramenta lê os enunciados das questões de forma diferente — mais crítica e mais segura.
📖 Definição Formal: Lógica Proposicional é o sistema formal que estuda as proposições e as relações lógicas entre elas por meio de conectivos (e, ou, se…então, se e somente se, não), determinando quando uma proposição composta é verdadeira ou falsa com base nos valores de suas partes simples.
2. O que é uma Proposição?
Uma proposição é qualquer sentença declarativa que seja possível classificar como verdadeira (V) ou falsa (F), mas nunca as duas ao mesmo tempo. Esse princípio fundamenta-se em dois pilares da lógica clássica:
- Princípio da Não Contradição: uma proposição não pode ser verdadeira e falsa ao mesmo tempo.
- Princípio do Terceiro Excluído: toda proposição é verdadeira ou falsa; não existe uma terceira opção.
- Princípio da Identidade: toda proposição é idêntica a si mesma — “P é P”.
O que É uma Proposição
O que NÃO É uma Proposição
⚠️ Pegadinha de Prova: Frases com pronomes indefinidos (ele, ela, aquele) sem referente claro não são proposições, pois não é possível determinar seu valor lógico. Bancas costumam usar isso como armadilha!
Proposições Simples vs. Compostas
As proposições se dividem em dois grandes grupos:
- Proposições Simples (atômicas): formadas por uma única ideia, sem conectivos lógicos. São representadas por letras minúsculas: p, q, r, s…
Exemplo: “O candidato estudou muito.” - Proposições Compostas (moleculares): formadas pela união de duas ou mais proposições simples por meio de conectivos lógicos.
Exemplo: “O candidato estudou muito e foi aprovado.”
3. Os 5 Conectivos Lógicos Essenciais – Lógica Proposicional
Os conectivos lógicos são os “operadores” que combinam proposições simples para formar proposições compostas. Conhecer todos eles é obrigatório para as provas.
| Conectivo | Nome Técnico | Símbolo | Expressão em PT-BR |
|---|---|---|---|
| Negação | NÃO | ¬p / ~p | Não é verdade que… / É falso que… |
| Conjunção | E | p ∧ q | e, mas, porém, todavia, embora |
| Disjunção Inclusiva | OU (inclusivo) | p ∨ q | ou, e/ou, pelo menos um |
| Disjunção Exclusiva | OU (exclusivo) | p ⊕ q | ou…ou (mas não os dois) |
| Condicional | SE…ENTÃO | p → q | se…então, logo, implica, desde que |
| Bicondicional | SE E SOMENTE SE | p ↔ q | se e somente se, é necessário e suficiente |
💡 Dica de Ouro: Para as bancas, palavras como “mas”, “porém”, “entretanto”, “contudo”, “todavia” funcionam logicamente como CONJUNÇÃO (∧). Já palavras como “logo”, “portanto”, “assim”, “desde que”, “caso” funcionam como CONDICIONAL (→). Fique atento ao enunciado!
4. Negação (¬p): Invertendo o Valor Lógico
A negação é o conectivo mais simples: ela transforma uma proposição verdadeira em falsa, e uma falsa em verdadeira.
Tabela-Verdade da Negação:
| p | ¬p |
|---|---|
| V | F |
| F | V |
⚠️ Atenção — Negações em Linguagem Natural:
Negar ≠ usar a palavra “não”! A negação lógica exige inversão completa do sentido:
- “Todo servidor é honesto” → negação: “Existe pelo menos um servidor que não é honesto”
- “Nenhum aluno passou” → negação: “Pelo menos um aluno passou”
- “Algum candidato estudou” → negação: “Nenhum candidato estudou”
5. Conjunção (p ∧ q): o “E” Lógico
A conjunção une duas proposições com o conectivo “e”. Uma conjunção é verdadeira somente quando ambas as proposições são verdadeiras. Basta uma ser falsa para a conjunção toda ser falsa.
🧠 Como memorizar:
- V ∧ V = VERDADEIRO — as duas são verdadeiras ✓
- V ∧ F = FALSO — a segunda falha ✗
- F ∧ V = FALSO — a primeira falha ✗
- F ∧ F = FALSO — as duas falham ✗
Tabela-Verdade da Conjunção:
| p | q | p ∧ q |
|---|---|---|
| V | V | V |
| V | F | F |
| F | V | F |
| F | F | F |
6. Disjunção (p ∨ q): o “OU” Lógico
A disjunção usa o conectivo “ou”. Na lógica clássica, o “ou” é inclusivo: a disjunção é verdadeira quando pelo menos uma das proposições é verdadeira — inclusive quando as duas são verdadeiras. Ela só é falsa quando as duas partes são falsas.
Tabela-Verdade da Disjunção Inclusiva:
| p | q | p ∨ q |
|---|---|---|
| V | V | V |
| V | F | V |
| F | V | V |
| F | F | F |
💡 Disjunção Exclusiva (⊕): Na disjunção exclusiva, a proposição é verdadeira apenas quando exatamente uma das partes é verdadeira — nunca quando as duas são verdadeiras simultaneamente. Em provas, o enunciado costuma usar “ou…ou” para indicar esse caso.
7. Condicional (p → q): o “Se…Então”
O condicional é o conectivo mais cobrado e mais temido nos concursos. Ele representa uma relação de implicação: “Se p, então q”. Aqui, p é chamado de antecedente e q é o consequente.
Regra de ouro: o condicional é falso somente quando o antecedente é verdadeiro e o consequente é falso. Nas demais combinações, é verdadeiro.
🧠 O segredo do Condicional: só mente quem promete e não cumpre:
- V → V = VERDADEIRO — prometeu e cumpriu ✓
- V → F = FALSO — prometeu e NÃO cumpriu ✗ (único caso falso!)
- F → V = VERDADEIRO — não prometeu, mas fez mesmo assim ✓
- F → F = VERDADEIRO — não prometeu e não fez, coerente ✓
Tabela-Verdade do Condicional:
| p | q | p → q |
|---|---|---|
| V | V | V |
| V | F | F |
| F | V | V |
| F | F | V |
Proposições Derivadas do Condicional
De uma condicional p → q, derivam-se três proposições que as bancas adoram cobrar:
| Nome | Forma | Equivalente a p → q? |
|---|---|---|
| Recíproca | q → p | ❌ Não é equivalente |
| Contrária | ¬p → ¬q | ❌ Não é equivalente |
| Contrapositiva | ¬q → ¬p | ✅ SIM! É equivalente |
⭐ Ponto mais cobrado em prova: A contrapositiva (¬q → ¬p) é logicamente equivalente ao condicional original (p → q). Se “Se chove, então a rua molha” é verdade, então “Se a rua não está molhada, então não choveu” também é verdade.
8. Bicondicional (p ↔ q): o “Se e Somente Se”
O bicondicional equivale a p → q e q → p ao mesmo tempo. É verdadeiro quando as duas proposições têm o mesmo valor lógico (ambas V ou ambas F).
Tabela-Verdade do Bicondicional:
| p | q | p ↔ q |
|---|---|---|
| V | V | V |
| V | F | F |
| F | V | F |
| F | F | V |
9. Como Construir Qualquer Tabela-Verdade – Lógica Proposicional
A Tabela-Verdade lista todos os possíveis valores lógicos de uma proposição composta.
Fórmula para o número de linhas
O número de linhas é dado por 2ⁿ, onde n é o número de proposições simples distintas:
- 1 proposição → 2¹ = 2 linhas
- 2 proposições → 2² = 4 linhas
- 3 proposições → 2³ = 8 linhas
- 4 proposições → 2⁴ = 16 linhas
Exemplo Completo: p ∧ (q → r)
Com 3 proposições simples (p, q, r), temos 8 linhas:
| p | q | r | q → r | p ∧ (q → r) |
|---|---|---|---|---|
| V | V | V | V | V |
| V | V | F | F | F |
| V | F | V | V | V |
| V | F | F | V | V |
| F | V | V | V | F |
| F | V | F | F | F |
| F | F | V | V | F |
| F | F | F | V | F |
10. Tautologia, Contradição e Contingência
Ao analisar a coluna de resultado de uma tabela-verdade, classificamos a proposição em três categorias:
- Tautologia: proposição composta sempre verdadeira, independentemente dos valores das partes. Exemplo: p ∨ ¬p (sempre V).
- Contradição (Absurdo): proposição composta sempre falsa em todas as combinações. Exemplo: p ∧ ¬p (sempre F).
- Contingência: proposição que assume valores ora verdadeiros, ora falsos dependendo dos valores das partes. É o caso mais comum em provas.
⭐ Dica de Banca: Quando a banca pergunta se dois enunciados são “logicamente equivalentes”, ela quer saber se o bicondicional (p ↔ q) formado por eles é uma tautologia. Se sim, os enunciados têm sempre o mesmo valor lógico.
11. Exercícios Comentados no Estilo Concurso – Lógica Proposicional
Questão 1 — (Estilo CESPE)
A sentença “Todos os servidores públicos são eficientes” é uma proposição. Qual é sua negação correta?
✅ Resposta: “Existe pelo menos um servidor público que não é eficiente.”
A negação de “Todo A é B” é “Existe pelo menos um A que não é B” — não confundir com “Nenhum servidor é eficiente”!
Questão 2 — (Estilo FCC)
Dadas p: “Ana passou no concurso” (V) e q: “Ana foi nomeada” (F), qual é o valor lógico de (p ∧ ¬q)?
✅ Resposta: VERDADEIRO.
¬q = ¬(F) = V → p ∧ ¬q = V ∧ V = V
Questão 3 — (Estilo VUNESP)
“Se o candidato estudar, então será aprovado.” Qual proposição é equivalente a esta?
✅ Resposta: A contrapositiva — “Se o candidato não foi aprovado, então não estudou.” (¬q → ¬p).
A recíproca (q → p) e a contrária (¬p → ¬q) não são equivalentes ao original.
Questão 4 — (Estilo CEBRASPE)
O condicional “Se p, então q” é falso somente quando:
✅ Resposta: quando p é VERDADEIRO e q é FALSO. Nas demais combinações (VV, FV, FF), o condicional é sempre verdadeiro.
Questão 5
Uma proposição composta é verdadeira em todas as linhas de sua tabela-verdade. Como ela se classifica?
✅ Resposta: Tautologia. Se fosse falsa em todas as linhas = contradição. Se tivesse resultados mistos = contingência.
12. Resumo Final: Lógica Proposicional
Antes de fazer sua prova, certifique-se de que você sabe:
- ✔ Identificar o que é e o que não é proposição
- ✔ Distinguir proposições simples de compostas
- ✔ Reconhecer os 5 conectivos em linguagem natural
- ✔ Negar proposições simples, quantificadas e compostas corretamente
- ✔ Montar tabelas-verdade com 2 e 3 variáveis
- ✔ Lembrar que o condicional só é FALSO quando V → F
- ✔ Saber que a contrapositiva é equivalente ao condicional original
- ✔ Classificar proposições: tautologia, contradição ou contingência
- ✔ Resolver questões com valores lógicos atribuídos
A Lógica Proposicional pode parecer abstrata à primeira vista, mas com prática ela se torna uma das partes mais mecânicas e seguras da prova. Cada conceito aqui apresentado — das proposições simples até as tabelas-verdade completas — é exatamente o que as principais bancas do Brasil cobram. Estude, resolva exercícios e confie no processo!