Fundamentos da

Computação 1
Aula 11
Conteúdo Visto
⚫ Sintaxe e Semântica da Logica Proposicional
⚫ Definimos uma proposição

⚫ Aprendemos os conectivos lógicos

⚫ Tradução

⚫ Formula para o português

⚫ Português para a formula

⚫ Tabela Verdade
⚫ Tautologia, Contradição, Contingência, Satisfazível
⚫ Ponto de Participação 01 , 02, 03
⚫ Sistemas de Especificação
Conteúdo Visto
⚫ Sintaxe e Semântica da Logica Proposicional
⚫ Definimos uma proposição

⚫ Aprendemos os conectivos lógicos

Esse é o conteúdo que
⚫ Tradução vimos até agora. Já
vimos todo o capítulo
⚫ Formula para o português1.1 do Rosen. E todos
os exercícios devem
⚫ Português para a formula ser completados.

⚫ Tabela Verdade
⚫ Tautologia, Contradição, Contingência, Satisfativel
⚫ Ponto de Participação 01 e 02
⚫ Sistemas de Especificação
Conteúdo de Hoje
⚫ Implicação Lógica
Relação entre Proposições
⚫ Apreendemos até agora conectivos, ou seja ,
operações lógicas.
⚫ ^, v, v, → , ↔

+, -, *, / são operações matemáticas

Relação entre Proposições
⚫ Apreendemos até agora conectivos, ou seja ,
operações lógicas.
⚫ ^, v, v, → , ↔

Agora vamos +, -, *, / são operações matemáticas

aprender relações
lógicas.
Relação entre Proposições
⚫ Apreendemos até agora conectivos, ou seja ,
operações lógicas.
⚫ ^, v, v, → , ↔
⚫ Na lógica temos duas relações
⚫ Implicação
⚫ Equivalência
Relação entre Proposições
⚫ Apreendemos até agora conectivos, ou seja ,
operações lógicas.
⚫ ^, v, v, → , ↔
⚫ Na lógica temos duas relações
⚫ Implicação
⚫ Equivalência
Na matemática as
relações são:
=, >, <, ≠
Entre outras.
Relação entre Proposições
⚫ Apreendemos até agora conectivos, ou seja ,
operações lógicas.
⚫ ^, v, v, → , ↔
⚫ Na lógica temos duas relações
⚫ Implicação
⚫ Equivalência
Vamos começar
com a implicação!!!
Implicação Lógica
⚫ Diz se que uma proposição (composta) P
implica logicamente ou apenas implica uma
proposição (composta) Q, se Q é verdadeira
todas as vezes que P é verdadeira.
Implicação Lógica
⚫ Diz se que uma proposição (composta) P
implica logicamente ou apenas implica uma
proposição (composta) Q, se Q é verdadeira
todas as vezes que P é verdadeira.

Isso quer dizer que

Se Valor(P) = V
então Valor(Q)=V
Implicação Lógica
⚫ Diz se que uma proposição (composta) P
implica logicamente ou apenas implica uma
proposição (composta) Q, se Q é verdadeira
todas as vezes que P é verdadeira.

Denotamos a
implicação por 
Implicação Lógica
⚫ p→q
p q p→q
V V
V F
F V
F F Vamos ver um
exemplo.
Implicação Lógica
⚫ p→q
p q p→q
V V V
V F
F V Considere a
F F condicional p→q.
Vamos fazer a
tabela verdade
dessa condicional.
Implicação Lógica
⚫ p→q
p q p→q
V V V
V F F
F V
F F
Implicação Lógica
⚫ p→q
p q p→q
V V V
V F F
F V V
F F
Implicação Lógica
⚫ p→q
p q p→q
V V V
V F F
F V V
F F V
Implicação Lógica
⚫ p→q
p q p→q ⚫ pp→q?
V V V
V F F
F V V
F F V Pergunta:
p implica p→q?
Implicação Lógica
⚫ p→q
p q p→q ⚫ pp→q?
V V V
V F F
F V V
F F V Para verificarmos
olhamos onde p é
V.
Implicação Lógica
⚫ p→q
p q p→q ⚫ pp→q?
V V V
V F F
F V V
F F V A proposição p é V
somente nessa
duas linhas
Implicação Lógica
⚫ p→q
p q p→q ⚫ pp→q?
V V V
V F F Aqui é falso.

