Na lógica matemática, podemos distinguir três formas de raciocínio lógico: a dedução, a indução e a abdução. para tal, precisamos de uma regra, uma premissa e uma conclusão, sendo que cada uma delas deve ser implicada pelas outras duas. no caso da dedução, através de uma regra e uma premissa, utilizamos a dedução para determinar uma conclusão.