“[...] desde Aristóteles, o ideal da lógica tem sido encontrar as condições necessárias para que, de proposições verdadeiras, se obtenham conclusões verdadeiras. E é apenas o método dedutivo que oferece essa possibilidade e garantia. [...] a dedução é um modo de raciocinar, argumentar e demonstrar em que a conclusão é uma consequência lógica das premissas [...]”.