27/02/2018

Lógica aplicada à Computação

Engenharia de Software
Prof.ª: Clarissa Avelino Xavier de Camargo

1
 27/02/2018

 Princípio do terceiro excluído: valor lógico V ou F para

proposição p;

O valor lógico de qualquer proposição composta depende

unicamente dos valores lógicos da proposições simples
componentes;

 Tabela de duas proposições: arranjos binários;

 Tabela de três proposições: arranjos ternários;

 Negação;
 Conjunção;
 Disjunção;
 Condicional;
 Bicondicional.

2
 27/02/2018

 Tabela-verdade figura todos os possíveis valores

lógicos da proposição composta;

 No caso de uma proposição composta cujas

proposições simples componentes sejam p e q,
atribui-se todos os possíveis valores lógicos para p
e para q;

 Nº de linhas da tabela-verdade de proposição composta

depende do nº de proposições simples que a compõe;

 “A tabela-verdade de uma proposição composta com n

proposições simples componentes contém 2n linhas.”

3
 27/02/2018

 Notação:
◦ O valor lógico de uma proposição simples p indica-se
por V(p).
◦ Exprime-se que p é verdadeira (V), escrevendo V(p) = V.
◦ Obs.: pode ser usado o valor T (true) para valor lógico
verdadeiro;

 Se:
◦ p: O Sol é verde
◦ q: Um hexágono tem 9 diagonais
◦ r: 2 é raiz da equação x² + 3x – 4 = 0
 Tem-se:
◦ V(p) = F, V(q) = V, V(r) = F

4
 27/02/2018

p q  Arranjos binários:
1 V V ◦ VV
2 V F ◦ VF
3 F V ◦ FV
4 F V ◦ FF

5
 27/02/2018

p q r

1 V V V  Arranjos ternários:
2 V V F ◦ VVV
◦ VVF
3 V F V
◦ VFV
4 V F F ◦ VFF
5 F V V ◦ FVV
◦ FVF
6 F V F
◦ FFV
7 F F V ◦ FFF
8 F F F

6
 27/02/2018

 Igualdades:
◦ ¬V = F
p ¬p
◦ ¬F = V
V F

F V  Ex.:
◦ r: Roma é a capital da França
◦ ¬r: Roma não é a capital da França

 Igualdades:
p q p^q
◦ V ^ V = V;
◦ V ^ F = F, F ^ V = F, F ^ F = F
V V V
 Ex.:
V F F ◦ p: a neve é branca
◦ q: 2 < 5
F V F
◦ V(p ^ q) = V
F F F ◦ p: o enxofre é verde
◦ q: 7 é um número primo
◦ V(p ^ q) = F

7
 27/02/2018

 Igualdades:
p q p ˅q
◦ V ˅ V = V, V ˅ F = V, F ˅ V = V;
◦ F˅F=F
V V V
 Ex.:
V F V ◦ p: Paris é a capital da França
◦ q: 9 – 4 = 2
F V V
◦ V(p ˅ q) = V
F F F ◦ p: a Terra é quadrada
◦ q: 2 é um número ímpar
◦ V(p ˅ q) = F

 Igualdades:
p q p →q
◦ V → V = V, F → V = V, F → F = V;
◦ V→F=F
V V V
 Ex.:
V F F ◦ p: o mês de Maio tem 31 dias
◦ q: o ano tem 12 meses
F V V
◦ V(p → q) = V
F F V ◦ p: a Terra é redonda
◦ q: Santos Dumont nasceu no Ceará
◦ V(p → q) = F

8
 27/02/2018

 Igualdades:
p q p ↔q
◦ V ↔ V = V, F ↔ F = V;
◦ V ↔ F = F, F ↔ V = F
V V V
 Ex.:
V F F ◦ p: Roma fica na Europa
◦ q: a neve é branca
F V F
◦ V(p ↔ q) = V
F F V ◦ p: Vasco da Gama descobriu o Brasil
◦ q: Tiradentes foi enforcado
◦ V(p ↔ q) = F

9
 27/02/2018

 Sendo proposição composta:

◦ P(p, q) = ¬p ˅ (p → q)

 Nº de linhas da tabela-verdade de proposição composta

depende do nº de proposições simples que a compõe;

“A tabela-verdade de uma proposição composta com n

proposições simples componentes contém 2n linhas.”

 De maneira genérica:

◦ Se há n proposições simples componentes: p1, p2, ... , pn

◦ A k-ésima proposição simples pk(k ≤ n) atribui-se
alternadamente 2n/2k = 2n-k valores V seguidos de igual
número de valores F.

10
 27/02/2018

 Exemplo:
◦ Uma proposição composta de cinco (5) proposições
simples componentes, a tabela-verdade contém 25 = 32
linhas e os grupos de valores V e F se alternam de 16 em
16 para a 1ª proposição p1, de 8 em 8 para 2ªproposição
p2 e assim sucessivamente, até a proposição p5 que se
alterna de 1 em 1.

 P (p, q) = ~(p ^ ~ q)
 P (p, q) = ~(p ^ q) v ~(q <-> p)
 P(p, q, r) = p v ~r -> q ^ ~r
 P(p, q, r) = (p -> q) ^ (q -> r) -> (p -> r)
 P(p, q, r) = (p -> (~q v r)) ^ ~(q v (p <-> ~r))

11
 27/02/2018

 P (p, q) = ~(p ^ ~ q) p q ¬ (p ^ ¬ q)

V V

V F

F V

F F

 P (p, q) = ~(p ^ ~ q) p q ¬ (p ^ ¬ q)

V V V V

V F V F

F V F V

F F F F

1 1

12
 27/02/2018

 P (p, q) = ~(p ^ ~ q) p q ¬ (p ^ ¬ q)

V V V F V

V F V V F

F V F F V

F F F V F

1 2 1

 P (p, q) = ~(p ^ ~ q) p q ¬ (p ^ ¬ q)

V V V F F V

V F V V V F

F V F F F V

F F F F V F

1 3 2 1

13
 27/02/2018

 P (p, q) = ~(p ^ ~ q) p q ¬ (p ^ ¬ q)

V V V V F F V

V F F V V V F

F V V F F F V

F F V F F V F

4 1 3 2 1

 P (p, q) = ~(p ^ ~ q) p q ¬q p ^ ¬q ¬(p ^ ¬q)

V V

V F

F V

F F

14
 27/02/2018

 P (p, q) = ~(p ^ ~ q) p q ¬q p ^ ¬q ¬(p ^ ¬q)

V V F

V F V

F V F

F F V

 P (p, q) = ~(p ^ ~ q) p q ¬q p ^ ¬q ¬(p ^ ¬q)

V V F F

V F V V

F V F F

F F V F

15
 27/02/2018

 P (p, q) = ~(p ^ ~ q) p q ¬q p ^ ¬q ¬(p ^ ¬q)

V V F F V

V F V V F

F V F F V

F F V F V

 Os valores lógicos da proposição composta dada

correspondentes a todas as possíveis atribuições dos
valores lógicos V e F às proposições simples
componentes p e q (VV, VF, FV e FF) são V, F, V, V, isto é,
simbolicamente:

P(VV) = V, P(VF) = F, P(FV) = V, P(FF) = V

16
 27/02/2018

 P (p, q) = ~(p ^ q) v ~(q <-> p)

 P(p, q, r) = p v ~r -> q ^ ~r
 P(p, q, r) = (p -> q) ^ (q -> r) -> (p -> r)
 P(p, q, r) = (p -> (~q v r)) ^ ~(q v (p <-> ~r))

17