F V V
F F V Nessas duas linhas
a proposição p→q
é V?
Implicação Lógica
⚫ p→q
p q p→q ⚫ pp→q?
V V V
V F F Aqui é falso.

F V V
Como na segunda
F F V linha p→q é F
dizemos que p não
implica p→q.
Implicação Lógica
⚫ p→q
p q p→q ⚫ p  p → q ? Falso
V V V
⚫ qp→q?
V F F
F V V
Um outro
F F V exemplo!!!

q implica p→q?
Implicação Lógica
⚫ p→q
p q p→q ⚫ p  p → q ? Falso
V V V
⚫ qp→q?
V F F
F V V
F F V q é Verdadeiro só
nessas duas
linhas!!!
Implicação Lógica
⚫ p→q
p q p→q ⚫ p  p → q ? Falso
V V V
⚫ q  p → q ? Verdadeiro
V F F
F V V
F F V Nessas duas linhas a
condicional também é
Verdadeira.
Logo q implica p→q.
Implicação Lógica
⚫ p→qp^q↔q
p q p→q
V V V
V F F
F V V
F F V Vamos fazer mais
um exemplo.
p→q implica p^q↔q
?
Implicação Lógica
⚫ p→qp^q↔q?
p q p→q p^q
V V V V
V F F
F V V
F F V Vamos fazer a
tabela verdade da
segunda
proposição.
Implicação Lógica
⚫ p→qp^q↔q?
p q p→q p^q
V V V V
V F F F
F V V
F F V
Implicação Lógica
⚫ p→qp^q↔q?
p q p→q p^q
V V V V
V F F F
F V V F
F F V
Implicação Lógica
⚫ p→qp^q↔q?
p q p→q p^q
V V V V
V F F F
F V V F
F F V F
Implicação Lógica
⚫ p→qp^q↔q?
p q p→q p^q p ^ q ↔q
V V V V
V F F F
F V V F
F F V F
Implicação Lógica
⚫ p→qp^q↔q
?
p q p→q p^q p^q↔q
V V V V V
V F F F
F V V F
F F V F
Implicação Lógica
⚫ p→qp^q↔q?
p q p→q p^q p^q↔q
V V V V V
V F F F V
F V V F
F F V F
Implicação Lógica
⚫ p→qp^q↔q?
p q p→q p^q p^q↔q
V V V V V
V F F F V
F V V F F
F F V F
Implicação Lógica
⚫ p→qp^q↔q?
p q p→q p^q p^q↔q
V V V V V
V F F F V
F V V F F
F F V F V
Implicação Lógica
⚫ p→qp^q↔q?
p q p→q p^q p^q↔q
V V V V V
V F F F V
F V V F F
F F V F VOnde a primeira
proposição (p→q) é
verdadeira?
Implicação Lógica
⚫ p→qp^q↔q?
p q p→q p^q p^q↔q
V V V V V
V F F F V
F V V F F
F F V F V
Resposta:
Nessas três linhas.
Implicação Lógica
⚫ p→qp^q↔q?
p q p→q p^q p^q↔q
V V V V V
V F F F V
F V V F F
Para a implicação
F F V F V acontecer a
segunda formula
também deve ser V
nessas três linha.
Implicação Lógica
⚫ p→qp^q↔q?
p q p→q p^q p^q↔q
V V V V V Nessa linha a
primeira proposição
V F F F V é V e a segunda é
F V V F F F.

F F V F V
Implicação Lógica
⚫ p → q  p ^ q ↔ q ? Não
p q p→q p^q p^q↔q
V V V V V
Por isso a p→q não
V F F F V implica p ^ q ↔ q
F V V F F
F F V F V
Implicação Lógica
⚫ p^q↔qp→q?

p q p→q p^q p^q↔q

V V V V V E o contrario?
p ^ q ↔ q implica
V F F F V p→ q
F V V F F
F F V F V
Implicação Lógica
⚫ p^q↔qp→q?

p q p→q p^q p^q↔q

Nessas linhas
V V V V V p ^ q ↔ q é V.
Analisando p→q
V F F F V nas mesmas
F V V F F linhas...

