(FCC/2013) Existe uma forma de raciocínio dedutivo chamada silogismo. Neste tipo de raciocínio, será formalmente válido o argumento cuja conclusão é a consequência que necessariamente deriva das premissas. Neste sentido, corresponde a um silogismo válido:
A) Premissa 1: Todo macronete gosta de comer fubá. Premissa 2: As selenitas gostam de fubá. Conclusão: As selenitas são macronetes.
B) Premissa 1: Todo macronete gosta de comer fubá. Premissa 2: Todo macronete tem asas. Conclusão: Todo que tem asas gostam de comer fubá.
C) Premissa 1: Capitu é mortal. Premissa 2: Nenhuma mulher é imortal. Conclusão: Capitu é mulher.
D) Premissa 1: Nenhum X é Y. Premissa 2: Algum X é Z. Conclusão: Algum Z não é Y.
E) Premissa 1: Todo X é Y. Premissa 2: Algum Z é Y. Conclusão: Algum Z é X.
