Construa a tabela-verdade de cada uma das sentenças (b)
.
Passo 1
Beleza! Vamos montar a tabela-verdade para a sentença
. Aqui estamos trabalhando com lógica proposicional, especificamente com implicações e operações lógicas como “ou” (
) e “e” (
). Para resolver isso, vamos precisar listar todas as possíveis combinações de verdade para as variáveis
,
e
, e depois avaliar a expressão passo a passo.
Passo 2
Primeiro, vamos listar todas as combinações possíveis de verdade (V para verdadeiro e F para falso) para as três variáveis
,
e
. Como temos 3 variáveis, teremos
combinações diferentes.
Passo 3
Vamos criar colunas para cada parte da nossa expressão:
Passo 4
Agora, vamos preencher a tabela com todas as combinações e calcular cada coluna passo a passo.
Passo 5
Aqui está a tabela-verdade completa:
|
|
|
|
|
|
|
---|---|---|---|---|---|---|
V | V | V | V | V | V | V |
V | V | F | V | F | V | V |
V | F | V | F | F | V | V |
V | F | F | F | F | V | V |
F | V | V | V | V | V | V |
F | V | F | V | F | F | F |
F | F | V | V | F | F | F |
F | F | F | V | F | F | F |
Resposta
A tabela-verdade para a sentença
está completa acima. Ela mostra o resultado final de V (Verdadeiro) ou F (Falso) para cada combinação das variáveis
,
e
.
Exercícios relacionados
Verifique se as funções são contínuas:
(a) , no ponto
(a)
Seja
uma função de produção. Represente os pares
para os quais
.
Enuncie a recíproca de cada teorema a seguir usando o mesmo estilo com que cada um foi apresentado.
(a) Todo número da forma é ímpar.
(a) Todo número da forma
Verifique se a recíproca de cada proposição abaixo é válida. Em caso afirmativo, enuncie essa recíproca de, pelo menos, duas maneiras distintas: (a) Todo quadrado é um polígono de lados congruentes.