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: