CENTRO UNIVERSITÁRIO – CESMAC

FACULDADE DE CIÊNCIAS EXATAS - FACET

LÓGICA MATEMÁTICA
CURSO: SISTEMAS DE INFORMAÇÃO
1º PERÍODO

Prof.: Hugo Souza

hugo.souza@cesmac.com.br
 Objetivo da aula de hoje...
• Continuaremos os conceitos de Lógica
Proposicional
• Conheceremos os conceitos de Implicação
Lógica

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.

b) Não podemos escrever que 3 > 2  3 > 4, pois a

proposição condicional: 3 > 2  3 > 4 é falsa.

LÓGICA MATEMÁTICA 8
 Implicação
• Observação:

 DIFERENTE 

• O símbolo  entre duas proposições dadas indica

uma relação, isto é, que a proposição condicional
associada é uma tautologia, enquanto  realiza uma
operação entre proposições dando origem a uma
nova proposição p  q (que pode conter valores
lógicos V ou F).

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

p q p^q pvq pq

V V V V V
V F F V F
Assim, diz-se que p ^ q  p v q
F V F V F
F F eFp ^ q F p  Vq

LÓGICA MATEMÁTICA 11
 Implicação

p ^ q, p v q, p  q
p q p^q pvq pq
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 pq
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 pq
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

REGRA MODUS ponens

(p  q) ^ ~q  ~p

REGRA MODUS tollens

LÓGICA MATEMÁTICA 16
 Implicação
• Teorema:

- A proposição P(p,q,r,...) IMPLICA a proposição

Q(p,q,r,...) se e somente se a condicional P  Q é
tautológica.

• P(p,q,r,...)  Q(p,q,r,...) se e somente se:

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

- Como (p ^ q)  p é uma tautologia, então (p ^ q) 

p, isto é, ocorre a implicação lógica.

LÓGICA MATEMÁTICA 19
 Implicação
1. As tabelas-verdade das proposições p ^ q, p v q, p  q são:

- A proposição “p ^ q” é verdadeira (V)

somente na linha 1 e, nesta linha, as
proposições “p v q” e “p  q” também
são verdadeiras (V). Logo, a primeira
posição implica cada uma das outras
posições, isto é:

p^q pvq e p^qpq

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

• Vamos ter uma revisão para a Avaliação 1

• Obrigado!
• Até a próxima aula!

LÓGICA MATEMÁTICA 23