F F V F V
Implicação Lógica
⚫ p^q↔qp→q?

p q p→q p^q p^q↔q

Vemos que na
V V V V V segunda linha
p^q↔q éV
V F F F V enquanto p→q é F.
F V V F F Logo...

F F V F V
Implicação Lógica
⚫ p^q↔qp→q?
Não
p q p→q p^q p^q↔q
V V V V V
p ^ q ↔ q NÃO
V F F F V implica p → q
F V V F F
F F V F V
Implicação Lógica
⚫ Toda e qualquer proposição implica uma
tautologia.

Certo ou Errado? Que tal pensarmos

em algumas
relações?
Implicação Lógica
⚫ Toda e qualquer proposição implica uma
tautologia.
Sim, já que uma
tautologia é sempre
verdadeira
garantimos que a
primeira proposição
pode ser qualquer
coisa.
Implicação Lógica
⚫ Somente uma contradição implica uma
contradição!

Certo ou Errado ?
Implicação Lógica
⚫ Somente uma contradição implica uma
contradição!

Sim, já que a
segunda
proposição é
sempre F a
primeira também
deve ser.
Propriedades da Implicação
Lógica
⚫ Reflexiva
⚫ PP
Agora vamos falar
de algumas
propriedades das
⚫ Transitiva relações.
⚫ Se P  Q e Q  R, então P  R
Propriedades da Implicação
Lógica
⚫ Reflexiva
⚫ PP
A Propriedade
Reflexiva diz que
um proposição
⚫ Transitiva implica ela mesma.
⚫ Se P  Q e Q  R, então P  R
Propriedades da Implicação
Lógica
⚫ Reflexiva
⚫ PP A Propriedade
Transitiva é como a
da igualdade se
⚫ Transitiva x=y e y=z podemos
concluir que x=z.
⚫ Se P  Q e Q  R, então P  R
Implicação Lógica Vamos tentar
visualizar a
transitividade!!!

p q p→q p^q p^q↔p

V V V V V
V F F F F
F V V F V
F F V F V
P Q

⚫ Se P  Q e Q  R, então P  R
 Note na tabela que
Implicação Lógica q implica p ^ q ↔ p

p q p→q p^q p^q↔p

V V V V V
V F F F F
F V V F V
F F V F V
P Q

⚫ Se P  Q e Q  R, então P  R
 Agora veja que
p ^ q ↔ p implica
Implicação Lógica p→q

p q p→q p^q p^q↔p

V V V V V
V F F F F
F V V F V
F F V F V
P R Q

⚫ Se P  Q e Q  R, então P  R
 Agora se olharmos
bem vemos que q
Implicação Lógica implica p→q.

p q p→q p^q p^q↔p

V V V V V
V F F F F
F V V F V
F F V F V
P R Q

⚫ Se P  Q e Q  R, então P  R
Implicação Lógica
⚫ Demonstram algumas importantes regras de
inferência que serão vistas mais a frente.

⚫ Exemplos:
⚫ Regra da Adição
⚫ Regra da Simplificação
Implicação Lógica
⚫ Teorema:
⚫ Dada duas formulas H e G, H  G , se e
somente se a condicional H → G é uma
tautologia.

⚫ Exemplo:
⚫ p ^ ~p  q
⚫ Portanto, p ^ ~p → q é uma tautologia.

⚫ Podemos usar qualquer uma das duas formas

para mostrar uma implicação.
Implicação Lógica
⚫ p ^ ~p  q

p q ~p p^~p p^~p → q
F F
F V
V F
V V
Implicação Lógica
⚫ p ^ ~p  q

p q ~p p^~p p^~p → q
F F V
F V V
V F F
V V F
Implicação Lógica
⚫ p ^ ~p  q

p q ~p p^~p p^~p → q
F F V F
F V V
V F F
V V F
Implicação Lógica
⚫ p ^ ~p  q

p q ~p p^~p p^~p → q
F F V F
F V V F
V F F
V V F
Implicação Lógica
⚫ p ^ ~p  q

p q ~p p^~p p^~p → q
F F V F
F V V F
V F F F
V V F
Implicação Lógica
⚫ p ^ ~p  q

