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: