Lógica Matemática 2011

Dr. Alessandro, Ms.
Jos Pedro e
Ms. Luiz
1
Lgica Matemtica
LOMA 40 tempos
36 Aulas
2 Prova
2 Exame
Dr. Alessandro, Ms. Jos Pedro e
Ms. Luiz
2
Avaliao
1 prova dissertativa, com peso 8
Exerccios Avaliatrios, com peso 2
Exame
Segunda poca
Ms. Luiz
3
Bibliografia
Bsica
Introduo Lgica Matemtica
Editora CENGAGE
Carlos A. F. Bispo, Luiz B. Castanheira e Oswaldo Mello S. Filho
Complementar
Introduo Lgica 3
a
ed., Irvin M. Copi.
Lgica, Ed. MAKRON Books John Nolt e Dennis Rohatyn.
Introduo Lgica, Editora UNESP Cezar A. Mortari.
Ms. Luiz
4
Unidades
Calculo Proposicional
Proposio
Tabela Verdade
Classificao das proposies
Tautologias
Deduo Formal
Clculo de predicados
Funes Proposicionais
Quantificadores
Argumentos Quantificados
Ms. Luiz
5
O que a Lgica Matemtica?
Estudo da validade das formas de
argumentos.
Dedutiva
Ms. Luiz
6
Lgica Formal
Perodo Grego (IV a.C. XIX)
Sistemas de Regras
Perodo Booleano (XIX XX)
Conjunto de Leis
Perodo Contemporneo (XX XXI)
Estrutura Lingustica
Ms. Luiz
7
Alguns Lgicos
Aristteles (384-322 a. C.)
Abelardo (1079 -1142)
Ockham (1285 -1347)
Leibniz (1646 -1716)
De Morgan (1806 -1871)
Boole (1815 -1864)
Frege (1848 -1925)
Whitehead (1861 -1947)
Russell (1872 -1970)
Brouwer (1881 -1966)
Lewis (1883 -1964)
ukasiewicz (1878 -1956)
Tarski (1902 -1983)
Ramsey (1903 -1930)
Church (1903 -1995)
Gdel (1906 -1978)
Rosser (1907 -1989)
Herbrand (1908 -1931)
Kleene (1909 -1994)
Turing (1912 -1954)
Robinson (1918 -1974)
Ms. Luiz
8
SINOPSE DAS VRIAS LGICAS
Clssica
Clculo de predicados de primeira
ordem
Teoria de Conjuntos
Teoria de Tipos
Teoria de Categorias como Fundamento da
Matemtica
Ms. Luiz
9
No Clssica
Complementares da Clssica
Epistmica Clssica
Lgica da Crena
Lgica do Conhecimento
Modal Clssica
Clssica de Ao, etc.
Intencionais Clssicas
Indutiva Clssica, etc.
Ms. Luiz
10
Heterodoxas
Paracompletas
Paraconsitentes
No Alticas
Qunticas
Relevantes
Modais Paraconsistentes
Epistmicas Paracompletas
Indutivas Paraconsistentes
Ms. Luiz
11
Clculo Proposicional
Estuda as condies de validade de
formas de argumento mostradas na
linguagemproposicional.
Na linguagem proposicional temos
smbolos, regras de formao e regras
de deduo.
Ms. Luiz
12
Proposio
Sentena declarativa que assume
um dos dois valores-verdade: verdade
(V) e falsidade (F).
Ms. Luiz
13
Exemplos de Proposio
sen 90
O
= 1
Jpiter est a 100 km da Terra.
Os suos fabricam os melhores
relgios, e os franceses o melhor
vinho.
Ms. Luiz
14
Contra-exemplos de Proposio
Venha aqui!
Ateno sala!
No corra to rpido!
Quantas vezes terei que repetir isso?
Ms. Luiz
15
Princpios da Lgica Clssica
Identidade
Toda proposio idntica a si mesma.
No Contradio
Uma proposio no pode ser verdadeira
e falsa ao mesmo tempo.
Terceiro Excludo
Toda proposio ou verdadeira
ou falsa, no existindo um terceiro
valor que ela possa assumir.
Ms. Luiz
16
Formalizao
A formalizao consiste em
converter um conjunto de proposies
interligadas para uma estrutura
composta de letras proposicionais,
conectivos lgicos e smbolos de
pontuao.
Ms. Luiz
17
Letras Proposicionais
A, B, C,...
a, b, c,...
P
1
, P
2
, P
3
, ...
p
1
, p
2
, p
3
, ...
Ms. Luiz
18
Conectivos Proposicionais
Conectam duas proposies
Negao no
Conjuno . e
Disjuno v ou
Condicional se..., ento
Bicondicional se, e somente se,
Ms. Luiz
19
Smbolos de Pontuao
Parnteses ( )
Ms. Luiz
20
Proposio Simples e Composta
simples se, e somente se, contm uma
nica afirmao.
composta quando for constituda por
uma seqncia finita de pelo menos
duas proposies simples.
Ms. Luiz
21
Exemplos
Simples
Joaquim faltou ao parado.
Composta
Joaquim faltou ao parado e foi punido.
Ms. Luiz
22
Conjuno
Combinao de duas proposies
ligadas pela palavra
e
substituda pelo smbolo
.
Ms. Luiz
23
Exemplo da Conjuno
Maria foi ao cinema e Marta ao teatro.
Traduo:
C: Maria foi ao cinema.
T: Marta foi ao teatro.
Simbolicamente
C . T
Ms. Luiz
24
Disjuno
Combinao de duas proposies
ligadas pela palavra
ou
substituda pelo smbolo
v
Ms. Luiz
25
Exemplo da Disjuno
Jos ser jogador de futebol ou
cursar medicina.
Traduo
F: Jos ser jogador de futebol.
M: cursar Medicina.
Simbolicamente
F v M
Ms. Luiz
26
Condicional
Duas proposies formam uma
condicional quando for possvel
coloc-las na forma:
Se antecedente, ento conseqente
Simbolicamente
A C
Ms. Luiz
27
Exemplo de Condicional
Se dormir na aula, ento serei punido.
Traduo
D: dormir na aula
P: serei punido
Simbolicamente
D P
Ms. Luiz
28
Bicondicional
Proposio que pode ser colocado na
forma:
A se, e somente se, B
Simbolicamente
AB
pode ser entendida como uma
conjuno de dois condicionais
AB e BC
Ms. Luiz
29
Exemplo de bicondicional
S haver diminuio da violncia se a
educao for prioridade.
Traduo
V: Haver diminuio da violncia.
E: A educao prioridade
governamental.
Simbolicamente
VE
Ms. Luiz
30
Negao
No liga duas proposies,
simplesmente, nega a afirmao da
proposio que o precede.
Simbolicamente
A
Ms. Luiz
31
Exemplos de Negao
Alfredo no gosta de marchar.
Traduo
M: Alfredo gosta de marchar.
M
A estabilidade no gera desemprego.
Traduo
E: A estabilidade gera desemprego.
E
Ms. Luiz
32
Frmula Bem Formada - fbf
Seqncia qualquer de elementos do
vocabulrio do clculo proposicional
constitui uma frmula.
Nem toda frmula aceitvel para o
clculo proposicional.
Uma frmula aceitvel para o clculo
proposicional frmula bem formada.
Ms. Luiz
33
Regras de Formao
Uma letra proposicional uma fbf.
Se P uma fbf, ento P tambm .
Se P e Q so fbfs, ento tambm so:
(P . Q)
(P v Q)
(P Q)
(P Q)
Ms. Luiz
34
Regras de Pontuao
Cada parntese aberto (
deve ser fechado )
sendo que os internos expresso
precedem aos mais externos.
Ms. Luiz
35
Prioridade dos Conectivos
1
o
2
o
. e v
3
o
e
Quando houver ambigidade
parnteses devem ser colocados.
Ms. Luiz
36
Exerccios
Propostos
Ms. Luiz
37
Tabela Verdade
Dispositivo onde figuram as possveis combinaes
dos valores-verdade das proposies.
O valor verdade nico de uma proposio obtido a
partir dos valores verdade de suas proposies
simples.
A atribuio de um valor-verdade para uma
proposio simples semntico.
Nmero de linhas 2
n
, onde n o nmero de
proposies simples.
Nmero de colunas n+p, onde p o nmero de
conectivos.
Ms. Luiz
38
Valores da Tabela Verdade
Conjuno Disjuno Condicional Bicondicional
p q p . q p v q p q p q
V V V V V V
V F F V F F
F V F V V F
F F F F V V

