Professional Documents
Culture Documents
12/02/2015
Prof Karine Pugas
LICENCIATURA EM MATEMTICA
SUMRIO
1. Alguns Fatos Histricos
2. Proposio e conectivos
3. Frmulas proposicionais e construo de
tabelas-verdade
4. Tautologia e contradio
5. Equivalncia Lgica
6. Mtodo dedutivo e Implicao Lgica.
12/02/2015
Prof Karine Pugas
7. Argumentos
OBJETIVO
12/02/2015
Prof Karine Pugas
ALGUNS FATOS
HISTRICOS
Aristteles, filsofo grego (384 - 322 a.C.), foi o fundador
da cincia da lgica.
12/02/2015
Prof Karine Pugas
12/02/2015
Prof Karine Pugas
12/02/2015
Esta
lgebra
booleana
ser
fundamental para o desenho dos circuitos
nos computadores eletrnicos modernos.
ainda a base da teoria dos conjuntos.
A LGICA NA
MATEMTICA
A Lgica tem por objeto o estudo das leis
gerais do pensamento e as formas de
aplic-las corretamente na investigao da
verdade.
12/02/2015
Prof Karine Pugas
PROPOSIES
Todo o conjunto de palavras ou smbolos que
exprimem um pensamento de sentido completo.
Exemplos e Contra-Exemplos:
12/02/2015
Prof Karine Pugas
Princpios da Lgica
I) Princpio da No Contradio - Uma proposio
no pode ser verdadeira e falsa ao mesmo tempo.
II) Princpio do Terceiro Excludo - Toda
proposio verdadeira ou falsa (isto ,
verifica-se sempre um desses casos e nunca
um terceiro).
12/02/2015
Prof Karine Pugas
LGICA BIVALENTE
VALORES LGICOS
DAS PROPOSIES
Definio
Valor lgico a verdade ou a falsidade de uma
proposio.
10
12/02/2015
Prof Karine Pugas
11
12/02/2015
Prof Karine Pugas
12
PROPOSIO COMPOSTA
OU MOLECULAR
Uma proposio dita composta quando for
formada por duas ou mais proposies ligadas
entre si por conectivos operacionais.
Podemos
consider-las
como
um
perodo
13
EXEMPLO
Q: Paulo estudioso e Maria arquiteta.
12/02/2015
Prof Karine Pugas
14
q: Maria arquiteta.
CONECTIVOS
Conectivos
Smbolo
Denominao
conjuno
Ou
disjuno
se...ento
condicional
se e somente se
bicondicional
no
negao
12/02/2015
Prof Karine Pugas
15
OPERAES LGICAS
SOBRE PROPOSIES
No caso da Lgica no trabalhamos com nmeros, mas com
proposies. J vimos que a partir de proposies simples podemos
12/02/2015
Prof Karine Pugas
16
NEGAO: NO (~ OU )
Negao
Q = Joo professor
~Q = Joo no professor
~Q
Verdadeiro
Falso
Falso
Verdadeiro
17
CONJUNO: E (^)
A proposio (p ^ q)
verdadeira se e somente
se ambas as proposies
p e q so verdadeiras.
Conjuno
p
p^q
Verdadeiro
Verdadeiro
Verdadeiro
Falso
Falso
Verdadeiro
Falso
Falso
18
DISJUNO: OU (V)
A proposio (p v q)
Disjuno
verdadeira se e somente
PvQ
(ou ambas) p ou q so
Verdadeiro
Verdadeiro
verdadeiras.
Verdadeiro
Falso
Falso
Verdadeiro
Falso
Falso
19
Disjuno Exclusiva
verdadeira se e somente
se uma das proposies p
ou q so verdadeiras. No
quando
verdadeiras
ambas
ou
PvQ
Verdadeiro
Verdadeiro
Verdadeiro
Falso
Falso
Verdadeiro
Falso
Falso
so
ambas
falsas.
20
12/02/2015
Prof Karine Pugas
pq
pq
~p
F?
V
??
21
, , ~
A Condicional P Q
Dadas duas proposies p, q, definimos a condicional p q
como uma proposio cujo valor lgico s falso quando p
verdadeira e q falsa.
12/02/2015
Prof Karine Pugas
22
pq
F
V
23
A condicional P Q
Qual
a
lgica
Veja os exemplos abaixo:
dessa
definio?
1)
12/02/2015
Prof Karine Pugas
24
Veja os exemplos...
2) A me diz para a filha: Se voc tirar nota acima de 8,0 ento
lhe darei uma viagem a Chapada Diamantina...
12/02/2015
Prof Karine Pugas
25
12/02/2015
Prof Karine Pugas
26
R E S U M I N D O...
12/02/2015
Prof Karine Pugas
27
PROPOSIES
CONDICIONAIS
As proposies condicionais so importantes na
matemtica, e tem vrias maneiras diferentes de
enunci-las, por exemplo,
p q podemos entender como uma das seguintes
formas:
12/02/2015
Prof Karine Pugas
28
p implica q .
p condio suficiente para q .
q condio necessria para p .
A bicondicional se e somente se
12/02/2015
Prof Karine Pugas
pq
V
29
REFERNCIAS
BIBLIOGRFICAS
ALENCAR
FILHO,
Edgard.
Iniciao
Lgica
Matemtica.
Belo
Horizonte:
Editora
Autntica.
IEZZI, Gelson et al. Fundamentos de Matemtica
12/02/2015
Prof Karine Pugas
30