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!