Definamos o conectivo
(\odot) da seguinte maneira: se p é falsa e q é verdadeira então p
(\odot) q é verdadeira, senão p
(\odot) q é falsa.
Escreva a tabela verdade para
(\mathrm{p} \odot \mathrm{q}).
(\odot) da seguinte maneira: se p é falsa e q é verdadeira então p
(\odot) q é verdadeira, senão p
(\odot) q é falsa.
Escreva a tabela verdade para
(\mathrm{p} \odot \mathrm{q}).
Passo 1
O enunciado define um conectivo binário
é falsa e
é verdadeira},\ falsa, & caso contrário. \end{cases}]
O conteúdo é tabela-verdade em lógica proposicional, e vamos precisar listar todas as combinações de valores de verdade de
e
para aplicar essa regra.
Passo 2
Listamos as quatro combinações possíveis de
:
Passo 3
Aplicamos a definição de
em cada caso:
- Se
e , então . - Em qualquer outro par de valores,
.
Passo 4
Preenchendo a tabela-verdade com o resultado de
obtido no passo anterior, temos:
Resposta
|
|
|
---|---|---|
|
|
|
|
|
|
|
|
|
|
|
|