1

MATEMTICA DISCRETA

CLCULO PROPOSICIONAL

PROFESSOR

WALTER PAULETTE FATEC SP

2009 02

CLCULO PROPOSICIONAL
1. Proposies Uma proposio uma sentena declarativa que pode ser verdade ou falsa, mas no ambas. As proposies podem ser divididas em proposies simples e compostas. 1.1. Proposies simples a) Pedro aluno do Curso de Informtica. b) A terra gira em torno do sol. c) O leite branco. d) 7 quadrado perfeito. 1.2. Proposies compostas e) f) g) h) i) Cabral descobriu o Brasil e Colombo a Amrica. Bruno cursa Informtica e Mariel Estatstica. O tringulo ABC isscele ou retngulo. Se Pedro estudioso, ento ser aprovado. ABC tringulo eqiltero se, e somente se, eqingulo.

1.3. Princpio da no contradio Uma proposio no pode ser verdadeira e falsa ao mesmo tempo. So verdadeiras (a), (b) e (c) e falsa (d). 1.4. Princpio do terceiro excludo. Toda proposio ou verdadeira ou falsa. Sempre ocorre esses casos e nunca um terceiro. 2. Operaes lgicas O clculo das proposies consiste nas operaes fundamentais que partem de proposies simples para se chegar s proposies compostas. As operaes que podem ser efetuadas so: A negao, a conjuno, a disjuno, a condicional e a bicondicional.

2.1. Conectivos O Clculo das proposies destaca cinco operadores lgicos, a saber: ...no...(denota-se ) ... e... (denota-se ) ...ou...(denota-se ) ...se,... ento... (denota-se ) ...se, e somente se ... (denota-se )

3 O primeiro operador dito unrio, pelo fato de operar sobre um s operando; os demais so operadores binrios, j que operam sobre dois operandos. 2.2. Negao a mais simples operao-verdade. Se a proposio A verdadeira, ento falsa, se A falsa, ento A verdadeira. A: 2/3 um nmero racional. (verdade) A: 2/3 no um nmero racional. (falso) ou A: 2/3 um nmero irracional. (falso) Tabela verdade para a negao A

A V F 2.3. Conjuno ( )

A F V

A 1 0

A 0 1

Essa operao-verdade corresponde ao termo e e seu smbolo . Por meio da conjuno possvel, dadas duas proposies simples A e B obter-se outra composta A B que ser verdadeira somente quando A e B forem verdadeiras. A: Recife a capital de Pernambuco. B: Manaus a capital do Amazonas. A A V V F F Exemplo 01. Jos de Alencar escreveu o Guarani e Machado de Assis Capitu. ( V 5+2=7 e 3> 5. ( V F = F ) > 4 e 7 nmero primo. ( F V = F ) > 4 e 8 nmero mpar. ( F F = F ) V = V) B: Recife a capital de Pernambuco e Manaus a capital do Amazonas. B V F V F A V F F F B A 1 1 0 0 B 1 0 1 0 A 1 0 0 0 B

4 2.4. Disjuno ( )

Essa operao-verdade corresponde ao termo ou e seu smbolo . Por meio da disjuno possvel, dadas duas proposies simples A e B obter-se outra composta A B que ser falsa somente quando A e B forem falsas. A: Recife a capital de Pernambuco. B: Manaus a capital do Amazonas. A A V V F F Exemplo 02. 2+2=4 ou 5>3 ( V V = V) 4 ou 7 nmero primo. ( F 4 ou 8 nmero primo. ( F 2.5. Condicional ( ) B: Recife a capital de Pernambuco ou Manaus a capital do Amazonas. B V F V F A V V V F B A 1 1 0 0 B 1 0 1 0 A 1 1 1 0 B

V =V) F =F )

Se chover, ento irei ao cinema. Se estudar, ento serei aprovado. Seja A: estudar B: serei aprovado A partir de duas proposies A e B, construmos uma nova proposio A B (se A, ento B) ou A implica B. A tabela verdade dada por: A V V F F B V F V F A V F V V B A 1 1 0 0 B 1 0 1 0 A 1 0 1 1 B

5 Observao 01: Da teoria dos conjuntos sabemos que A B B ou A B x A B , ento x B, isto , sempre verdade que se x est em B sempre verdadeira. est em B. Logo, na tabela A B A V V F F B V F V F A V F F F B A V F F F B V V V V B V F V F

