Académique Documents
Professionnel Documents
Culture Documents
1
27/02/2018
Negação;
Conjunção;
Disjunção;
Condicional;
Bicondicional.
2
27/02/2018
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
De maneira genérica:
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
V V
V F
F V
F F
14
27/02/2018
V V F
V F V
F V F
F F V
V V F F
V F V V
F V F F
F F V F
15
27/02/2018
V V F F V
V F V V F
F V F F V
F F V F V
16
27/02/2018
17