Question

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.

Answer 1

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!