Universidade Federal do Espírito Santo – CCA UFES

Universidade Federal do Espírito Santo

Centro de Ciências Agrárias – CCA UFES
Departamento de Computação

Implicação Lógica

Lógica Computacional 1
Site: http://jeiks.net
E-mail: jacsonrcsilva@gmail.com
Universidade Federal do Espírito Santo – CCA UFES

Implicação Lógica
● Definição
– A proposição P(p,q,r,...) implica logicamente a proposição
Q(p,q,r,...) quando Q é verdadeira todas as vezes que P é
verdadeira.
● Notação:
P(p,q,r,...)  Q(p,q,r,...)
● Exemplo:
p q pq pq p↔q Obtém-se:
V V V V V
V F F V F pqpq
F V F V F
F F F F V pqp↔q

2
Universidade Federal do Espírito Santo – CCA UFES

Exercícios
● Efetue a tabela verdade para as seguintes
sentenças e indique quais as implicações
lógicas existentes:
a) p  q
b) p  q  ~p
c) q → p
d) p → p  q

3
Universidade Federal do Espírito Santo – CCA UFES

Implicação Lógica
● Toda proposição implica uma Tautologia:
p p  ~p
V V
F V

p  p  ~p
● Somente uma contradição implica uma contradição:

p ~p p  ~p p  ~p → p  ~p

V F F F

F V F F

p  ~p  p  ~p → p  ~p

4
Universidade Federal do Espírito Santo – CCA UFES

Propriedades
● Reflexiva:
– P(p,q,r,...)  P(p,q,r,...)
– Uma proposição complexa implica ela mesma.

● 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,...)
– Se P  Q e Q  R, então P  R
5
Universidade Federal do Espírito Santo – CCA UFES

Regras de Inferência
● Inferência
– Ato ou processo de derivar conclusões lógicas de proposições
conhecidas ou decididamente verdadeiras.
– Em outras palavras: é a obtenção de novas proposições a partir de
proposições verdadeiras já existentes.

● Regras de Inferência obtidas da implicação lógica:

– Adição:
p q pq p q p↔q
ppq e qpq V V V V V
– Simplificação: V F F V F
pqq e p  q  q. F V F V F
F F F F V

.
6
Universidade Federal do Espírito Santo – CCA UFES

Regras de Inferência
● Silogismo Disjuntivo
(p  q)  ~p  q p q p q ~p (p  q)  ~p
V V V F F
(p  q)  ~q  p V F V F F
F V V V V
(p  q),
(p q), ~p
~p (p  q),
(p q), ~q
~q F F F V F
qq pp

● Modus Ponens p q p→q (p → q)  p

V V V V
(p → q)  p  q
V F F F

(p F V V F
(p →q),
→q), pp
F F V F
qq
7
Universidade Federal do Espírito Santo – CCA UFES

Regras de Inferência
● Modus Tollens
(p → q)  ~q  ~p
(p
(p →q),
→q), ~q
~q
~p
~p
p q p→q ~q (p → q)  ~q ~p
V V V F F F
V F F V F F
F V V F F V
F F V V V V

8
Universidade Federal do Espírito Santo – CCA UFES

Tautologias e Implicação Lógica

● Teorema p q (p → q)  p ((p → q)  p) → q
P(p,q,r,..)  Q(p,q,r,...) V V V V

se e somente se V F F V
F V F V
P(p,q,r,...) → Q(p,q,r,...)
F F F V

(p → q)  p  q e ((p → q)  p) →q
● Observe que:
→ indica uma operação lógica entre as proposições.
● Ex.: das proposições p e q, dá-se a nova proposição p → q.
 indica uma relação.
● Ex.: estabelece que a condicional P → Q é tautológica.

9
Universidade Federal do Espírito Santo – CCA UFES

Inferências
● Regra do Silogismo Hipotético
pp →q,
→q, qq →
→ rr
(p → q)  (q → r)  p → r
pp →
→ rr
● Princípio da inconsistência
– Como “p  ~p → q” é tautológica, subsiste a implicação
lógica p  ~p  q
– Assim, de uma contradição p  ~p se deduz qualquer
proposição q.
●
A proposição “(p ↔ q)  p” implica a proposição “q”,
pois a condicional “(p ↔ q)  p → q” é tautológica.
(p ↔ q)  p  q pp ↔
↔ q,
q, pp
qq
10