Professional Documents
Culture Documents
LÓGICA MATEMÁTICA
CURSO: SISTEMAS DE INFORMAÇÃO
1º PERÍODO
LÓGICA MATEMÁTICA 2
Sumário
• Correção do Exercício passado
• Implicação Lógica
• Exercícios
• Iniciar Revisão para a Avaliação 1 – 2014.1
LÓGICA MATEMÁTICA 3
Ementa
• Lógica Proposicional:
– Sintaxe
– Semântica
– Propriedades Semânticas
– Método para determinação da validade de fórmulas
• Lógica de Predicados:
– Sintaxe
– Semântica
– Propriedades Semânticas
– Resolução.
LÓGICA MATEMÁTICA 4
Aviso!
• Avaliação 1
• 02/09/2014
• Assuntos:
– Introdução e história de lógica
– Lógica Proposicional
• Sintaxe
• Semântica (Operações Lógicas; Tabela Verdade;
Tautologia, Contradição e Contingência)
LÓGICA MATEMÁTICA 5
Implicação
• Definição:
Dadas as proposições compostas P e Q, diz-se
que ocorre uma implicação lógica (ou relação
de implicação) entre P e Q quando a
proposição condicional P Q é uma
tautologia.
• Notação: P Q
LÓGICA MATEMÁTICA 6
Implicação
- Portanto, dizemos que P Q quando nas respectivas
tabelas verdade dessas duas proposições não aparece V
na última coluna de P e F na última coluna de Q, com V e
F em uma mesma linha, isto é, não ocorre P e Q com
valores lógicos simultâneos respectivamente V e F.
- Em particular, toda proposição implica uma tautologia e
somente uma contradição implica outra contradição.
LÓGICA MATEMÁTICA 7
Implicação
Exemplos:
a) 4 x 5 = 20 (2 + 1)² = 3².
Podemos usar o símbolo , pois a proposição
condicional: 4 x 5 = 20 3²= (2 + 1)² é verdadeira.
LÓGICA MATEMÁTICA 8
Implicação
• Observação:
DIFERENTE
LÓGICA MATEMÁTICA 9
Implicação
Propriedade Reflexiva:
P(p,q,r,...) P(p,q,r,...)
Propriedade Transitiva:
SE P(p,q,r,...) Q(p,q,r,...) E
Q(p,q,r,...) R(p,q,r,...), ENTÃO
P(p,q,r,...) R(p,q,r,...)
LÓGICA MATEMÁTICA 10
Implicação
p ^ q, p v q, p q
LÓGICA MATEMÁTICA 11
Implicação
p ^ q, p v q, p q
p q p^q pvq pq
V V V V V
V F F V F
F REGRA
V DEFINFERÊNCIA:
V pF p v q
F F F (Adição)
F V
LÓGICA MATEMÁTICA 12
Implicação
p ^ q, p v q, p q
p q p^q pvq pq
V V V V V
V F F V F
F REGRA
V DEFINFERÊNCIA:
V pF ^ q p
F F F F
(Simplificação)V
LÓGICA MATEMÁTICA 13
Implicação
p ^ q, p v q, p q
p q p^q pvq pq
V V V V V
V F F V F
F REGRA
V DEFINFERÊNCIA:
V pF ^ q q
F F F(Simplificação)
F V
LÓGICA MATEMÁTICA 14
Implicação
(p v q) ^ ~p q
(p v q) ^ ~q p
REGRA DE INFERÊNCIA:
SILOGISMO DISJUNTIVO
LÓGICA MATEMÁTICA 15
Implicação
(p q) ^ p q
(p q) ^ ~q ~p
LÓGICA MATEMÁTICA 16
Implicação
• Teorema:
P Q = V (tautológica)
LÓGICA MATEMÁTICA 17
Implicação
• P(p,q,r,...) Q(p,q,r,...) se e somente se:
P Q = V (tautológica).
• A condicional:
(p q) ^ (q ^ r) (p r) é Tautologia.
• Logo, deduz-se a implicação lógica:
(p q) ^ (q ^ r) p r
- (Regra do SILOGISMO HIPOTÉTICO)
LÓGICA MATEMÁTICA 18
Implicação
Exemplo: Mostrar que (p ^ q) p
p q p ^ q (p ^ q) p
V V V V
V F F V
F V F V
F F F V
LÓGICA MATEMÁTICA 19
Implicação
1. As tabelas-verdade das proposições p ^ q, p v q, p q são:
LÓGICA MATEMÁTICA 20
Implicação
- As mesmas tabelas-verdade também demonstram as
importantes Regras de Inferência:
p p v q e q p v q (Adição)
p ^ q p e p ^ q q (Simplificação)
LÓGICA MATEMÁTICA 21
Implicação
Regras de Inferência
Adição disjuntiva (AD) p p q
Simplificação conjuntiva(SIM) p q p ou p q q
Modus Ponens(MP) ( p q ) p q
Modus Tollens(MT) ( p q ) ~q ~p
Silogismo Disjuntivo(SD) ( p q ) ~q p
Silogismo Hipotético(SH) ( p q ) ( q r ) p r
Dilema Construtivo(DC) ( p q ) ( r s ) ( p r ) q s
Dilema Destrutivo(DD) ( p q ) ( r s ) ( ~q ~s ) ~p ~r
Absorção(ABS) p q p ( p q )
LÓGICA MATEMÁTICA 22
E por hoje...
LÓGICA MATEMÁTICA 23