Há uma forma de raciocínio dedutivo chamado silogismo. Nesta espécie de raciocínio, será formalmente válido o argumento cuja conclusão é consequência que necessariamente deriva das premissas. Neste sentido, corresponde a um silogismo válido:
- A Premissa 1: Todo maceronte gosta de comer fubá.
Premissa 2: As selenitas gostam de fubá.
Conclusão: As selenitas são macerontes. - B Premissa 1: Todo maceronte gosta de comer fubá.
Premissa 2: Todo maceronte tem asas.
Conclusão: Todos que têm asas gostam de comer fubá. - C Premissa 1: Nenhum X é Y.
Premissa 2: Algum X é Z
Conclusão: Algum Z não é Y. - D Premissa 1: Todo X é Y.
Premissa 2: Algum Z é Y.
Conclusão: Algum Z é X. - E Premissa 1: Capitu é mortal.
Premissa 2: Nenhuma mulher é imortal.
Conclusão: Capitu é mulher.
