Um raciocínio dedutivo é definido como categórico-dedutivo quando suas proposições iniciais são postos como verdadeiros (proposições categóricas). Ele se opõe portanto ao modo hipotético-dedutivo, no qual as proposições primeiras são supostas a título unicamente provisórios, ou bem consideradas como simples lexis (do grego, palavra, expressão: enunciado que pode ser verdadeiro ou falso mas que não é considerado senão em seu conteúdo próprio, sem afirmação ou negação atual). [NP]