Estruturas Matemticas para Computao

AULA 02
Professor: Luiz Augusto Laranjeira luiz.laranjeira@gmail.com

Operaes sobre Proposies

2009/2, 2 aula

Negao Conjuno Disjuno Disjuno Exclusiva Condicional Bicondicional

Estruturas Matemticas para Computao 2

 Smbolo ~p, p', p ou p A negao de uma proposio p representada por no p, cujo valor lgico a verdade (V) quando p falsa e a falsidade (F) quando p verdadeira. No No = sim Ex.: Joo no gordo = Joo magro.
2009/2, 2 aula Estruturas Matemticas para Computao 3

Negao

Negao
Tabela verdade
p V ~p F

~ V = F, ~ F = V
e
2009/2, 2 aula

V(~ p) = ~ V(p)
Estruturas Matemticas para Computao 4

Negao
Vide exemplos pgina 18 do livro texto (Iniciao Lgica Matemtica Edgard A. Filho).

2009/2, 2 aula

Estruturas Matemticas para Computao

Conjuno
A conjuno de duas proposies p e q representada por p e q, cujo valor lgico a verdade (V) quando as proposies p e q so ambas verdadeiras e a falsidade (F) nos demais casos Smbolo: p q ou p q (onde l-se p e q)
2009/2, 2 aula Estruturas Matemticas para Computao 6

Conjuno
Tabela verdade
p
V V F F

q
V F V F

p.q
V F F F

Ou seja: V V = V, V F = F, F V = F, FF=F e V(p q) = V(p) V(q)

2009/2, 2 aula Estruturas Matemticas para Computao 7

Conjuno
Olhar exemplos do LT pgina 19.

2009/2, 2 aula

Estruturas Matemticas para Computao

Disjuno
Chama-se disjuno de duas proposies p e q a proposio representada por p ou q, cujo valor lgico a verdade (V) quando ao menos uma das proposies p e q verdadeira e a falsidade (F) quando as proposies p e q so ambas falsas.
2009/2, 2 aula Estruturas Matemticas para Computao 9

Disjuno
Smbolo: p + q ou p q Tabela verdade p q
V V F F V F V F p+q V V V F

2009/2, 2 aula

Onde: V + V = V, V + F = V, F + V = V, F + F = F e V(p + q) = V(p) + V(q)

Estruturas Matemticas para Computao

10

Disjuno
Vide exemplos do LT pg. 20.

2009/2, 2 aula

Estruturas Matemticas para Computao

11

Disjuno Exclusiva
p ou q, mas no ambos, cujo valor lgico a verdade (V) somente quando p verdadeira ou q verdadeira, mas no quando p e q so ambas verdadeiras, e a falsidade (F) quando p e q so ambas verdadeiras ou ambas falsas.
2009/2, 2 aula Estruturas Matemticas para Computao 12

Disjuno exclusiva
Smbolo: p q Tabela verdade
p V V q V F pq F V

F
F

V
F

V
F

Onde: VV = F, V F = V, F V = V, F F = F e V(p q) = V(p) V(q)

2009/2, 2 aula Estruturas Matemticas para Computao 13

Disjuno X Disjuno Exclusiva

P: Maria mdica ou1 escritora
Maria pode ser mdica e escritora ao mesmo tempo

Q: Jorge mineiro ou2 carioca

Jorge no pode ser mineiro e carioca ao mesmo tempo ( 1 ) ou inclusivo

( 2 ) ou exclusivo
2009/2, 2 aula Estruturas Matemticas para Computao 14

Disjuno X Disjuno Exclusiva

No confundir
Disjuno
Disjuno Exclusiva

p+q V+V=V
2009/2, 2 aula Estruturas Matemticas para Computao

p q VV=F
15

Condicional
Chama-se proposio condicional uma proposio representada por se p ento q, cujo valor lgico a falsidade (F) no caso em que p verdadeira e q falsa e a verdade(V) nos demais casos. Smbolo: p q

2009/2, 2 aula

Estruturas Matemticas para Computao

16

Condicional
Onde l-se:
p condio suficiente para q q condio necessria para p

