Fundamentos Matemticos da Computao I

51 Argumentos e Noes sobre Demonstrao

U
N
I
D
A
D
E

0
7
Ol, bem vindo unidade 7.
Esta unidade mostra o conceito de argumentao usado desde os
primrdios da humanidade para a criao de concluses. Uma argumentao um
conjunto de premissas que leva uma concluso sobre elas.
Completando o conhecimento dessa unidade tambm descrito algumas
regras de inferncia importantes para obteno de concluses lgicas.
Ao fnal dessa unidade mostrado um pequeno exemplo de demonstrao
matemtica atravs da lgica.
Vamos comear nossos estudos?
Boa aula!
Ao fnal desta aula, voc ser capaz de saber sobre:
Descrio e resoluo de argumentos lgicos.
Apresentao de noes sobre demonstrao.
Argumentao.
Mtodo dedutivo.
Regras de inferncia.
Noes sobre demonstrao.
Fundamentos Matemticos da Computao I
52 Argumentos e Noes sobre Demonstrao
U
N
I
D
A
D
E

0
7
Argumentos
Em termos da lgica matemtica um argumento uma sequncia de proposies que levam a uma
concluso.
Exemplo de um argumento:
Premissa: Todo estudante paga meia entrada.
Premissa: Clara estudante.
Concluso: Clara paga meia entrada.
Todo estudante paga meia Clara estudante Logo, Clara paga meia
Todas as proposies, com exceo da ltima, possuem o nome de premissas, a ltima proposio
recebe o nome especial de concluso, uma vez que ela obtida a partir da deduo das premissas.
Nesse contexto dizemos que um argumento vlido quando a concluso pode ser extrada atravs
das premissas.
J um argumento invlido, tambm conhecido como falcia, um argumento onde no possvel
por meio da premissa se chegar concluso.
Considere o argumento a seguir:
Premissas:
Premissa 1: Se Andressa trabalhar, Andressa comprar um carro.
Premissa 2: Andressa trabalha.
Concluso: Andressa comprar um carro
Nesse exemplo supomos que a condio sufciente e necessria para Andressa comprar um carro
trabalhar, ento se Andressa trabalha, Andressa compra um carro.
Fundamentos Matemticos da Computao I
53 Argumentos e Noes sobre Demonstrao
U
N
I
D
A
D
E

0
7
Essa concluso vem da anlise lgica da argumentao, onde a partir das premissas alcanada
uma concluso.
Temos nesse exemplo duas premissas que levam a uma concluso.
Modelando logicamente temos:
P: Andressa trabalha.
Q: Andressa compra um carro.
Primeira Premissa: P g Q
Segunda Premissa: P
Concluso: Q
Como P e Q so proposies com valor lgico verdadeiro
ento.
((P gQ ) P) g Q tambm ser.
Isso sempre ir ocorrer em argumentos vlidos, caso isso no ocorra os argumentos sero invlidos,
ou seja, a concluso obtida no uma deduo feita a partir das premissas.
Em um argumento vlido a conjuno das premissas corretas sempre leva a uma concluso correta
baseada nas premissas, ou seja, a proposio composta formada pela premissa implicando na concluso
ser sempre uma tautologia.
Para verifcar isso basta construir a tabela-verdade da proposio anterior:
((P g Q) P) g Q
Como temos duas proposies a tabela-verdade tem 4 linhas.
Preenchendo os valores da tabela- verdade temos

P Q P gQ ((P gQ) P) ((P gQ ) P) gQ
V V V V V
V F F F V
F V V F V
F F V F V
v
v
vv
Fundamentos Matemticos da Computao I
54 Argumentos e Noes sobre Demonstrao
U
N
I
D
A
D
E

0
7
Como a ltima coluna que corresponde argumentao (conjuno das premissas implicando na
concluso) possui todos os valores lgicos verdadeiros a argumentao uma argumentao vlida.
Para extrair as concluses das premissas so utilizados regras de inferncia da lgica juntamente
com a deduo das preposies. A regra utilizada anteriormente conhecida como mtodo direto (modus
ponens) onde temos:
Duas premissas P e Q onde:
P g Q
E a afrmao premissa P.
P
Dando origem a uma concluso
Q
Essa concluso obtida pelas leis da lgica. Pois:
P g Q equivalente a ~ P v Q
Isso nos leva:
~ P v Q
P
-----------
Q
Exemplos de regras de inferncia que podem auxiliar na resoluo de problemas so:
Modus Ponens
Com as premissas:
P g Q
P
Fundamentos Matemticos da Computao I
55 Argumentos e Noes sobre Demonstrao
U
N
I
D
A
D
E

0
7
possvel deduzir:
Q
Modus Tollens
Com as premissas:
P g Q
~ Q
possvel deduzir:
~ P
Simplifcao
Com a premissa:
P Q
possvel deduzir:
P
Q
Resoluo
Com as premissas:
P v Q
~Q v R
possvel deduzir:
P v R
v
Fundamentos Matemticos da Computao I
56 Argumentos e Noes sobre Demonstrao
U
N
I
D
A
D
E