A , assim, se A B , ento x

Observando as trs ltimas colunas podemos escrever: V V= V F F= V F V=V Observao 02: Uma proposio A independente do valor de B. Observao 03: Uma proposio A

B sempre Verdadeira (V) desde que A seja Falsa (F),

B Verdadeira sempre que B verdadeira.

Exemplo 03. 1) Se 2 + 2 =5, ento 1 1 (verdade) 2) Se 2 + 2 =5, ento 1 = 1 (verdade) 3) Se o Papa joga no Corinthians, ento o Palmeiras ser campeo. 3) Se o Papa joga no Corinthians, ento todos os alunos de Matemtica Discreta sero aprovados. Observao 04: As proposies no Exemplo 03 so trivialmente verdadeiras pois, A : 2 + 2 =5 ou A: O Papa joga no Corinthians,so falsas. 2.5. Bicondicional ( )

Encontramos com freqncia a forma: A se, e somente se, B que definida por (A A V V F F B V F V F A V F V V B B V V F V A (A B) V F F V B) (B (B A) A)

Segue, portanto, a tabela verdade para a bicondicional. A V V F F B V F V F A V F F V B A 1 1 0 0 B 1 0 1 0 A 1 0 0 1 B

Exerccios de aplicao 01: Escreva em linguagem corrente. 1) A: Est frio. B: Est chovendo. a) b) A c) A d) A e) A f) g) A A A: B: B: B; B: B: B:

2) Analogamente: A: Pedro aluno de ADS B: ADS Curso da Fatec SP 3) Escreva em linguagem simblica as sentenas. p: Carolina alta. q: Carolina elegante. a) Carolina alta e elegante. b) Carolina alta mas no elegante. c) falso, que Carolina baixa ou elegante. d) Carolina no nem baixa nem elegante. e) Carolina alta, ou ela baixa e elegante.

4) Dar o valor lgico das proposies. a) Porto Alegre a capital do Estado do Paran ou 10 par. ( )

b) Se 3 > c) Se 3 > d) Se

, ento

racional. ( )

, ento o Corinthians ser campeo Paulista de 2009. ( )

1 , ento 4 9 36 6.

5.

( )

e) 2+3=5 se, e somente se f)

( )

23

se, e somente se 2+2+2=6. ( )

2.7. Formas sentenciais Quando estudamos as expresses numricas, observamos expresses com as operaes de adio, subtrao, multiplicao e diviso organizadas com parnteses, colchetes e chaves. Da mesma forma ocorrem as formas sentenciais usando

, , ,

2.8. Tabelas-verdade Para cada forma sentencial podemos montar uma tabela-verdade. Exemplo 04. Construir a tabela verdade relativa forma sentencial

[( A
A V V V V F F F F B V V F F V V F F

B) ( A C)]
C V F V F V F V F

(B
A
F F F F V V V V

C)
A C
V F V F V V V V F F V V F V F F

A
V V F F V V V V

C
F V F V F V F V

B
F V F F F V F F

8 Exemplo 05. Construir a tabela verdade relativa forma sentencial

[( A
A B V V V V V V F F F F F F V V F F

B) ( B
C V F V F V F V F

C]
C
V F V V V F V V

(A
V V V V V V V V

C)
A
V F V F V V V V

A
V V F F V V V V

B B

Exemplo 06. Tabela-verdade simplificada.

(A
V V F F

B)
V F V V V F V F V V V V

( A B)
F F V V V F V V V F V F

Exerccios de aplicao 02: Construir a tabela verdade relativa forma sentencial (Simplificada ou no). 1) 2) 3) 4)

( p q) ( p [ A ( B C)] [( A B)
[( A C ) B)
B)

q) (A
C )] A)]
A)]

C)

