Lgica Matemtica

Emanoel Miranda da Silva

Lgica Matemtica
O que Lgica Matemtica?
O que Logica Matemtica?
Definio:
Uma sub-rea da matemtica que
explora as aplicaes da lgica formal
para a matemtica.
Lgica Matemtica
Proposio
Proposio
O que uma proposio?
Todo conjunto de palavras ou smbolos que exprimem
um pensamento de sentido completo.
Proposio
Exemplos:
1 - A Lua um satlite da Terra.

2 - Recife a capital de Pernambuco.
Proposio
Regras fundamentais do pensamento(Axiomas):
- PRINCPIO DA NO CONTRADIO

- PRINCPIO DO TERCEIRO EXCLUDO
PRINCPIO DA NO CONTRADIO
Definio:
Uma proposio no pode ser verdadeira e falsa ao
mesmo tempo.
PRINCPIO DO TERCEIRO EXCLUDO
Definio:
Toda proposio ou verdadeira ou falsa, dois caso
apenas, nunca um terceiro.
Valores Lgicos das proposies
Definio:
Chama-se valor lgico de uma proposio a verdade
se a proposio verdadeira e falsidade se a
proposio falsa.
Proposio
Classificao:
- Simples

- Composta
Proposio Simples
Definio:
Chama-se proposio simples ou atmica aquela que
no contm nenhuma outra proposio como parte
integrante de si mesma.
Proposio Simples
Exemplo:
- Joo magro

- Carlos careca
Proposio Composta
Definio:
Chama-se proposio composta ou molecular aquela
formada pela combinao de duas ou mais
proposies.
Proposio Composta
Exemplos:
- Aderbalgildo careca e Calixo baixo

- Giancondarea alto e Castro feio
Lgica Matemtica
CONECTIVOS
Conectivos
Definio:
Palavras que se usam para formar novas
proposies.
Conectivos
Conectivos usuais:
- e ^

- ou v

- No ~

- Ento ->

- Se somente se <->
Conectivos
Ordem de prioridade
1) ~

2) ^ e v

3) -> e <->
Lgica Matemtica
TABELA VERDADE
Tabela Verdade
Definio bsica:
um tipo de tabela matemtica usada em lgica
para determinar se uma frmula vlida
Tabela Verdade
Exemplo:
P
V
F
Lgica Matemtica
Operaes Lgicas sobre Proposies
Operaes Lgicas sobre Proposies
- Negao (~)
- Conjuno (^)
- Disjuno (v)
- Disjuno Exclusiva (V)
- Condicional (->)
- Bicondicional (<->)
Operaes Lgicas sobre Proposies
Negao (~)
P ~P
V F
F V
Operaes Lgicas sobre Proposies
Conjuno (^)
P Q P ^ Q
V V V
V F F
F V F
F F F
Operaes Lgicas sobre Proposies
Disjuno (v)
P Q P v Q
V V V
V F V
F V V
F F F
Operaes Lgicas sobre Proposies
Disjuno Exclusiva (v)
P Q P v Q
V V F
V F V
F V V
F F F
Operaes Lgicas sobre Proposies
Condicional (->)
P Q P -> Q
V V V
V F F
F V V
F F V
Operaes Lgicas sobre Proposies
Bicondicional (<->)
P Q P <-> Q
V V V
V F F
F V F
F F F
Tautologia, Contradio e Contingnica
Tautologia:
~(P ^ ~P)
Tautologia, Contradio e Contingnica
Contradio:
P ^ ~P
Tautologia, Contradio e Contingnica
Contingncia:
P -> ~P
Equivalncia Lgica
Definio:
H equivalncia lgica quando duas tabelas-verdades destas
proposies so idnticas.

P(p, q, r,...) Q(p, q, r, ...)
Equivalncia Lgica
Exemplo:
P ~P ~~P
V F V
F V F
P -> P P
~~P P
P ~P ~P -> P
V F V
F V F
Lgica Matemtica
Deduo Natural
Deduo Natural
Definio:
um dos sistemas dedutivos utilizados para
construir demonstraes formais na Lgica

Deduo Natural
Regras estudadas em sala de aula:
- Regras de Introduo:
- Regras de Eliminao:
- Regras de Absurdo:
Deduo Natural
Regras de Introduo:
- Introduo do implica (->)

B___
(A -> B)
- Introduo do E (^)

A B
(A ^ B)
B A
(B ^ A)
ou
[A]
|
Deduo Natural
Regras de Eliminao:
- Eliminao do E (^)

A ^ B
A
B ^ A
B
ou
- Eliminao do implica (->)

(A -> B) A
B
Deduo Natural
Regras do Absurdo:
- Absurdo clssico

~A A
_I_
_I_
(~A)
- Absurdo Intuicionista
_I_
(A)
Deduo Natural
Exemplos:

Fazer em sala de aula.
Lgica matemtica
FIM
Bibliografia
http://pt.wikipedia.org/wiki/L%C3%B3gica_matem%C3%A1tica
http://pt.wikipedia.org/wiki/Tabela_verdade
http://pt.wikipedia.org/wiki/Dedu%C3%A7%C3%A3o_natural#Sistema_Np
Livro: Inciao Lgica matemtica - Edgard de Alencar Filho