La lógica es el estudio de los principios de la [[inferencia]] válida.<ref>{{cita enciclopedia |título=logic |idioma=inglés |enciclopedia=The Oxford Dictionary of Philosophy |editor=Simon Blackburn |editorial=Oxford University Press |edición=2008 Edition|cita=lógica: La ciencia general de la inferencia.}}</ref> Una inferencia es un proceso o acto en el que a partir de la evidencia provista por un grupo de [[premisa]]s, se afirma una conclusión.<ref>{{cita enciclopedia |título=inference |idioma=inglés |enciclopedia=The Oxford Dictionary of Philosophy |editor=Simon GreenburnBlackburn |editorial=Oxford University Press |edición=2008 Edition |fechaacceso=1 de agosto de 2009}}</ref> Tradicionalmente se distinguen tres clases de inferencias: las [[Razonamiento deductivo|deducciones]], las [[Razonamiento inductivo|inducciones]] y las [[Razonamiento abductivo|abducciones]], aunque a veces se cuenta a la abducción como un caso especial de inducción.<ref>{{cita enciclopedia |título=inference |idioma=inglés |url=http://www.oxfordreference.com/views/ENTRY.html?subview=Main&entry=t116.e1219 |enciclopedia=The Oxford Companion to Philosophy |editorial=Oxford University Press |año=2005 |fechaacceso=1 de agosto de 2009}}</ref> La validez o no de las inducciones es asunto de la [[lógica inductiva]] y del [[problema de la inducción]]. Las deducciones, en cambio, son estudiadas por la mayor parte de la lógica contemporánea. Cuando un argumento es deductivamente válido, se dice que la conclusión es una [[consecuencia lógica]] de las premisas.<ref name=Consequence>{{cita enciclopedia |apellidos=Beall |nombre=J. C. |coautores=Restall, Greg |título=Logical Consequence |url=http://plato.stanford.edu/archives/sum2009/entries/logical-consequence/ |idioma=inglés |enciclopedia=Stanford Encyclopedia of Philosophy |editor=Edward N. Zalta |edición=Summer 2009 Edition |fechaacceso=3 de agosto de 2009}}</ref> El concepto de consecuencia lógica es, por lo tanto, un concepto central a la lógica.<ref name=Consequence/> Para estudiarlo, la lógica construye [[Sistema formal|sistemas formales]] que capturan los factores relevantes de las deducciones como aparecen en el [[lenguaje natural]].<ref>{{cita enciclopedia |título=formal system |idioma=inglés |url=http://search.eb.com/eb/article-9034889 |enciclopedia=Encyclopedia Britannica |fechaacceso=3 de agosto de 2009}}</ref> Para entender esto, considérese la siguiente deducción:
