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 necessaria-mente deriva das premissas. Neste sentido, corresponde a um silogismo válido:

Premissa 1: Todo maceronte gosta de comer fubá.
Premissa 2: As selenitas gostam de fubá.
Conclusão: As selenitas são macerontes.

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á.

Premissa 1: Nenhum X é Y.
Premissa 2: Algum X é Z
Conclusão: Algum Z não é Y.

Premissa 1: Capitu é mortal.
Premissa 2: Nenhuma mulher é imortal.
Conclusão: Capitu é mulher.

Premissa 1: Todo X é Y.
Premissa 2: Algum Z é Y.
Conclusão: Algum Z é X.