A Na lógica dedutiva, premissas verdadeiras resultam em uma conclusão verdadeira.
B No raciocínio lógico indutivo, a verdade das premissas é suficiente para assegurar a verdade da conclusão.
C A lógica dedutiva pode ser subdividida em: clássica, complementar e não clássica.
D O cálculo de predicados faz parte da lógica dedutiva clássica.
E A lógicafuzzy, ou nebulosa, é um exemplo da lógica dedutiva não clássica.