Argumentos e regras de inferencia
COMPLEMENTO DE LICENCIATURA EM MATEMÁTICA
LÓGICA DA MATEMÁTICA
Argumentos e Regras de Inferência
ELABORADO POR: DOCENTE: Ariano Lopes Jorge Duarte Carlos Leonor Idílio Fernandes Hélio Lima José Manuel Rodrigues
Fevereiro de 2014
Introdução
O trabalho que ora se apresenta enquadra-se na disciplina de Lógica da Matemática e, consiste no desenvolvimento do tema “Argumentos e Regras de Inferência”. No referido trabalho definimos os conceitos de argumento e inferência, bem como a validade de um argumento, ou seja, a partir de premissas verdadeiras chega-se a uma conclusão também verdadeira, utilizando o método dedutivo, com a aplicação das regras de inferência.
Argumento
Chama-se argumento a afirmação de que de um dado conjunto de proposições P1, P2, ... Pnchamadas premissas, decorre uma proposição Q, chamada conclusão.
Um argumento de premissas P1, P2, ... Pn e de conclusão Q