(C D)]
(B ( C
( C

( D
[( B [( A
[( A

A)
A)
B)

(A B) (C
(C

C )] A)]
B)]

5) [( A 6) [( A

9 2.9. Tautologia Contradio Uma forma sentencial diz-se tautologia, se assumir valor V para quaisquer que sejam os valores atribudos s variveis e se assumir o valor F diremos que uma contradio. Exemplo 07. A forma sentencial que segue uma tautologia.

(A

B)

( A B)

V V V V F V V V F F V F F F F V V V V V V F V F V V V F Exemplo 08. A forma sentencial que segue uma contradio.

( A B)
V V F F Exemplo 09. Se a forma sentencial V V V F V F V F F F F F

( A
F F V V F F F V F V F V

B)

(A

( B C )) (B C)

(B

C ) falsa,

quais valores possveis de verdade, que podem assumir A, B e C?

(A

( B C ))

____________________0___________ 1 concluso ____1______________________ 0_______2 concluso __________1____0_________1_____0___ 3 concluso _________0_________________________ 4 concluso _0__________0_____________________ 5 concluso Assim, A=0, B=1 e C=0 Exerccios de aplicao 02: As formas sentencias que seguem so falsas, quais valores possveis de verdade, que podem assumir A, B, C e D?

[A 2) ( A 3) A
1)

( B D)] A (B C) B) [( B C ) C ] ( (B C) D) (( B E ) ( C

D)

10

4)

A
C

C C (B C) A
falsa, e a

5) Se a forma sentencial sentena assumir A, B e C?

( A B)

B verdadeira. Quais os valores possveis de verdade, que podem

3)A=B=C=D=E=1

Respostas dos exerccios de aplicao 02: 1) A=B=1 e C=D=0 2) A=B=1 e C=0 4) A=B=0e C=1 5) A=C=0 e B=1 2.10. Implicaes e equivalncias lgicas (~)

Dizemos que uma forma sentencial X implica logicamente uma forma sentencial Y, se a forma sentencial X Y for uma tautologia. Exemplo 10. Seja X:

B e Y: A B , mostremos que X ~ Y isto

A
V V F F

B
V F V F

( A B) A B
V F V V V V V V

( A B) A
F F V V V F V V

B
V F V F

2.11. Equivalncias lgicas Fundamentais

E : Lei da dupla negao:

1

A~ A
A
F V V F

A
V F

Exemplo 11. No entendi nada desta explicao ~ entendi tudo.

A : Entendi essa explicao. A : No entendi essa explicao. A : No entendi nada essa explicao ~ A : entendi tudo.

11

: Lei da idempotncia:

A
V F

A A ~A A A
V F V V

e
A
V F

A A~ A

A
V F

A
V F

A
V V

A
V F

: Lei da Comutatividade:

a)

A B ~B
B
V F V F V V V V

A
B
V F V F V F F F

A
V V F F V F F F

A
V V F F

b)

A B~B
B
V F V F V V V V

A
B
V F V F V F F F

A
V V F F V F F F

A
V V F F

: Leis da associatividade: a)

( A B) C ~ A ( B C )

b)

( A B) C ~ A ( B C )

12

: Leis de De Morgan a) b)

( A B) ~ ( A

B)

( A B) ~ ( A
a)

B)

Demonstrao: Usaremos 1 para V e 0 para F

A
0 0 0 1 1 1 0 0 b) 1 1 1 0

( A B) ~ ( A B) A B
1 0 1 0 1 1 1 1 0 0 1 1 0 0 0 1

B
0 1 0 1

A
0 0 0 1 1 1 0 0

( A B) ~ ( A B
1 1 1 0 1 0 1 0 1 1 1 1

B) A
0 0 1 1 0 0 0 1

B
0 1 0 1

Mostre as propriedades que seguem usando as tabelas- verdade.

: Leis distributivas ou de fatorao

A ( B C ) ~ ( A B) ( A C ) ( B C ) ~ ( A B) ( A C ) b) A
a)

: Leis de absoro 1) 2) 3)

A ( A B) ~ A A ( A B) ~ A ( A B) B ~ (A

B) B)

4)

( A B)

B ~ (A

13 5) Se T tautologia e F uma contradio, ento

(T A) ~ A A) ~ F c) ( F
a) Mostremos a)

b)

(T A) ~ T A) ~ A d) ( F

(T
T

A) ~ A
A
1 1 0 0 1 1 0 0 1 1 1 1

A
1 1 0 0

1 1 1 1

Mostre as propriedades b) c)

d) usando as tabelas- verdade.

: Contrapositivo.

(A
A
1 1 0 0 1 0 1 1

B) ~ ( B
B
1 0 1 0 1 1 1 1

A)
B
0 1 0 1 1 0 1 1

A
0 0 1 1

