Tabelas verdade e lógica matemática

Tabelas verdade e lógica matemática

A Lógica Matemática é o campo da matemática que estuda o raciocínio válido e as inferências corretas, sendo fundamental para a compreensão de argumentos e sistemas de computação. Uma de suas ferramentas mais importantes são as tabelas verdade, que permitem analisar e verificar a veracidade de proposições complexas.

As tabelas verdade são utilizadas para determinar o valor lógico (verdadeiro ou falso) de uma proposição composta, com base nos valores lógicos de suas proposições simples. Elas são essenciais no pensamento computacional, pois refletem o funcionamento dos circuitos lógicos e das condições em programação.

Compreender e construir tabelas verdade é uma habilidade crucial para estudantes do Ensino Médio e vestibulandos, especialmente para o ENEM, onde questões de lógica costumam aparecer na prova de Matemática e suas Tecnologias.

O que são Proposições?

Na lógica matemática, uma proposição é uma sentença declarativa que pode ser classificada unicamente como verdadeira (V) ou falsa (F), mas nunca ambas. Sentenças interrogativas, exclamativas ou imperativas não são proposições.

Exemplos de proposições:

• O Brasil é um país da América do Sul. (V)
• 2 + 2 = 5. (F)
• Todo número par é divisível por 2. (V)

Conectivos Lógicos

Os conectivos lógicos são operadores que unem proposições simples para formar proposições compostas. Cada conectivo possui uma regra específica para determinar o valor lógico da proposição composta.

1. Conjunção (E / AND)

Representada pelo símbolo ∧ ou E, é verdadeira apenas se ambas as proposições simples forem verdadeiras.

Exemplo: “Está chovendo e está frio.” Para essa proposição ser verdadeira, precisa estar chovendo E estar frio ao mesmo tempo.

2. Disjunção Inclusiva (OU / OR)

Representada pelo símbolo ∨ ou OU, é falsa apenas se ambas as proposições simples forem falsas.

Exemplo: “Vou estudar português ou matemática.” Essa proposição é verdadeira se eu estudar português, ou se eu estudar matemática, ou se eu estudar as duas matérias.

3. Negação (NÃO / NOT)

Representada pelo símbolo ¬ ou NÃO, inverte o valor lógico da proposição.

Exemplo: “Não está chovendo.” Se a proposição “Está chovendo” é verdadeira, então sua negação é falsa.

4. Condicional (SE… ENTÃO… / IF… THEN…)

Representada pelo símbolo → ou SE... ENTÃO..., é falsa apenas quando a primeira proposição (antecedente) é verdadeira e a segunda (consequente) é falsa.

Exemplo: “Se chover, então levarei o guarda-chuva.” A única situação em que esta promessa é “quebrada” (falsa) é se chover (P é V) e eu não levar o guarda-chuva (Q é F).

5. Bicondicional (SE SOMENTE SE / IF AND ONLY IF)

Representada pelo símbolo ↔ ou SE SOMENTE SE, é verdadeira quando as duas proposições têm o mesmo valor lógico.

Exemplo: “Viajo se e somente se eu tiver dinheiro.” Isso significa que viajar e ter dinheiro são condições equivalentes. Se eu viajo, tenho dinheiro; se eu tenho dinheiro, viajo.

Como Construir Tabelas Verdade

Para construir uma tabela verdade para uma proposição composta, siga os passos:

1. Identifique as proposições simples: Determine quantas proposições simples (P, Q, R, etc.) compõem a proposição complexa.
2. Determine o número de linhas: O número de linhas da tabela será 2ⁿ, onde n é o número de proposições simples. Por exemplo, se há 2 proposições (P, Q), haverá 2² = 4 linhas. Se há 3 proposições (P, Q, R), haverá 2³ = 8 linhas.
3. Crie as colunas para as proposições simples: Preencha os valores lógicos de forma sistemática para cobrir todas as combinações possíveis. Uma forma comum é alternar V e F na última coluna, VVFF na penúltima, VVVVFFFF na antepenúltima e assim por diante.
4. Crie colunas para as operações intermediárias: Se a proposição composta for complexa, resolva-a passo a passo, criando colunas para cada conectivo ou parte da expressão.
5. Crie a coluna final: Preencha a última coluna com os valores lógicos da proposição composta completa.

