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 (já que ser melanuro é condição suficiente para ser pseuduro)

b) falso (não há condições que os relacionem)

c) verdadeira

d) falso (não especificada)

e) falso (já que ser melanuro é condição suficiente para ser pseuduro ou caudato não os dois)

(f) falso (existe melanuro que não é caudato)

(g) falso (não especificado)

(h) verdadeiro (ser melanuro é condição suficiente para ser caudato ou pseuduro)

(i) verdadeiro (ser melanuro é condição suficiente para ser caudato ou pseuduro)

(j) m -> c ou p (quando queremos representar condições suficientes utilizamos o símbolo ->)

(k) m -> ~c (quando se é uma equivalência negativa incluímos ~)

Tratam-se de preposições equivalentes lógicas.