Lógica Proposicional

A Lógica Proposicional é o esqueleto do pensamento estruturado. Para concursos, ela não é sobre "o que você acha", mas sobre regras de manipulação de símbolos. As bancas (FGV, Cebraspe, FCC) não querem saber se a frase é bonita, mas se você sabe aplicar a "receita de bolo" das tabelas-verdade e das equivalências.

1. 📚 Conceito: Proposições e Conectivos

Tudo começa aqui. Se você não identifica a proposição, você não monta a estrutura.

1.1 O que é Proposição?

É uma sentença declarativa (afirma algo) que pode ser classificada como Veradeira (V) ou Falsa (F), mas nunca ambas ao mesmo tempo.

⚠️ Atenção: Sentenças exclamativas (!), interrogativas (?), imperativas (ordens) e sentenças abertas (ex: "x + 5 = 10" — quem é x?) NÃO são proposições para a prova.

1.2 Os "Operadores" (Conectivos)

As bancas amam trocar o nome dos conectivos. :

  • "E" (∧) é a Conjunção.
  • "OU" (∨) é a Disjunção Inclusiva.
  • "OU... OU" (⊻) é a Disjunção Exclusiva.
  • "SE... ENTÃO" (→) é a então Condicional.
  • "SE E SOMENTE SE (↔) é a Bicondicional.

2. 👨‍🏫Tabelas-Verdade e Estratégias de Resolução

A tabela verdade é uma ferramenta do raciocínio lógico que mapeia todas as combinações possíveis de valores (Verdadeiro ou Falso) de proposições, permitindo definir o valor lógico final de sentenças compostas. Ela é fundamental para analisar a validade de argumentos utilizando conectivos lógicos (e, ou, se...então, etc.)

2.1 Quantas linhas tem a tabela?

Regra rápida: 2n, onde n é o número de proposições simples.

  • Se tenho P e Q: 22, = 4 linhas.
  • Se tenho P, Q e R: 23 = 8 linhas.

2.2 Estratégia de Montagem Rápida

Não perca tempo desenhando tabelas gigantes se a questão der o valor de uma das partes.

💡 Técnica do "Chute Controlado": Se a questão diz que a proposição composta é Falsa e o conectivo principal é um "Se... então" (→), você já sabe de imediato que a primeira parte é V e a segunda é F. Comece por onde a regra é mais restrita.

3. 🦉 Proposição Falsa, Equivalente e Negação

Proposições falsas são sentenças objetivas com valor lógico "F". Negação inverte o valor de V para F (ou vice-versa), enquanto equivalência mantém o mesmo valor lógico entre frases diferentes. Em concursos, cobra-se a substituição de conectivos e a "negação da negação", frequentemente focando em "Se... então" e quantificadores. O segredo para resolver rápido esse tipo de questão é dar uma "personalidade" para cada conectivo.

3.1. O "E" (∧) - O Exigente

Imagine o "E" como um chefe perfeccionista. Para ele, tudo tem que estar certo.

  • Verdadeiro se: Tudo for verdade (V e V = V).
  • Falso se: Tiver pelo menos um erro (F).
  • Negação: Nega os dois e troca o conectivo "e" pelo "OU" (~P ∨ ~Q).
  • Equivalência: Raramente cobrada, mas é apenas a inversão (P ∧ Q é o mesmo que Q ∧ P).

3.2. O "OU" (∨) - O "Good Vibes"

O "OU" é o amigo tranquilo. 

  • Verdadeira: Se tiver pelo menos uma verdadeira.
  • Falso se: Tudo for falso (F ou F = F). Basta uma verdade para ele ser feliz.
  • Negação: Nega os dois e troca o conectivo "ou" pelo "E" (~P ∧ ~Q).
  • Equivalência: Nega o primeiro e condiciona o segundo (~P → Q).

3.3. O "SE... ENTÃO" (↔) - A Promessa (O Rei das Provas)