p q ~p p^~p p^~p → q
F F V F
F V V F
V F F F
V V F F
Implicação Lógica
⚫ p ^ ~p  q

p q ~p p^~p p^~p → q
F F V F
F V V F
V F F F
V V F F

Isso é uma contradição

Implicação Lógica
⚫ p ^ ~p  q

p q ~p p^~p p^~p → q
F F V F V
F V V F
V F F F
V V F F
Implicação Lógica
⚫ p ^ ~p  q

p q ~p p^~p p^~p → q
F F V F V
F V V F V
V F F F
V V F F
Implicação Lógica
⚫ p ^ ~p  q

p q ~p p^~p p^~p → q
F F V F V
F V V F V
V F F F V
V V F F
Implicação Lógica
⚫ p ^ ~p  q

p q ~p p^~p p^~p → q
F F V F V
F V V F V
V F F F V
V V F F V
Implicação Lógica
⚫ p ^ ~p  q

p q ~p p^~p p^~p → q
F F V F V
F V V F V
V F F F V
V V F F V

Isso é uma tautologia

Implicação Lógica
⚫ p ^ ~p  q Logo....

p q ~p p^~p p^~p → q
F F V F V
F V V F V
V F F F V
V V F F V

Isso é uma tautologia

Propriedades da Implicação
Lógica
⚫ Reflexiva
⚫ PP
Agora vamos falar
de algumas
propriedades das
⚫ Transitiva relações.
⚫ Se P  Q e Q  R, então P  R
Propriedades da Implicação
Lógica
⚫ Reflexiva
p→q p→q
A Propriedade
Reflexiva diz que
p q p→q p→q um proposição
implica ela mesma.
F F V V
F V V V
V F F F
V V V V
Propriedades da Implicação
Lógica
⚫ Transitiva
⚫ Se P  Q e Q  R, então P  R A Propriedade
Transitiva é como a
da igualdade se
x=y e y=z podemos
concluir que x=z.
Implicação Lógica Vamos tentar
visualizar a
transitividade!!!

p q p→q p^q p^q↔p

V V V V V
V F F F F
F V V F V
F F V F V
P Q

⚫ Se P  Q e Q  R, então P  R
 Note na tabela que
Implicação Lógica q implica p → q

p q p→q p^q p^q↔p

V V V V V
V F F F F
F V V F V
F F V F V
P Q

⚫ Se P  Q e Q  R, então P  R
 Agora veja que
Implicação Lógica p→q
implica p ^ q ↔ p

p q p→q p^q p^q↔p

V V V V V
V F F F F
F V V F V
F F V F V
P Q R

⚫ Se P  Q e Q  R, então P  R
 Então vimos que:
qp→qe
Implicação Lógica p→qp^q↔p
Concluímos que:
qp^q↔p

p q p→q p^q p^q↔p

V V V V V
V F F F F
F V V F V
F F V F V
P R Q

⚫ Se P  Q e Q  R, então P  R
Implicação Lógica
⚫ Demonstram algumas importantes regras de
inferência que serão vistas mais a frente.

⚫ Exemplos:
⚫ Regra da Adição
⚫ Regra da Simplificação
Implicação Lógica
⚫ Teorema:
⚫ Dada duas formulas H e G, H  G , se e
somente se a condicional H → G é uma
tautologia.

⚫ Exemplo:
⚫ p ^ ~p  q
⚫ Portanto, p ^ ~p → q é uma tautologia.

⚫ Podemos usar qualquer uma das duas formas

para mostrar uma implicação.
Implicação Lógica
⚫ p ^ ~p  q Logo....

p q ~p p^~p p^~p → q
F F V F V
F V V F V
V F F F V
V V F F V

Isso é uma tautologia

Exercícios
⚫ Sejam H e G as fórmulas indicadas a seguir.
Identifique se H  G.
⚫ H = (p ^ q) , G = (p) Assim terminamos
⚫ H = (p v q) , G = (p) a aula de hoje.
Façam esses
⚫ H = ((p v q) ^ ~p) , G = (q) exercícios para a
próxima aula.
⚫ H = ((p v q) ^ ~q) , G = (p)
⚫ H = ((p → q) ^ p) , G = (q)
⚫ H = ((p → q) ^ ~q) , G = (~p)