: Eliminao da condicional a)

(A
B
1 0 1 0

B) ~ ( A B)
A
1 1 1 1 0 0 1 1 1 0 1 1

A
1 1 0 0 b) 1 0 1 1

B
1 0 1 1

(A
1 0 1 0

B) ~ ( A
B
1 1 1 1 1 0 1 1

B)
A
0 1 0 0

A
1 1 0 0 1 0 1 1

B
0 1 0 1

14

10

: Eliminao da Bicondicional

a)

(A
1 0 0 1 1 0 1 0

B) ~ ( A B) ( A
B
1 1 1 1

B)
A B
0 0 0 1

A
1 1 0 0 b)

A B
1 0 0 0 1 0 0 1

(A
B
1 0 0 1 1 0 1 0

B) ~ ( A B) ( B
A B
1 1 1 1 1 0 1 1 1 0 0 1

A)
B
1 1 0 1

A
1 1 0 0

Exerccios de aplicao 03: Nota: Nos exerccios que seguem use as leis apresentadas, indicando qual esta sendo usada. 1)A forma sentencial equivalente a A)

(A
A B

B)
c)

(A
A B

B) B
d)

logicamente

b)

2)A forma sentencial equivalente a a)

[( B

C)

A] ( C B) [A
d) c)

B) logicamente C (B ( A B) B)]

(A

3)A forma sentencial

B) b) C ( A ( A A) B
b)

logicamente equivalente a a)

( A B) C (A

4) A forma sentencial equivalente a a)

A B A (B
b)

c)

A B C) [( A

( B A) B) C ] logicamente A (B C)

B)

C (A

B)

c)

15 5) A forma sentencial

( A B)

(B

A)

[ (A

B) ( B
c)

A) (C

A) (C

C )]

logicamente equivalente a a) b) Respostas dos exerccios de aplicao 03: 1)c 2) a 3) d 4) c 5)a Observao: Nos exerccios que seguem importante conhecer a leitura das proposies e sua simbologia. Assim

(A

B)

C (A

B)

(B C)

B:

l-se:

B: A

Se A , ento B A somente se B A condio suficiente para B . B condio necessria para A . condio necessria suficiente para B .

Exemplo 12. Indique em quais casos temos c.s, c.n e c.n.s. a) A: n divisvel por 6 b) A: x < 0 e y < 0 c) A: x mpar d) A: x = 2 e) A: Exemplo 13. Dar a negao em linguagem corrente das proposies. As rosas so amarelas e os cravos brancos. Soluo: Definindo: A: As rosas so amarelas. B: Os cravos brancos. Assim, podemos escrever B: n nmero par B: x .y > 0 B: x impar 2 B: x =4 B: x = 2
2

(c.s) (c.s) (c.n.s) (c.s) (c.n)

x 2 =4

A B

B (Leis de De Morgan) Negao de A B ( A B) ~ A As rosas no so amarelas ou os cravos no so brancos.

16 Exemplo 14. Dar a negao em linguagem corrente das proposies. Se estiver cansado ou com fome, no consigo estudar. Definindo: C: estiver cansado F: com fome E: consigo estudar E: no consigo estudar. Assim, podemos escrever: (C F) E , negando:

[(C F )

E] ~ [ (C F )

E] ~ (C F ) E .

Portanto, Mesmo cansado ou com fome eu estudo. Estando cansado ou com fome consigo estudar.

Exemplo 15. Dar a negao em linguagem corrente das proposies. A temperatura diminuir somente se chover ou nevar. Definindo: D: A temperatura diminuir C: chover N: nevar Assim, podemos escrever:

(C

N ) , negando
N )] ~ D
(C N ) ~ D

[D

(C

N )] ~ [ D (C

N)

A temperatura diminuir mesmo no chovendo e no nevando. No chover e no nevar e mesmo assim a temperatura diminuir. Exerccios de aplicao 04: Dar a negao em linguagem corrente das proposies. 1) Far sol se, e somente se no chover. 2) Bruno aluno MD ou pesquisador. 3) Existe menina feia. 4)Todo menino gosta de futebol. 5) Nenhuma menina gosta do Corinthians. 6) Tudo que bom engorda. 7)Todos os homens so mortais. 8)Thas inteligente e estuda.

