Houve um engano no enunciado da questão original. Em alguns dos itens da questão, não se podia classificar a afirmação em verdadeira ou falsa, pois, nestes itens, a situação depende do conjunto de elementos existentes. Vejamos um exemplo, do item (b):
(b) pelo menos um pseuduro é caudato.
Neste item não pode ser classificado em verdadeiro ou falso. Imagine que existissem apenas ois elementos x e y, como abaixo:
x: melanuro, caudato e não pseuduro
y: melanuro, não caudato e pseuduro.
Neste caso, todas as condições são satisfeitas para x e y. Mas não existe um pseuduro caudato, logo a afirmação seria falsa. Porém, se houvesse um elemento adicional, z:
z: melanuro, caudato e pseuduro
as condições continuariam valendo, mas a afirmação seria verdadeira.
Neste caso, não se pode afirmar que a afirmação é verdadeira, tampouco se pode afirmar que seja falsa. O enunciado correto deveria questionar sobre quais dos itens podem ser classificados como verdadeiros, falsos ou não podem ser classificados.
Assim, temos um enunciado:
Questão 3. Ser melanuro é condição suficiente para ser caudato ou pseuduro. Existe um melanuro que não é caudato. Classifique cada item abaixo em verdadeiro ou falso: Classifique cada item abaixo em verdadeiro ou falso, quando for possível, ou diga que não é possível classificar. Qualquer que seja o caso, justifique!
(a) pelo menos um pseuduro é melanuro.
(b) pelo menos um pseuduro é caudato. (veja exemplo acima)
(c) existe um caudato que não é melanuro.
(d) existe um melanuro que não é pseuduro.
(e) pelo menos um melanuro é pseuduro e caudato.
(f) todo melanuro é caudato
(g) todo caudato que não é pseuduro é melanuro
(h ) todo melanuro que não é caudato é pseuduro
(i) todo melanuro que não é pseuduro é caudato
Considere agora as proposições:
m ser melanuro
c: ser caudato
p: pseuduro
Escreva, utilizando m, c e p e os símbolos adequados da lógica de proposições, as frases abaixo:
(j) Ser melanuro é condição suficiente para ser caudato ou pseuduro.
(k) Existe um melanuro que não é caudato.
Respostas
a) verdadeiro, pois ser melanuro é condição suficiente para ser pseuduro
b) falso, pois não existem condições que os relacionem
c) verdadeiro, há um caudato que não é melanuro
d) falso, pois isso não foi especificado
e) falso, pois ser melanuro é condição suficiente para ser pseuduro ou caudato, mas não os dois
f) falso, há melanuro que não é caudato
g) falso, pois isso não foi especificado
h) verdadeiro, pois ser melanuro é condição suficiente para ser caudato ou pseuduro
i) verdadeiro, pois ser melanuro é condição suficiente para ser caudato ou pseuduro
j) m -> c ou p, usamos quando queremos representar condições suficientes e utilizamos o símbolo ->
k) m -> ~c, usamos quando existe equivalência negativa e incluímos o símbolo ~
Bons estudos!