Este documento discute lógica formal e informal. A lógica formal estuda a validade de argumentos dedutivos com base na forma lógica das premissas e conclusão. A lógica informal examina argumentos não dedutivos considerando também o conteúdo e contexto. Exemplos de argumentos não dedutivos incluem generalizações, previsões, analogias e apelos à autoridade.