Diz-se que p o antecedente e q o consequente. O smbolo chamado de smbolo de implicao.

2009/2, 2 aula

Estruturas Matemticas para Computao

17

Condicional
Tabela verdade
p V V F q V F V pq V F V

Onde: V V = V, V F = F, F V = V, F F = V e V(p q) = V(p) V(q)

2009/2, 2 aula Estruturas Matemticas para Computao 18

Condicional
Cuidado Uma condicional p q no afirma simplesmente que o consequente q se deduz ou consequncia do antecedente p. De forma mais geral, o condicional uma relao entre os valores lgicos do antecedente e do consequente de acordo com sua tabela verdade.
2009/2, 2 aula Estruturas Matemticas para Computao 19

Condicional
Vide exemplos da pgina 23 do LT.

2009/2, 2 aula

Estruturas Matemticas para Computao

20

Exerccio 1
Mostrar que A B equivalente a ~A + B.

2009/2, 2 aula

Estruturas Matemticas para Computao

21

Bicondicional
Chama-se proposio bicondicional uma proposio representada por p se e somente se q, cujo valor lgico a verdade (V) quando p e q so ambas verdadeiras ou ambas falsas, e a falsidade(F) nos demais casos. Smbolo: p q
2009/2, 2 aula Estruturas Matemticas para Computao 22

Bicondicional
Onde l-se:
p condio necessria e suficiente para q q condio necessria e suficiente para p

2009/2, 2 aula

Estruturas Matemticas para Computao

23

Bicondicional
Tabela verdade
p V V F F q V F V F pq V F F V

Onde: V V = V, V F = F, F V = F, F F = V e V(p q) = V(p) V(q)

2009/2, 2 aula Estruturas Matemticas para Computao 24

Bicondicional
A bicondicional p q verdadeira quando tambm o so as condicionais: pq e qp

2009/2, 2 aula

Estruturas Matemticas para Computao

25

Tabelas-Verdade de Proposies Compostas

possivel construir a tabela-verdade de toda proposio composta a partir dos valores lgicos das proposies simples componentes. Dada uma proposio composta com n proposies simples sua tabela verdade ter 2n linhas: NL = A2,n = 2n
2009/2, 2 aula Estruturas Matemticas para Computao 26

Exerccio 2
Construir a tabela verdade da proposio: P(p, q) = ~(p ~q)

2009/2, 2 aula

Estruturas Matemticas para Computao

27

Exerccio 3
Construir a tabela verdade da proposio: P(p, q) = ~(p + q) (q p)

2009/2, 2 aula

Estruturas Matemticas para Computao

28

Tautologia
toda proposio composta cujo valor lgico sempre V. Exemplos: p + ~p = V ~ (p ~p) = V Somente simplificar um expresso no tautologia. Deve-se chegar ao valor lgico V.
2009/2, 2 aula Estruturas Matemticas para Computao 29

Exerccio 4
Mostrar que a proposio abaixo uma tautologia. A B (A B)'

2009/2, 2 aula

Estruturas Matemticas para Computao

30

Exerccio 5
Mostrar que A + B equivalente a (A. B) Mostrar que A B equivalente a (A . B)
Este exerccio mostra que para toda proposio composta existe uma proposio equivalente formada apenas pelos conectivos de conjuno e negao.
2009/2, 2 aula Estruturas Matemticas para Computao 31

Exerccio 6
O conectivo binrio | definido por:
p
V V F F

q
V F V F

p | q
F F F V

Mostrar que qualquer proposio pode ser expressa em termos deste conectivo (usar o resultado do exerccio anterior).
2009/2, 2 aula Estruturas Matemticas para Computao 32

Exerccio 7
Provar que existem proposies que no podem ser expressas somente em termos dos conectivos e +

2009/2, 2 aula

Estruturas Matemticas para Computao

33

Exerccio 7 (soluo)
Provar que existem proposies que no podem ser expressas somente em termos dos conectivos e +. A prova consiste em se mostrar que no h meios de se expressar a operao de negao com estes dois conectivos: p p = ~p + p = V p+p=p

2009/2, 2 aula

Estruturas Matemticas para Computao

34