Exemplo de construção: Construir a tabela verdade para (P ∧ Q) → ¬P.

1. Proposições Simples: P, Q (2 proposições)

2. Número de linhas: 2² = 4

3. Colunas para P e Q:

4. Operações Intermediárias:

Primeiro, a negação de P (¬P):

Em seguida, a conjunção de P e Q (P ∧ Q):

5. Coluna Final (Condicional):

Agora, construímos a condicional (P ∧ Q) → ¬P. Lembre-se que o condicional é falso apenas quando (V → F).

Classificação de Proposições

Com base na tabela verdade de uma proposição composta, podemos classificá-la como:

• Tautologia: Uma proposição que é sempre verdadeira, independentemente do valor lógico das proposições simples. A última coluna da tabela verdade contém apenas “Vs”.
• Contradição: Uma proposição que é sempre falsa, independentemente do valor lógico das proposições simples. A última coluna da tabela verdade contém apenas “Fs”.
• Contingência: Uma proposição que não é nem tautologia nem contradição, ou seja, seus valores lógicos na última coluna variam entre verdadeiro e falso.

Aplicações da Lógica Matemática e Tabelas Verdade

As tabelas verdade e a lógica matemática têm uma vasta gama de aplicações, especialmente nas áreas de Matemática e suas Tecnologias:

• Ciência da Computação: Fundamento para o projeto de circuitos digitais, programação (condições if/else, loops), banco de dados e inteligência artificial.
• Direito: Análise da validade de argumentos e leis.
• Filosofia: Estudo do raciocínio e da argumentação.
• Matemática: Prova de teoremas, resolução de problemas de lógica, teoria dos conjuntos.
• Raciocínio Lógico em Concursos: Questões que exigem a avaliação da validade de inferências.

Exercícios com Gabarito

1. (ENEM-2021 Adaptado)
Considere as seguintes proposições:
P: “João estuda para a prova.”
Q: “João passa de ano.”

Qual das tabelas verdade a seguir representa a proposição “Se João estuda para a prova, então João passa de ano”?

• a)

P	Q	P → Q
V	V	V
V	F	F
F	V	F
F	F	V

• b)

P	Q	P → Q
V	V	V
V	F	F
F	V	V
F	F	V

• c)

P	Q	P → Q
V	V	F
V	F	V
F	V	V
F	F	V

• d)

P	Q	P → Q
V	V	V
V	F	V
F	V	F
F	F	V

• e)

P	Q	P → Q
V	V	V
V	F	F
F	V	V
F	F	F

Resposta: Alternativa b: A proposição “Se João estuda para a prova, então João passa de ano” é uma condicional (P → Q). A única situação em que uma condicional é falsa é quando o antecedente (P) é verdadeiro e o consequente (Q) é falso. Nenhuma das outras alternativas corresponde à definição do conectivo condicional.

2. (VUNESP-2018 Adaptado)
A negação da proposição “O céu é azul e o sol está brilhando” é:

• a) O céu não é azul e o sol não está brilhando.
• b) O céu é azul ou o sol não está brilhando.
• c) O céu não é azul ou o sol não está brilhando.
• d) Se o céu é azul, então o sol não está brilhando.
• e) O céu não é azul se e somente se o sol não está brilhando.

Resposta: Alternativa c: A proposição original é uma conjunção: P ∧ Q (“O céu é azul” ∧ “o sol está brilhando”). A negação de uma conjunção ¬(P ∧ Q) é equivalente a ¬P ∨ ¬Q, de acordo com as Leis de De Morgan. Portanto, a negação de “O céu é azul e o sol está brilhando” é “O céu não é azul ou o sol não está brilhando”.