Lógica proposicional
2 min de leitura10 questões
Para revisar
Resumo
Proposição. Sentença declarativa à qual se atribui um único valor: verdadeiro ou falso.
Conjunção (p ∧ q). Verdadeira só se ambas forem verdadeiras.
Disjunção (p ∨ q). Falsa só se ambas forem falsas.
Condicional (p → q). Falsa só no caso V → F.
Bicondicional (p ↔ q). Verdadeira quando os valores são iguais.
Negações. ~(p ∧ q) = ~p ∨ ~q. ~(p ∨ q) = ~p ∧ ~q. ~(p → q) = p ∧ ~q.
Equivalências da condicional. p → q equivale a ~q → ~p e a ~p ∨ q.
Tabela-verdade. Com n proposições simples, tem 2^n linhas.
Como usar na prova. Quando o enunciado afirma que uma condicional é falsa, os valores ficam determinados: a primeira parte é verdadeira e a segunda é falsa. Na negação, identifique primeiro o conectivo principal e só depois aplique a regra correspondente a ele.
Visão geral
| p | q | p ∧ q | p ∨ q | p → q | p ↔ q |
|---|---|---|---|---|---|
| V | V | V | V | V | V |
| V | F | F | V | F | F |
| F | V | F | V | V | F |
| F | F | F | F | V | V |
Regra
Ver íntegra
Negar condicional: mantém a primeira, nega a segunda, troca por "e".
Pontos-chave
- Condicional só falha em V → F.
- De Morgan troca "e" por "ou".
- Contrapositiva inverte e nega as duas partes.
Como a Cesgranrio cobra
Exemplos autorais, no formato da banca.
- "A negação de 'Se chove, molha' é 'Se não chove, não molha'." → errada: é "Chove e não molha".
- "Com três proposições, a tabela tem 8 linhas." → correta.
Referência
Fontes consultadas (1)
Mapa mental
Conectivos
- E: só V e V
- Ou: falso só F e F
- ⚠️ Se-então: falso só V e F
- Bicondicional: valores iguais
Negações
- Não (e) vira ou
- Não (ou) vira e
- Não (se-então): p e não q
Equivalências
- Contrapositiva
- Não p ou q
Tabela
- 2^n linhas
Questão 1, Múltipla escolha
A condicional p → q é falsa somente quando:
- A)
p e q são verdadeiras
- B)
p e q são falsas
- C)
p é falsa e q é verdadeira
- D)
p é verdadeira e q é falsa
- E)
q é verdadeira
Revelar gabarito
Gabarito: letra D
A condicional afirma que, se p ocorrer, q também ocorre; ela só é quebrada no caso V → F, com p verdadeira e q falsa. Ter p falsa e q verdadeira não invalida a promessa, e a condicional continua verdadeira.
- A)
Questão 2, Múltipla escolha
A negação de "Se chove, então a rua molha" é:
- A)
Se não chove, a rua não molha
- B)
Chove e a rua não molha
- C)
Não chove e a rua molha
- D)
Não chove ou a rua molha
- E)
Se a rua molha, então chove
Revelar gabarito
Gabarito: letra B
Para negar a condicional, mantém-se a primeira parte, nega-se a segunda e usa-se e: ~(p → q) = p ∧ ~q, resultando em chove e a rua não molha. Negar as duas partes, mantendo o se, é o erro clássico.
- A)
Questão 3, Múltipla escolha
A negação de "Ana estuda e Bia trabalha" é:
- A)
Ana não estuda e Bia não trabalha
- B)
Ana estuda ou Bia trabalha
- C)
Ana não estuda ou Bia não trabalha
- D)
Se Ana estuda, Bia trabalha
- E)
Ana estuda e Bia não trabalha
Revelar gabarito
Gabarito: letra C
Pela lei de De Morgan, ~(p ∧ q) = ~p ∨ ~q: nega-se cada parte e troca-se e por ou. A opção com e nas duas negações é a mais tentadora, mas esquece a troca do conectivo.
- A)
Questão 4, Múltipla escolha
A proposição p → q é logicamente equivalente a:
- A)
q → p
- B)
~p → ~q
- C)
p ∧ ~q
- D)
~q → ~p
- E)
p ∨ q
Revelar gabarito
Gabarito: letra D
A contrapositiva ~q → ~p tem exatamente os mesmos valores lógicos de p → q. A forma q → p é a distratora mais tentadora, porém apenas inverte a condicional e pode mudar seu valor em alguns casos da tabela.
- A)
Questão 5, Múltipla escolha
Sabendo que a proposição p → q é falsa, é necessariamente verdadeira:
- A)
~p
- B)
q
- C)
p ∧ q
- D)
p ↔ q
- E)
~q
Revelar gabarito
Gabarito: letra E
Condicional falsa ocorre só com p verdadeira e q falsa; se q é falsa, então ~q é necessariamente verdadeira. A opção ~p é armadilha, pois, com p verdadeira, sua negação seria falsa.
- A)
- Revelar resposta
Quando p → q é falsa
Somente em V → F.
- Revelar resposta
Negação da condicional
p e não q.
- Revelar resposta
Negação da conjunção
~p ou ~q.
- Revelar resposta
Contrapositiva
p → q equivale a ~q → ~p.
- Revelar resposta
Se p → q é falsa
p é verdadeira e q é falsa.
Estude Banco do Brasil no app
Grátis, sem cartão