Os quatro tipos distintos verdadeiros são dedutivos, indutivos, abdutivos ou inferência e analógicos. Pensamento dedutivo: consiste em implicações e conseqüências, e apresentação e inferência. O pensamento dedutivo é uma das duas variedades básicas do pensamento válido.Depende de uma hipótese assumida ou talvez de uma teoria, razão pela qual foi denominada dedução hipotética; essa presunção pode ser bem aceita ou pode ser bastante perigosa, mesmo assim, para o argumento..
