Matemática

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

pqp ∧ qp ∨ qp → qp ↔ q
VVVVVV
VFFVFF
FVFVVF
FFFFVV

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

Estude Banco do Brasil no app

Grátis, sem cartão

Começar, é grátis

Estude este tópico no app

Grátis, sem cartão. Tudo do PRO liberado.

Criar conta grátis