17 9)O Corinthians ganhar o campeonato brasileiro se o juiz roubar ou os santos ajudarem. Respostas dos exerccios de aplicao 04: 1) Far sol se, e somente se chover. 2) No aluno Bruno MD e no pesquisador. 3) Todas as meninas no so feias. 4) Existe menino e que no gosta de futebol. 5) Existem meninas que no gostam do Corinthians. 6) Nem Tudo que bom engorda.( Existe coisa boa e que no engorda) 7) Existem homens que no so mortais. 8) Thas no inteligente ou no estuda. 9) Mesmo o juiz roubando ou os santos ajudando, o Corinthians no ganhar o campeonato brasileiro. 2.11. Argumentos Sejam

P , P2 ,..., Pn 1

proposies. Denomina-se argumento a toda afirmao

de que uma dada seqncia finita de proposies final

P , P2 ,..., Pn acarreta uma proposio 1

Q

Q.

P , P2 ,..., Pn 1

denominam-se premissas, e

concluso. L-se

P , P2 ,..., Pn acarreta Q ou 1 Q decorre de P , P2 ,..., Pn . 1

Um argumento que consiste em duas premissas e uma concluso, denomina-se silogismo. Um argumento P , P2 ,..., Pn Q valido se, e somente se a condicional 1

(P 1

P2

... Pn ) Q uma tautologia.

Exemplo 16. Verifique em cada um dos casos abaixo, se a argumentao vlida ou uma falcia . 1) Sejam as Premissas: i) Se um homem feliz, ele no solteiro. ii) Se um homem no feliz, ele morre cedo. Concluso: Homens solteiros morrem cedo. Chamando

18

F: Homem feliz S: Solteiro C: morre Cedo Podemos escrever a forma simblica (argumentao) como:

[( F

S)

( F

C)]

(S

C)

______1________1________1___________ 1_______ 1 concluso ___________1__________________________________2 concluso __________0___________________________________3 concluso ___0__________________0_______________________4 concluso ____________________1________1______________1_ 5 concluso __________________________________1______1____final Portanto, a argumentao verdadeira. 2) Sejam as Premissas: i) Se um homem no fuma , ento atleta ou no alcolatra. ii) Se um homem fuma, ento tem cncer. iii) Paulo no atleta mas alcolatra. Concluso: Paulo tem cncer. Chamando F: Fuma C: Cncer At: Atleta Al: Alcolatra

( F

(A
t

A ))
l

( A
t

A)
l

______ 1____________________1__________ __ 1__________1 concluso ______________________________________1__ ___1____ 2 concluso ___________0______1_____________________0____________3 concluso ________________0____________________________________4 concluso ______________0______________________________________5 concluso ___0_________________________________________________6 concluso _____1____________________1_____1_________________ 1_ 7 concluso _________________________________________________1__ Verdade__ Portanto, a argumentao verdadeira. 3) Sejam as Premissas: i) Se eu no jogar xadrez,jogarei futebol. ii) Se estiver machucado, no jogarei futebol Concluso: Se estiver machucado jogarei xadrez.

19

Chamando X: jogar Xadrez F: Futebol M: Machucado

______ V_____________ V_____________________ 1 concluso _______________V____________________ V hip ____ 2 concluso ___________________V_________________________ 3 concluso ___________F________________F________________ 4 concluso ___F__________________________________________ 5 concluso ______V____________________________________V__6 concluso _____________________________________V_______ 7 concluso _______________________________V_______________Verdade Portanto, a argumentao verdadeira. Exerccios de aplicao 05: Verifique em cada um dos casos abaixo, se a argumentao vlida ou uma falcia . 1) Sejam as Premissas: i) Os bebes no so lgicos. ii) Quem consegue amestrar um crocodilo no desprezado. iii) Pessoas no lgicas so desprezadas. Concluso: Bebes no conseguem amestrar crocodilo. 2) Sejam as Premissas: i) O professor no erra. ii) Andria distrada. iii) Quem distrado erra Concluso: a) Andria no professora. b) Nenhum professor distrado. 3) Sejam as Premissas: i) Gracielli estudiosa. ii) Todo estudioso aprovado em Matemtica discreta. Concluso: Gracielli ser reprovada em Matemtica discreta. Respostas dos exerccios de aplicao 05: 1) e 2) A argumentao verdadeira. 3) A argumentao falsa.