0
7
Silogismo Disjuno
Com as premissas:
P v Q
~ P
possvel deduzir:
Q
Silogismo Hipottico
Com as premissas:
P g Q
Q g R
possvel deduzir:
P g R
Conjuno
Com as premissas:
P
Q
possvel deduzir:
P Q
Dilema Construtivo
Com as premissas:
P g Q
R g S
P v R
possvel deduzir:
Q v S
Dilema Destrutivo
Com as premissas:
P g Q
R g S
~ Q v ~ S
possvel deduzir:
~ P v ~ R
v
Fundamentos Matemticos da Computao I
57 Argumentos e Noes sobre Demonstrao
U
N
I
D
A
D
E

0
7
Com as regras de inferncia e as leis da lgica possvel deduzir concluses a partir de premissas.
Exemplo:
Premissa 1: Se uma pessoa for culta ento essa pessoa l livros.
Premissa 2: Uma pessoa no l livros e essa pessoa Ary.
Analisando as premissas temos
P: pessoa culta
Q: pessoa l livros
R: Ary uma pessoa
Premissa 1: Se uma pessoa for culta ento essa pessoa l livros ( P g Q)
Premissa 2: Uma pessoa no l livros e essa pessoa Ary (~Q R)
P g Q equivalente a ~P v Q logo temos duas premissas:
Premissa 1: ~ P v Q
Premissa 2: ~ Q R
Aplicando a regra de simplifcao na segunda premissa temos:
1) ~ P v Q
2) ~ Q
3) R
Aplicando a regra de silogismo de disjuno na primeira e na segunda linha temos:
~ P
R
Aplicando a regra de conjuno, podemos concluir que
~ P R
Isso signifca dizer que atravs das premissas chegamos a uma concluso vlida que :
Uma pessoa no culta e essa pessoa Ary.
v
v
v
Fundamentos Matemticos da Computao I
58 Argumentos e Noes sobre Demonstrao
U
N
I
D
A
D
E

0
7
Noes de demonstrao
A lgica pode atuar diretamente na demonstrao de teoremas matemticos, se paramos para pensar
na forma que so construdas as provas matemticas iremos verifcar que vrias provas so baseadas em
relaes condicionais do tipo se...ento ou se somente se, onde a partir de uma hiptese chegamos uma
concluso vlida. As provas de matemtica geralmente partem de afrmaes para chegar a concluses
que so generalizadas.
Podemos relacionar as provas matemticas como uma argumentao vlida onde a partir de
premissas chegamos a uma concluso.
Para o processo de provas matemticas o uso da lgica pode ser muito til, principalmente se
levarmos em conta as propriedades das leis da lgica ligadas a relao se...ento
Exemplo:
Para provar, por exemplo, que todo cubo de um nmero par par podemos utilizar os conhecimentos
de lgica adquiridos:
Teorema que queremos provar:
Se n par ento n
3
par.
Esse teorema pode ser escrito da forma de proposies como:
P: n par
Q: n
3
par
P Q (Se n par ento n
3
par)
Pela tabela-verdade do se...ento temos:
P Q
P gQ
V V V
V F F
F V V
F F V
v
Fundamentos Matemticos da Computao I
59 Argumentos e Noes sobre Demonstrao
U
N
I
D
A
D
E

0
7
Verifcando a tabela- verdade existem trs casos onde o valor lgico da relao se...ento
verdadeira:
Primeiro Caso: P e Q possuem valor lgico verdadeiro.
Segundo Caso: P possui valor lgico falso e Q possui valor lgico verdadeiro.
Terceiro Caso: P e Q possuem valor lgico falso.
Desses trs casos precisamos somente analisar o primeiro, pois nos outros dois P tem valor lgico
falso, ou seja, seria como o n no fosse par o que no interessa para nossa prova.
No primeiro caso precisamos mostrar que se P tiver valor lgico verdadeiro, for nmero par, ento
temos que Q ter valor lgico verdadeiro, ou seja, ser um nmero par.
Todo nmero par pode ser escrito da forma = 2k onde k um nmero inteiro.
Com isso temos:
n = 2k
ento
n
3
= (2k)
3
= 8k
substituindo 4k =m temos
n
3
= 2m
Como todo nmero multiplicado por um nmero par par, no caso dois vezes qualquer valor de m
par. Com isso, conseguimos provar que n
3
par provando o teorema inicial.
Fundamentos Matemticos da Computao I
60 Argumentos e Noes sobre Demonstrao
U
N
I
D
A
D
E

0
7
Essa unidade teve como objetivo demonstrar os argumentos lgicos descrevendo passos e algumas
regras de inferncia para extrao de concluses a partir de premissas. Esse processo de extrao das
concluses muito utilizado para diversos conceitos na Matemtica e na Computao.
Leitura obrigatria
Lgica clssica e o surgimento das lgicas no-clssicas
Analise a ferramenta JAPE utilizada para realizao de prova de teoremas.
Participe do Frum contribuindo com exemplos de argumentaes vlidas.
COPI, Irving M. Introduo a lgica. So Paulo: Mestre Jou, 1981.
MENEZES, Paulo Blauth. Matemtica discreta para computao e informtica. 3. ed. Porto Alegre:
Bookman, 2010.
ALENCAR FILHO, Edgard de. Iniciao lgica matemtica. So Paulo: Nobel, 2002.