Introdução à Lógica Matemática/Definições sobre Lógica e Lógica Matemática

INTRODUÇÃO

Neste roteiro, o principal objetivo será a investigação da validade de ARGUMENTOS: conjunto de enunciados dos quais um é a CONCLUSÃO e os demais PREMISSAS. Os argumentos estão tradicionalmente divididos em DEDUTIVOS e INDUTIVOS.

ARGUMENTO DEDUTIVO: é válido quando suas premissas, se verdadeiras, a conclusão é também verdadeira.

Premissa : "Todo homem é mortal." Premissa : "João é homem." Conclusão : "João é mortal." Esses argumentos serão objeto de estudo neste roteiro.

ARGUMENTO INDUTIVO: a verdade das premissas não basta para assegurar a verdade da conclusão. Premissa : "É comum após a chuva ficar nublado." Premissa : "Está chovendo." Conclusão: "Ficará nublado." Não trataremos do estudo desses argumentos neste roteiro.

As premissas e a conclusão de um argumento, formuladas em uma linguagem estruturada, permitem que o argumento possa ter uma análise lógica apropriada para a verificação de sua validade. Tais técnicas de análise serão tratadas no decorrer deste roteiro.