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: (a) pelo menos um pseuduro é melanuro. (b) pelo menos um pseuduro é caudato. (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.
Soluções para a tarefa
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!