Argumentos e regras de inferencia

PÓLO DO MINDELO

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 indica-se por:
P1, P2, ... Pn ├ Q

e se lê de uma das seguintes maneiras:
a) “P1, P2, ... Pn n acarretam Q”
b) “Q decorre de P1, P2, ... Pn”
c) “Q se deduz de P1, P2, ... Pn ”
d) “Q se infere de P1, P2, ... Pn”

Abaixo, dois exemplos de argumentos:
Se eu tiver dinheiro, vou ao cinema ou ao teatro; mas eu não tenho dinheiro. Logo, ou não vou ao cinema ou não vou ao teatro.
A conclusão apresentada não decorre das premissas. Portanto o argumento é inválido.
Se eu estudar, fico cansado; se eu