Tabelas-verdade
Conectivos lógicos e construção de tabelas-verdade · resumo, macete e questões no estilo Fundação Carlos Chagas para concurso
Entenda Tabelas-verdade de um jeito simples
As tabelas-verdade são como um jogo de tabuleiro que nos ajuda a descobrir se uma frase grande e complicada – que chamamos de proposição composta – é verdadeira ou falsa. Imagine que você tem várias frases pequenas – as proposições simples – e você as junta usando algumas "palavrinhas mágicas" que chamamos de conectivos lógicos. Essas palavrinhas são como as regras do jogo: "e", "ou", "se...então...", "não", e "se e somente se". A tabela-verdade mostra todas as combinações possíveis de verdadeiro ou falso para as frases pequenas, e como isso afeta a frase grande no final.
Para que serve isso? É como um detetive que quer saber se uma história é verdadeira ou falsa. Se alguém diz "Se chover, então a rua vai molhar", a tabela-verdade nos ajuda a ver em que situações essa frase é verdadeira e em que situações ela é falsa. Por exemplo, se chove e a rua não molha, a frase original é falsa – é como se a pessoa tivesse mentido. Mas se não chove e a rua não molha, a frase ainda é verdadeira, porque a condição de chover não aconteceu. É como um contrato: se você cumpre sua parte, tudo bem; se não cumpre, a coisa muda.
Vamos aos "conectivos lógicos" – que são as palavrinhas mágicas que juntam as frases. O "não" (negação) é o mais fácil: se uma frase é verdadeira, o "não" a torna falsa, e vice-versa. É como virar a moeda. O "e" (conjunção) é bem exigente: a frase grande só é verdadeira se TODAS as frases pequenas ligadas pelo "e" forem verdadeiras. Pense em um time de futebol: para ganhar o jogo, todos os jogadores têm que jogar bem. Se um falha, o time não ganha. O "ou" (disjunção inclusiva) é mais tranquilo: a frase grande só é falsa se TODAS as frases pequenas forem falsas. É como escolher um doce: se você pode pegar chocolate OU bala, você fica feliz se pegar um, o outro, ou os dois. Só fica triste se não pegar nenhum.
Tem também o "ou...ou..." (disjunção exclusiva), que é como escolher entre sorvete OU bolo, mas não os dois. A frase só é verdadeira se você escolher UMA das opções, mas não ambas. Se escolher as duas ou nenhuma, é falsa. O "se...então..." (condicional) é como uma promessa: "Se você estudar, então passará de ano". Essa promessa só é falsa se você estudar (a primeira parte é verdadeira) e NÃO passar de ano (a segunda parte é falsa). Em todas as outras situações, a promessa é considerada verdadeira. Por fim, o "se e somente se" (bicondicional) é como um espelho: a frase grande só é verdadeira se as duas frases pequenas tiverem o MESMO valor – ou as duas são verdadeiras, ou as duas são falsas. Se uma for verdadeira e a outra falsa, a frase grande é falsa.
Para montar a tabela, você primeiro conta quantas frases pequenas diferentes tem. Se tiver 2 frases, a tabela terá 4 linhas (2 vezes 2). Se tiver 3 frases, terá 8 linhas (2 vezes 2 vezes 2). Depois, você preenche as colunas com todas as combinações de verdadeiro e falso para essas frases pequenas. E, por último, vai aplicando as regras de cada conectivo, passo a passo, até chegar ao resultado final da frase grande. É como montar um quebra-cabeça, peça por peça, seguindo as instruções. O "resumo da ópera" é que as tabelas-verdade são um jeito organizado de testar a verdade de frases complexas, usando regras simples para cada "palavrinha mágica" que as conecta, garantindo que a gente sempre chegue à resposta certa sobre o que é verdadeiro ou falso.
Como memorizar
CADA
- C — Conjunção (E): só é verdade se TUDO for verdade.
- A — Disjunção Inclusiva (OU): só é falso se TUDO for falso.
- D — Disjunção Exclusiva (OU...OU): só é verdade se os valores forem DIFERENTES.
- A — Condicional (SE...ENTÃO): só é falso se V -> F.
O assunto completo
As tabelas-verdade são ferramentas fundamentais no raciocínio lógico, utilizadas para determinar o valor lógico (verdadeiro ou falso) de uma proposição composta a partir dos valores lógicos de suas proposições simples e dos conectivos que as unem. Uma proposição é uma sentença declarativa que pode ser julgada como verdadeira (V) ou falsa (F), mas nunca ambas simultaneamente. O objetivo principal das tabelas-verdade é analisar a validade de argumentos e a equivalência lógica entre proposições, sendo indispensáveis para a compreensão da lógica proposicional. Elas servem como um mapa que mostra todas as combinações possíveis de valores-verdade para as proposições envolvidas, revelando o comportamento lógico da expressão como um todo. A construção dessas tabelas segue regras específicas para cada conectivo lógico, garantindo a consistência e a universalidade dos resultados.
O fundamento normativo, embora não se trate de uma lei jurídica, reside nos princípios da lógica clássica, especialmente o princípio do terceiro excluído (uma proposição é V ou F, não há terceira opção) e o princípio da não contradição (uma proposição não pode ser V e F ao mesmo tempo). Os conectivos lógicos são os operadores que ligam as proposições simples, formando as proposições compostas. São eles: negação (¬, "não"), conjunção (∧, "e"), disjunção inclusiva (∨, "ou"), disjunção exclusiva (⊻ ou ⊕, "ou...ou..."), condicional (→, "se...então...") e bicondicional (↔, "se e somente se"). Cada um possui uma tabela-verdade característica que define seu comportamento lógico, sendo crucial memorizá-las para a construção de tabelas mais complexas. A ordem de precedência dos conectivos, quando não há parênteses, é: negação, conjunção/disjunção, condicional/bicondicional.
A aula inteira tem cerca de 1000 palavras. Continue lendo dentro da PersisteIA, com palavras-chave coloridas, marca-texto e leitura em voz alta.
Tabelas-Verdade
- Conjunção (E): V se tudo V
- Disjunção Inclusiva (OU): F se tudo F
- Disjunção Exclusiva (OU...OU): V se diferentes
- Condicional (SE...ENTÃO): F se V -> F
- Bicondicional (SE E SOMENTE SE): V se iguais
- Inverte o valor lógico
- Não P (¬P)
- Se P é V, ¬P é F
- Se P é F, ¬P é V
- Afeta apenas uma proposição
- Fórmula: 2^n
- n = número de proposições
- 2 proposições: 4 linhas
- 3 proposições: 8 linhas
- 4 proposições: 16 linhas
- Tautologia: sempre V
- Contradição: sempre F
- Contingência: V e F
- Depende do resultado final
- Coluna da proposição composta
- Listar proposições simples
- Definir valores V/F (2^n)
- Aplicar conectivos internos
- Aplicar conectivos externos
- Obter valor final
- Mesma tabela-verdade
- Mesmos valores finais
- Importante para simplificação
- Ex: P -> Q é ¬P v Q
- Ex: ¬(P ^ Q) é ¬P v ¬Q
Pegadinhas que a banca explora
- Confundir disjunção inclusiva com exclusiva: o 'ou' do dia a dia nem sempre é o 'ou' lógico.
- Erro na condicional: a única forma de ser falso é V -> F (Vera Fischer é falsa).
- Cálculo do número de linhas: esquecer que é 2 elevado ao número de proposições simples.
Questões de Certo ou Errado no estilo Fundação Carlos Chagas
Julgue o item antes de abrir o gabarito.
1. A tabela-verdade de uma proposição composta com três proposições simples distintas (p, q, r) terá exatamente 6 linhas.Ver gabarito
2. A conjunção (p AND q) é verdadeira se, e somente se, ambas as proposições p e q forem verdadeiras.Ver gabarito
3. A disjunção inclusiva (p OR q) é falsa apenas quando ambas as proposições p e q são falsas.Ver gabarito
4. Na condicional (p -> q), se a proposição p (antecedente) for falsa, a condicional será sempre verdadeira, independentemente do valor lógico de q (consequente).Ver gabarito
5. A bicondicional (p <-> q) é verdadeira quando p e q possuem valores lógicos diferentes.Ver gabarito
O que mais vem neste assunto
- 🎧 Podcast em duas vozes
- 🎵 Música do assunto
- 🃏 Flashcards com revisão espaçada
- ✍️ Questões de múltipla escolha
- 🎬 Cinema Mental
- 🗣️ Explicação em voz alta corrigida pela IA
- 📅 Cronograma até a prova
- 💬 Persi, o tira-dúvidas