La lógica formal habla de dos tipos de argumentos: inductivos y deductivos.