Pense em uma promessa política: "Se eu for eleito (P), então farei a obra (Q)".

  • Falso se: Primeiro verdadeiro, segundo falso (V → F). O político foi eleito (V), mas não fez a obra (F). Ele mentiu!
  • Negação: Regra do Marido Fiel. Mantém a primeira E Nega a segunda (P ∧ ~Q). 
    • Dica: Você nunca nega um "Se" com outro "Se".
  • Equivalências (As duas que caem):
    • Contrapositiva: "Inverte e Nega". (~Q → ~P).
    • NeOuMa: Nega a primeira, troca o conectivo pelo Ou e Mantém a segunda. (~P ∨ Q).

3.4. O "OU... OU" (⊻) - O Divórcio

Eles não podem ficar juntos. É um ou outro.

  • Verdadeiro se: Forem Diferentes (V, F ou F, V).
  • Falso se: Forem Iguais (V, V ou F, F).
  • Negação: Troque pelo "SE E SOMENTE SE" (↔).
  • Equivalência: É o "Se e somente se" com uma das partes negada.

3.5. O "SE E SOMENTE SE" (↔) - O Casamento Leal

Eles têm que estar no mesmo barco, para o bem ou para o mal.

  • Verdadeiro se: Forem Iguais (V, V ou F, F).
  • Falso se: Forem Diferentes.
  • Negação: Troque pelo "Ou... ou" (Disjunção Exclusiva).
  • Equivalência: (P → Q) ∧ (Q → P).

A Matriz de Resposta Rápida (Para colar na mente)


CONECTIVO FALSO SE NEGA SE EQUIVALE A
E (∧) Tem um F (P ∨ Q) (Q ∨ P)
OU (∨) Tudo F (P ∧ Q) (~P → Q)
SE... ENTÃO (→) (V→ F) (P ∧ ~Q) (~Q → ~P / ~P ∨ Q)
OU... OU (⊻) (iguais) (P ↔ Q) (Nega uma ↔)
SE E SOMENTE SE (↔) (diferentes) (P ⊻ Q) (P → Q) ∧ (Q → P)

✍️ Exemplo pratico: Dada a proposição: “Joana é engenheira ou bruno é analista”

  • Analise: Temos duas afirmações, ou seja duas proposições, a primeira é P (Joana é engenheira), e a segunda é Q (Bruno é analista). Estas proposições estão ligadas pelo conectivo OU (disjunção), então podemos escrever assim: P ∨ Q.

A partir dessa informação a banca pode pedir várias coisas, como o tipo de proposição, a quantidade de linhas da tabela verdade formada por essa proposição, ou ainda, o mais comum, identificar a negação, a falsa, ou a proposição equivalente. Para isso aplique o matriz acima:

  • Quer a Negação? Troca pelo E e nego tudo. -> "Joana NÃO é engenheira E Bruno NÃO é analista".
  • Quer a Equivalência? Nego a primeira e Troco pelo condicional -> "Se Joana NÃO é engenheira, então Bruno é analista".
  • Quer saber quando é Falsa? Quando as duas forem falsa -> "Joana não é engenheira e Bruno não é analista".

    💡 Dica de Prova: Modus Ponens e Modus Tollens são regras válidas de inferência lógica baseadas em uma condicional (P → Q). A diferença principal é que o Modus Ponens afirma o antecedente (P) para concluir o consequente (Q), enquanto o Modus Tollens nega o consequente (~Q) para concluir a negação do antecedente (~P)

    🏁 Resumo Final para Revisão Pré-Prova

    • Proposição: Só é o que se pode dizer que é V ou F. Ordens e perguntas estão fora.
    • Vera Fischer: V → F é a única forma do condicional ser Falso.
    • Negação do "Se... então": Mantém a 1ª E Nega a 2ª. (Mnemônico: Ma-Né).
    • Equivalência do "Se... então": Contrapositiva (Inverte e Nega) ou Regra do Neymar (Nega a 1ª ou Mantém a 2ª).
    • Leis de Morgan: Negar ∧ vira ∨ ; Negar ∨  vira ∧ (e nega os dois lados).
    • Tabela-Verdade: 2.
    • Argumento Válido: Premissas verdadeiras JAMAIS podem levar a uma conclusão falsa.
    • Bicondicional (↔): É uma via de mão dupla. Se um lado muda, o outro tem que mudar para continuar sendo Verdade.

    Exercícios de Fixação

    Questão 1 de 20

    Comentários

    Postar um comentário