Ms. Luiz
39
Valores da Tabela Verdade
Negao
p
p
V F
F V

Ms. Luiz
40
Critrios para o Valor-Verdade
O valor-verdade de uma
proposio composta depende
unicamente
do valor lgico de suas
proposies simples.
Ms. Luiz
41
Conjuno ( )
Uma conjuno tem seu valor
lgico (V) se, e somente se, as duas
proposies que a compem forem
verdadeiras (V)
Ms. Luiz
42
Disjuno ( )
Uma disjuno tem valor-verdade (F)
se, e somente se, ambas proposies
que a compem so falsas (F)
Ms. Luiz
43
Condicional ( )
Uma proposio condicional
falsa (F) se, e somente se,
a proposio antecedente for
verdadeira (V) e a consequente
for falsa (F).
Ms. Luiz
44
Bicondicional ( )
Uma proposio bicondicional
tem valor verdade (V) se, e somente se,
as duas proposies que a compem
tiverem o mesmo valor-verdade.
Ms. Luiz
45
Negao ()
A negao de uma proposio
verdadeira (V) uma proposio
falsa (F) e a de uma proposio
falsa (F) uma proposio
verdadeira (V).
Ms. Luiz
46
Exerccios
Propostos
Ms. Luiz
47
Tautologia
Uma proposio composta
tautolgica ou uma tautologia se, e
somente se, seu valor lgico sempre
verdade (V).
Ms. Luiz
48
Contradio
Uma proposio composta uma
contradio se, e somente se, o seu
valor lgico for sempre falso (F).
Ms. Luiz
49
Contingncia
Uma proposio composta
contingente, ou uma contingncia,
quando o seu valor lgico pode ser (V)
ou (F), dependendo do valor de suas
proposies simples.
Ms. Luiz
50
Exerccios
Propostos
Ms. Luiz
51
Implicao Tautolgica
uma proposio condicional
tautolgica.
Ms. Luiz
52
Equivalncia Tautolgica
uma proposio bicondicional
tautolgica
Ms. Luiz
53
Propriedades Tautolgicas
Reflexiva
p p
p p
Simtrica
(p q) (q p)
Transitiva
(p q) . (q r) (p r)
(p q) . (q r) (p r)
Ms. Luiz
54
Exerccios
Propostos
Ms. Luiz
55
Argumento
um conjunto de n proposies,
sendo que uma delas conseqncia e
depende das demais.
A proposio consequncia chamada
de concluso, e as demais de
premissas.
Ms. Luiz
56
Forma de Argumento
1. P
1
2. P
2
...
(n-1). P
(n-1)
n. C
P
i
so as premissas e C a concluso
Equivalentemente
P
1
.P
2
.P
3
.....P
(n-1)
C
Ms. Luiz
57
Exerccios
Propostos
Ms. Luiz
58
Tautologias teis
A seguir, implicaes e equivalncias
tautolgicas que sero utilizadas para
provar a validade de um argumento.
Sejam p, q, r e s proposies
simples quaisquer.
Ms. Luiz
59
Equivalncias
01) Indepotncia (IND)
(p . p) p
(p v p) p
02) Comutao (COM)
(p . q) (q . p)
(p v q) (q v p)
Ms. Luiz
60
Equivalncias
03) Associao (ASS)
((p . q) . r) (p . (q . r))
((p v q) v r) (p v (q v r))
04) Distribuio (DIS)
(p . (q v r)) ((p . q) v (p . r))
(p v (q . r)) ((p v q) . (p v r))
(p (q . r)) ((p q) . (p r))
(p (q v r)) ((p q) v (p r))
Ms. Luiz
61
Equivalncias
05) Leis de De Morgan (MOR)
(p v q) (p . q)
(p . q) (p v q)
06) Dupla Negao (D.N.)
(p) p
Ms. Luiz
62
Equivalncias
07) Equivalncia Material (E.M.)
(p q) ((p q) . (q p))
(p q) ((p . q) v (p . q))
08) Implicao Material (I.M.)
(p q) (p v q)
Ms. Luiz
63
Equivalncias
09) Negao da Implicao Material (N.I.M.)
(p q) (p . q)
10) Transposio (TRA)
(p q) (q p)
Ms. Luiz
64
Equivalncias
11) Importao / Exportao (I. E.)
((p . q) r) (p (q r))
12) Absurdo (ABD)
(p (q . q)) p
Ms. Luiz
65
Implicaes
01) Adio (ADI)
p ou p(pvq)
____
pvq
Ms. Luiz
66
Implicaes
02) Simplificao (SIM)
p.q ou p.qp
____
q
p.q ou p.qq
____
q
Ms. Luiz
67
Implicaes
03) Conjuno (CON)
p ou p.qp.q
q
____
p.q
p ou p.qq.p
q
____
q.p
Ms. Luiz
68
Implicaes
04) Absoro (ABS)
pq ou (pq)(pp . q)
_______
p(p.q)
05) Modus Ponens (M.P.)
pq ou (pq).pq
p
_______
q
Ms. Luiz
69
Implicaes
06) Modus Tollens (M.T.)
pq ou (pq).qp
q
____
p
07) Dilema Construtivo (D.C.)
pq ou (pq).(rs).(pvr)qvs
rs
pvr
____
qvs
Ms. Luiz
70
Implicaes
08) Dilema Destrutivo (D.D.)
pq ou (pq).(rs).(qvs)(pvr)
rs
qvs
______
pvr
Ms. Luiz
71
Implicaes
09) Silogismo Disjuntivo (S.D.)
pvq ou (pvq).pq
p
____
q
pvq ou (pvq).qp
q
____
p
Ms. Luiz
72
Implicaes
10) Silogismo Hipottico (S.H.)
pq ou (pq).(qr)(pr)
qr
____
pr
Ms. Luiz
73
Implicaes
11) Exportao (EXP.)
p.qr ou (p.qr)(p(qr))
_______
p(qr)
Ms. Luiz
74
Implicaes
12) Importao (IMP.)
p(qr) ou (p(qr))(p.qr)
________
p . q r
Ms. Luiz
75
Regras de Deduo
A prova direta de validade de um
argumento no clculo proposicional utiliza
as regras a seguir.
1. introduzir premissas usando
a. equivalncias;
b. implicaes;
c. Teorema da Deduo.
2. Cada premissa introduzida deve indicar, sua
direita, o nmero das linhas e a tautologia por
ela utilizada.
3. Usar as premissas e a regra 1 para se chegar
concluso.
Ms. Luiz
76
Exerccios
Propostos
Ms. Luiz
77
Teorema da Deduo (T.D.)
Dado um argumento
A
1
.A
2
.A
3
.....A
n-1
(BC)
se a proposio C pode ser obtida pela
aplicao das regras de deduo
direta 1a e 1b s premissas
A
1
, A
2
, A
3
, ... , A
n-1
e B,
ento (BC) pode ser obtido das premissas
A
1
, A
2
, A
3
, ..., A
n-1
Ms. Luiz
78
Teorema da Deduo (T.D.)
Se o argumento
A
1
.A
2
.A
3
.....A
n-1
.B C
for vlido, ento,
A
1
.A
2
.A
3
.....A
n-1
(BC)
ser vlido.
Ms. Luiz
79
Exerccios
Propostos
Ms. Luiz
80
Prova Indireta
Reduo ao Absurdo (R.A.)
A prova indireta de validade de um
argumento consiste da introduo de uma
nova premissa que seja a negao da
concluso e, a partir disso, a derivao de
uma contradio. Dessa contradio obtida,
conclui-se a validade do argumento.
A prova indireta da validade mais
conhecida como Reduo ao Absurdo,
sendo utilizada em algumas demonstraes
matemticas.
Ms. Luiz
81
Exerccios
Propostos
Ms. Luiz
82
Prova de Invalidade
1. Tabela Verdade
a. Uma linha falsa
2. Atribuio de Valores
a. Premissas verdadeiras
b. Concluso Falsa
Ms. Luiz
83
Exerccios
Propostos
Ms. Luiz
84
Clculo de Predicados
No clculo de predicados, a ateno se
volta para a estrutura da proposio simples.
A mais simples proposio envolve um
termo e um predicado:
Termo designa um objeto ou indivduo;
Predicado indica a sua propriedade.
Ms. Luiz
85
Funo Proposicional
Uma funo proposicional em O, um
conjunto de termos, um predicado P
associado a um termo x, em O, que
no pode ser classificada como
verdadeira ou falsa.
Ms. Luiz
86
Classificao de Funo
Proposicional
A classificao de uma Funo
proposicional Px, possvel quando x
representar em relao aos elementos
de O
pelo menos um
todos
Ms. Luiz
87
Quantificadores
So operadores lgicos que
restringem as funes proposicionais
de forma que elas se refiram a todo o
conjunto de termos O ou a uma parte
dele.
Ms. Luiz
88
Quantificadores
Funo
Proposicional
+
Quantificador
= Proposio
Ms. Luiz
89
Quantificadores
: quantificador universal
(para todo, qualquer que seja, etc.)
-: quantificador existencial
(existe, h, alguns, etc.).
Ms. Luiz
90
Formalizao do Clculo de
Predicados
1. Termos sero indicados com as ltimas
letras minsculas do alfabeto : x, y e z.
2. Predicados sero indicados por letras
maisculas esquerda dos termos.
3. Funo proposicional entre parnteses.
4. Quantificador esquerda do termo e ambos
esquerda da funo proposicional.
Ms. Luiz
91
Frmula Bem Formada - CP
1. Um predicado P seguido de um termo x
uma fbf: Px.
2. Se Px e Qx so fbf, ento sero tambm fbf:
a. Px
b. Px . Qx
c. Px v Qx
d. Px Qx
e. Px Qx
f. x (Px)
g. -x (Px)
Ms. Luiz
92
Exerccios
Propostos
Ms. Luiz
93
Equivalncias entre
quantificadores
Para se provar a validade de
argumentos que apresentas funes
proposicionais quantificadas
conveniente, que estas e seus
quantificadores no se apresentem
na forma negativa.
Ms. Luiz
94
Equivalncias entre
quantificadores
No caso de existir quantificador
negado, devemos substitu-lo de forma
equivalente.
Ms. Luiz
95
Equivalncias entre
quantificadores
Se o representar um predicado
associado aos termos de um conjunto
O, as equivalncias a seguir se
verificam:
1. -x (ox) equivalente ax (ox)
2. x (ox) equivalente a -x (ox)
Ms. Luiz
96
Exerccios
Propostos
Ms. Luiz
97
Exemplificao
a aplicao de duas
tautologias que transformam funes
proposicionais em proposies.
Ms. Luiz
98
Exemplificao Existencial (E.E.)
Se existe um termo c associado ao
predicado o, estipulamos que tal termo seja c.
-x (ox)
______
oc
Ms. Luiz
99
Exemplificao Universal (E.U.)
Se todos os termos esto associados ao
predicado o, escolhemos aleatoriamente um
deles, c.
x (ox)
______
oc
Ms. Luiz
100
Generalizao
Transforma proposies em funes
proposicionais.
Ms. Luiz
101
Generalizao Existencial (G.E.)
Se um termo c est associado ao
predicado o, ento existe um termo
associado a o.
oc
_____
-x (ox)
Ms. Luiz
102
Generalizao Universal (G.U.)
Se o termo c pode ser qualquer
elemento de O, ento qualquer termo
est associado ao predicado o.
oc
______
x (ox)
Ms. Luiz
103
Observao
A Exemplificao Existencial
sempre antecede a Exemplificao
Universal
Ms. Luiz
104
Validade de Argumentos
Quantificados
1. Transformar o argumento quantificado, por
meio da exemplificao, em argumento sem
quantificadores.
2. Usar a prova direta de validade para esse
argumento exemplificado.
3. Usar generalizao para se obter a
concluso do argumento quantificado.
Ms. Luiz
105
Exerccios
Propostos

Lógica Matemática 2011

Hochgeladen von

Dokumentinformationen

Copyright

Verfügbare Formate

Dieses Dokument teilen

Dokument teilen oder einbetten

Freigabeoptionen

Stufen Sie dieses Dokument als nützlich ein?

Sind diese Inhalte unangemessen?

Copyright:

Verfügbare Formate

Lógica Matemática 2011

Hochgeladen von

Copyright:

Verfügbare Formate

Dr. Alessandro, Ms.

Das könnte Ihnen auch gefallen