You are on page 1of 30

LGICA MATEMTICA

INTRODUO MATEMTICA - MATC 220

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

Dar uma introduo Lgica Matemtica


com o estudo das operaes lgicas,
apresentando as frmulas proposicionais e
a construo de tabelas - verdade.

ALGUNS FATOS
HISTRICOS
Aristteles, filsofo grego (384 - 322 a.C.), foi o fundador
da cincia da lgica.

Sua obra rganon serviu de fundamentao para Lgica


simblica.
O emprego da lgica de Aristteles levava a uma linha de
raciocnio lgico baseado em premissas e concluses.

12/02/2015
Prof Karine Pugas

Desde ento, a lgica Ocidental tem sido binria, isto ,


uma declarao falsa ou verdadeira, no podendo ser ao
mesmo tempo parcialmente verdadeira e parcialmente
falsa.

ALGUNS FATOS HISTRICOS

Gottfried Wilhelm Leibniz (1646-1716) ocupa um lugar


especial na histria da lgica. Este filsofo procurou
aplicar lgica o modelo de clculo algbrico da sua
poca.

12/02/2015
Prof Karine Pugas

Prope o uso de smbolos para mecanizar o processo do


raciocnio dedutivo. E sugere que essa linguagem fosse
universal. Criando, assim o ambiente adequado para o
surgimento da Lgica Formal.

ALGUNS FATOS HISTRICOS

George Boole (1815-1864) considerado


o criador da lgica matemtica.
Na sua obra "Mathematical Analysis
of Logic", publicada em 1847, a lgica foi
pela primeira vez tratada como um
clculo de signos algbricos.

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

A Lgica Matemtica ocupa-se da anlise


e relaes entre certas sentenas quase
sempre de contedo matemtico, chamadas
proposies.

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

Sete mais trs igual a dez.


Declarao (afirmativa)
Alan professor de Matemtica.
Declarao (afirmativa ou negativa)
Maria linda?
Interrogativa
Abra a porta.
Imperativa

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.

Assim, o que os princpios da no contradio


e o do terceiro excludo afirmam : que:
Toda a proposio tem um, e um s, dos valores
V ou F.
Exemplos:
O nmero 17 mpar. (V)
Fortaleza a capital do Maranho. (F)
12/02/2015
Prof Karine Pugas

10

TIRADENTES morreu afogado.(F)

PROPOSIO SIMPLES (ATMICA)


Como o prprio nome diz, uma proposio
nica, isolada.
Podemos consider-las como frases formadas
por apenas uma orao que exprime apenas
um fato.

12/02/2015
Prof Karine Pugas

11

Representaremos as proposies simples por


letras latinas minsculas (p, q, r, s)

EXEMPLOS DE PROP. SIMPLES

Tiradentes foi enforcado (p)


Mrio estudioso (q)
3 + 5 > 12 (r)
O nmero 49 um quadrado perfeito (s)

12/02/2015
Prof Karine Pugas

12

Jorge Amado no escreveu o livro Mar Morto


(w)

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

composto de vrias oraes.


Indicaremos as proposies compostas por
12/02/2015
Prof Karine Pugas

13

letras latinas maisculas.

EXEMPLO
Q: Paulo estudioso e Maria arquiteta.

Q a composta das proposies simples:


p: Paulo estudioso
e

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

So palavras que se usam para formar novas


proposies a partir de outras.

OPERAES LGICAS
SOBRE PROPOSIES
No caso da Lgica no trabalhamos com nmeros, mas com
proposies. J vimos que a partir de proposies simples podemos

combin-las mediante o uso de conectivos para formar novas


proposies. O que queremos saber agora :
Conhecidos os valores lgicos das proposies simples, qual o
valor lgico da proposio resultante obtida com os conectivos?

Para determinar o valor (verdade ou falsidade) das proposies


compostas, conhecidos os valores das proposies simples que as

12/02/2015
Prof Karine Pugas

16

compem usaremos tabelas-verdade.

NEGAO: NO (~ OU )
Negao

Q = Joo professor
~Q = Joo no professor

~Q

Verdadeiro

Falso

Falso

Verdadeiro

A negao de uma proposio p escreve-se p e se l:


no p ou falso que p , ou no verdade que p .
Prof Karine Pugas
12/02/2015

17

CONJUNO: E (^)
A proposio (p ^ q)
verdadeira se e somente
se ambas as proposies
p e q so verdadeiras.

Prof Karine Pugas


12/02/2015

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

se uma das proposies

Prof Karine Pugas


12/02/2015

19

DISJUNO EXCLUSIVA: OU, .... OU,... ( V)


A proposio (p v q)

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.

Prof Karine Pugas


12/02/2015

20

RESUMINDO: TABELAS VERDADES:

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.

p q falsa apenas quando V(p)=V e V(q)=F

12/02/2015
Prof Karine Pugas

22

A primeira proposio (p) chamada de antecedente ou


hiptese; a segunda (q), de consequente.

TABELA VERDADE: SE... ENTO...


Notemos que, quando o valor lgico da proposio p falso, temos
que a condicional automaticamente verdadeira (no depende do
valor lgico de q ). Isto se justifica pelo fato de que se p falsa,
qualquer concluso pode se tirar da, verdadeira ou falsa.

pq

F
V

Exemplo: Se voc o dono da Coca-Cola ento eu sou o rei da


Inglaterra.
12/02/2015
Prof Karine Pugas

23

A condicional P Q
Qual
a
lgica
Veja os exemplos abaixo:

dessa

definio?

1)

Adriana diz para sua prima: Se eu ganhar na loteria ento


lhe darei 10.000 reais.

12/02/2015
Prof Karine Pugas

24

Quando ela estar mentindo ?

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...

3) O poltico diz ao eleitor: Se eu for eleito ento lhe darei um


carro

12/02/2015
Prof Karine Pugas

25

Quando eles estaro mentindo ?

Estaro mentindo quando...


1) Adriana ganha na loteria e no d os 10.000 reais.

2) A filha tirou acima de 8,0 e a me no deu uma viagem a


Chapada Diamantina.

12/02/2015
Prof Karine Pugas

26

3) O poltico se elegeu e no deu um carro ao seu eleitor.

R E S U M I N D O...

Isto nos diz que mentir aquele que promete e no


cumpre (o prometido)

12/02/2015
Prof Karine Pugas

27

Em todos os casos, o que se afirma que se


acontecer p, ento q tambm deve acontecer.
Em outras palavras, se p acontecer e q no
acontecer, estaremos mentindo.

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

p q verdadeira quando p , q tm os mesmos valores lgicos

REFERNCIAS
BIBLIOGRFICAS
ALENCAR

FILHO,

Edgard.

Iniciao

Lgica

Matemtica. So Paulo: Editora Nobel.


MACHADO, Nilson Jos & CUNHA, Marisa Ortega.
Lgica e linguagem cotidiana. Coleo Tendncias em
Educao

Matemtica.

Belo

Horizonte:

Editora

Autntica.
IEZZI, Gelson et al. Fundamentos de Matemtica

12/02/2015
Prof Karine Pugas

30

Elementar, vol 1. So Paulo: Editora Atual.