De acordo com Mortari (2006), as condições de uma lógica cujo valor lógico não pode ser determinado apenas se análise lógica, ou seja, é necessário empregar a observação empírica. Posto isto, é dito que a contradição faz parte da formulação de mundo, ou seja, reflete melhor o mundo real. Considerando a seguinte Tabela Verdade: | p | q | ¬p | ¬q | p ∧ q | p ∨ q | ¬(p ∧ q) | |---|---|---|---|---|---|---| | V | V | F | F | V | V | F | | V | F | F | V | F | V | V | | F | V | V | F | F | V | V | | F | F | V | V | F | F | V | Assinale a alternativa que contenha a construção correta da Tabela Verdade:

Alternativa B

Justificativa Didática:

Para resolver esta questão de Lógica Proposicional, o objetivo é identificar qual das alternativas corresponde corretamente à construção da Tabela Verdade solicitada no enunciado.

1. Análise dos Cabeçalhos (Colunas):

• O enunciado apresenta um modelo de tabela em branco com os seguintes cabeçalhos na ordem: x=z, x=y, x≠z, (x≠y), →, xz3.
• Para encontrar a resposta correta, devemos procurar a alternativa que possui exatamente essa mesma sequência de operações e variáveis nos cabeçalhos.

1. Comparação com as Opções:

• Alternativa A: Começa com x≠z. (Incorreto, pois a tabela pede x=z primeiro).
• Alternativa B: Começa com x=z, seguido de x=y, depois x≠z. Esta sequência coincide perfeitamente com a estrutura apresentada no quadro do enunciado.
• Alternativas C, D e E: Possuem cabeçalhos diferentes (como x≠z no início ou símbolos distintos como x≤z).

1. Validação Lógica (Resumo):

• Embora a leitura exata dos valores dentro da tabela seja complexa devido à resolução da imagem, a estrutura externa (cabeçalhos) é o critério definitivo para distinguir as opções neste formato de questão.
• A Alternativa B é a única que respeita a ordem das colunas proposta pela instrução ("Construa a seguinte Tabela Verdade").

Portanto, a construção correta da tabela segue a estrutura apresentada na opção B.