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{q} \odot \mathrm{p}).
(\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{q} \odot \mathrm{p}).
Passo 1
O enunciado define o conectivo
E pede a tabela-verdade de
e
.
Passo 2
Analisando a definição com os papéis trocados,
será verdadeiro exatamente quando
Ou seja,
Passo 3
Vamos enumerar as quatro combinações de
e calcular
:
|
|
|
|
---|---|---|---|
V | V | F | F |
V | F | V | V |
F | V | F | F |
F | F | V | F |
Resposta
A tabela-verdade de
é:
|
|
|
---|---|---|
V | V | F |
V | F | V |
F | V | F |
F | F | F |