Deduo Natural para Lgica

Sentencial

Fundamentos
 Validade de um argumento
Vimos que podemos usar a tabela-verdade
para checar a validade de um argumento
Em todos os casos em que as premissas so
verdadeiras, a concluso tambm verdadeira
No entanto bastante cansativo usar
tabelas-verdade
Deduo natural (DN) um mtodo mais
prximo das formas de argumentar que
usamos no dia-a-dia.
 Organizando as formas de
argumento vlido
Se Ado ama Eva, ento Ado vai pedi-la
em casamento
Ado ama Eva
Ado vai pedir Eva em Casamento
Formato Modus Ponens ou Eliminao do
Condicional
XY

X
E

Y
 Eliminao da Disjuno
Ado se casar com Eva ou ele vai ficar
solteiro para sempre
Ado no vai se casar com Eva
Ado vai ficar solteiro para sempre
XY

X
E

Y
 Prova em vrias etapas...
Como provar C a partir das premissas:
A B; B C; A
Em duas etapas da Eliminao do
Condicional
AB BC

A B
E E

B C
Escrevendo provas em vrias
etapas...
1 AB P

2 BC P

3 A P

4 B 1, 3, E

5 C 2, 4, E

Dizemos que trata-se de uma Derivao das

concluses 4 e 5 a partir das premissas 1, 2 e 3.
Escrevendo provas em vrias
etapas...
1 AB P
As concluses
seguem-se das
2 BC P
premissas, ou seja,
toda atribuio que
3 A P torna todas as
premissas
verdadeiras, tambm
4 B 1, 3, E torna todas as
concluses
verdadeiras!
5 C 2, 4, E

Dizemos que trata-se de uma Derivao das

concluses 4 e 5 a partir das premissas 1, 2 e 3.
 Aplicao das regras de DN
Quando a aplicamos uma regra a
sentenas verdadeiras, a concluso
autorizada pela regra tambm ser
verdadeira.
As regras preservam a veracidade
Nova regra: Introduo da
Disjuno
X

I
XY
 Usando DN...
Mostre que a partir das premissas
A B; BC; A
possvel concluir
CD
 Usando DN...
Mostre que a partir das premissas
A B; BC; A
possvel concluir 1 A B P
CD
2 BC P

3 A P

4 B 1, 3, E

5 C 2, 4, E

6 CD 5, I
 Subderivaes
Se Ado ama Eva, Ado vai pedir Eva em
Casamento (A B)
Se Ado pedir Eva em Casamento, o
Casamento Acontecer (B C)
Como provar que dadas as premissas
acima, podemos concluir o seguinte:
Se Ado ama Eva, ento o casamento
acontecer. (A C)
 Subderivaes e I
1 A B P

2 B C P

3 A

4 A B 1, Reiterao

5 B C 2, Reiterao

6 B 3, 4, E

7 C 5, 6, E

8 A C 3-7, I
 Leis de Inferncia da DN -
Conjuno

INTRODUO ELIMINAO

X XY XY

E OU E
Y X Y
I

XY
 Leis de Inferncia da DN -
Disjuno

INTRODUO ELIMINAO

X XY XY

I OU
XY X Y
E E

Y X
 Leis de Inferncia da DN -
Condicional

INTRODUO ELIMINAO

X XY
A

... X
Y E

Y
XY I
 Leis de Inferncia da DN -
Bicondicional

INTRODUO ELIMINAO

XY XY XY

E OU E
YX XY YX
I

XY
Leis de Inferncia da DN - Negao

INTRODUO ELIMINAO

X X
A
E
... X
Y
...
Y

X I

reductio ad absurdum
 Caractersticas da DN
A deduo natural com todas as regras
apresentadas correta e completa para a
lgica sentencial.