Notas de

tica Discreta Matema

LURDES SOUSA

Departamento de Matem atica Escola Superior de Tecnologia de Viseu Instituto Polit ecnico de Viseu 2005/06

Matem atica Discreta - Departamento de Matem atica - EST-IPV - 2005/2006 - I

Cap tulo I lculo Proposicional1 Ca

Proposi c oes e conectivos l ogicos

Consideremos os racioc nios seguintes: e do Jo ao ou do Rui. a) O livro O livro n ao e do Rui. Logo e do Jo ao. b) Se ela foi ao Egipto ent ao esteve no Cairo. Ela n ao esteve no Cairo. Logo n ao foi ao Egipto. c) Ele pratica futebol e t enis. Logo ele pratica futebol. Estes racioc nios s ao constitu dos por arma c oes que s ao verdadeiras ou falsas. Acerca de cada um deles e f acil concluir de que se trata de um racioc nio correcto. Grande parte das nossas opera c oes mentais no dia a dia envolvem racioc nios deste tipo. Eles v ao ser objecto de estudo no que se segue. Chama-se proposi c ao a uma express ao da qual faz sentido dizer que e verdadeira ou que e falsa. Cada proposi c ao tem um e um s o valor l ogico, entre dois poss veis, V (verdadeiro) ou F (falso). e uma cidade portuguesa. e uma proposi c ao com valor l ogico 1.1 Exemplos. Lisboa verdadeiro. Mas atribuir um valor l ogico ` a arma ca o Hoje est a um belo dia!j a n ao faz
1

Para uma boa compreens ao dos assuntos aqui tratados e necess aria a participa ca o nas aulas te oricas.

Matem atica Discreta - Departamento de Matem atica - EST-IPV - 2005/2006

I -

sentido, pois trata-se da express ao de um sentimento de algu em, n ao de uma arma c ao objectiva. A l ogica que vamos estudar pressup oe os seguintes princ pios: Princ pio da n ao contradi c ao: Uma proposi c ao n ao pode ser verdadeira e falsa ao mesmo tempo. Princ pio do terceiro exclu do: Uma proposi c ao e verdadeira ou falsa.

A arma c ao O livro e do Jo ao ou do Rui.pode decompor-se em duas arma c oes: O livro e do Jo ao.e O livro e do Rui.Estas duas u ltimas arma c oes j a n ao se podem decompor. Dizemos ent ao que a proposi c ao O livro e do Jo ao ou do Rui. e composta e as arma c oes O livro e do Jo ao.e O livro e do Rui.s ao at omicas. A arma c ao Ela n ao esteve no Cairo. e a nega c ao de Ela esteve no Cairo.Construimos proposi c oes compostas a partir de proposi c oes at omicas ligando-as por conectivos. Se denotarmos por p a proposi c ao Ela esteve no Cairo.e usarmos o s mbolo para representarmos a nega c ao, a arma c ao Ela n ao esteve no Cairo.escreve-se p. Temos assim a opera c ao nega c ao. Analogamente, usando para representar ou, e as letras p e q para designar as proposi c oes at omicas de O livro e do Jo ao ou do Rui., obtemos, simbolicamente, p q . Trata-se aqui da opera c ao disjun c ao. A seguir apresenta-se uma lista destas e doutras opera c oes l ogicas:

Matem atica Discreta - Departamento de Matem atica - EST-IPV - 2005/2006

I -

nega c ao: conjun c ao: disjun c ao: implica c ao:

p pq pq pq

(n ao p) (p e q ) (p ou q ) (se p ent ao q ; p s o se q ; p e condi c ao suciente para que q ; q e condi c ao necess aria para que p) (p equivalente a q )

equival encia (formal): (bicondicional) disjun c ao exclusiva:

pq

q p

(ou p ou q )

Quando temos uma implica c ao p q dizemos que p e o antecedente e q o consequente. As opera c oes anteriores t em tabelas de valores que v ao ao encontro da forma corrente do signicado das part culas n ao, e, ou, etc. Essas tabelas apresentam-se de seguida. (Deve certcar-se de que compreende a forma natural como surgem estas tabelas, de acordo com o nosso entendimento da linguagem do dia-a-dia.) Tabelas de verdade das opera c oes l ogicas Uma tabela de verdade faz corresponder aos poss veis valores l ogicos das vari aveis o correspondente valor l ogico da express ao. Seguem-se as tabelas das opera c oes l ogicas enumeradas atr as.

Matem atica Discreta - Departamento de Matem atica - EST-IPV - 2005/2006

I -

p V F

p F V

p V V F F

q V F V F

pq V F F F

p V V F F

q V F V F

pq V V V F

p V V F F

q V F V F

pq V F V V

p V V F F

q V F V F

pq V F F V

p V V F F

q V F V F

q p F V V F

L ogica e opera c oes-bit : Os computadores representam informa c ao por meio de bits. Um bit tem dois valores poss veis, 0 e 1. Um bit pode ser usado para representar os valores de verdade F e V, 0 representa F e 1 representa V. Uma vari avel diz-se booleana se o seus valores poss veis s ao V ou F (ou, se quisermos, 1 ou 0). Portanto, uma vari avel booleana pode ser representada por meio de um bit.

1.2 Exerc cios. ao proposi c oes? 1. Quais das seguintes frases s (a) Isto e verdade? (c) 8 e um n umero mpar. (b) Jo ao e um nome. (d) 8 e um n umero par. (e) Esta cor e bonita.

2. Indique os valores l ogicos das proposi c oes seguintes: (a) 7 e um n umero primo. (b) Lisboa e uma cidade. (c) Canad a e uma cidade.

3. Diga quais das seguintes proposi c oes s ao at omicas e quais s ao compostas: (a) O Frederico e alto, e o Joaquim tamb em. (c) O carro acidentado era meu. (b) O carro acidentado era azul ou verde. (d) Se fores ao bar, ent ao eu vou ao bar.

mbolos r e h para Manuel e rico e Manuel e feliz, respectivamente, 4. Usando os s escreva as seguintes arma c oes na forma simb olica: (a) Manuel e rico. (c) Manuel e rico ou feliz. (b) Manuel e rico e feliz. (d) Se Manuel e rico, ent ao e feliz.

Matem atica Discreta - Departamento de Matem atica - EST-IPV - 2005/2006

I -

5. Identique todas as proposi c oes at omicas nas frases seguintes e represente-as por s mbolos p, q , r, etc. Em seguida escreva as frases sob a forma de c alculo proposicional. (a) Se a Maria est a no gin asio, ent ao a Marta tamb em est a no gin asio. (b) O carro do Rui e vermelho ou castanho. (c) Se te levantares ` as sete horas, chegar as a tempo. (d) Chegar as a tempo se e s o se te levantares ` as sete horas. (e) Ele vir a se tu o avisares. suciente que o Jo ao tenha 9,5 para que passe. (f) E (g) Amanh a vou de autocarro ou de t axi. (h) Amanh a vou de autocarro se ele parar no Rossio, ou vou de t axi se tiver dinheiro. (i) Se acabar o meu trabalho vou para a praia se zer bom tempo. 6. Escreva as tabelas de verdade para: (a) (c) (e) (g) p (q r) ( (q r)) (q r) (p r) (p (q r)) ((p q ) (r s)) (p q ) (q p) (b) (d) (f) (h) (p q ) (p q ) (r p) (p q ) (r p) ((p q ) q ) p

7. Escreva cada uma das seguintes proposi c oes na forma simb olica. (a) Uma condi c ao necess aria para x ser primo e que x seja mpar ou x = 2. (b) Uma condi c ao suciente para que f seja cont nua e que f seja diferenci avel. (c) Ele vai morrer hoje, a menos que consiga aux lio m edico. (d) Se os impostos forem aumentados ou diminuirem os gastos governamentais, n ao haver a ina c ao. 8. Qual o valor de verdade das seguintes proposi c oes? (a) O n umero 2 e primo ou 4 e mpar. (c) O n umero 2 e primo e 4 e mpar. (e) Se 2 n ao for primo ent ao 4 e mpar. (g) Se 2 n ao for primo ent ao 4 e par. (b) O n umero 2 n ao e primo e 4 e mpar. (d) O n umero 2 n ao e primo ou 4 e mpar. (f) Se 2 for primo ent ao 4 e mpar. (h) Se 2 n ao for primo e 4 for par ent ao 4 < 2.

c ao das proposi c oes (a), (b), (c) e (i) do exerc cio 5. 9. Escreva a nega

Matem atica Discreta - Departamento de Matem atica - EST-IPV - 2005/2006

I -

10. Escreva a rec proca das proposi c oes (a), (e) e (i) do exerc cio 6. 11. Escreva cada uma das frases seguintes na forma de implica c ao (p q ): (a) Se estragares o meu livro n ao volto a emprestar-to. (b) Toca nesse bolo e arrepender-te- as. (c) Sai ou chamo a pol cia. (d) Vou-me embora se n ao pararem de falar.

F ormulas bem formadas e sem antica

Relativamente a uma dada linguagem l ogica podemos sempre estudar dois aspectos: a sintaxe e a sem antica. A sintaxe diz respeito ` as regras de forma c ao das express oes l ogicas a utilizar, as chamadas f ormulas bem-formadas. A sem antica estuda o signicado dessas express oes. sintaxe (f ormulas bem-formadas) Linguagem (conjunto de s mbolos) sem antica (signicado)

Na linguagem do c alculo proposicional vamos considerar a sintaxe e a sem antica seguintes. Sintaxe: Uma vari avel proposicional e um s mbolo p, q , r, ... ao qual podemos atribuir o valor l ogico V ou F. Uma proposi c ao at omica ou atomo e uma vari avel proposicional ou uma constante, V ou F. Uma f ormula bem formada (abreviadamente, fbf ) ca denida da seguinte forma (supondo que consideramos apenas os conectivos l ogicos , , e ): V e F s ao fbfs; toda a vari avel proposicional e uma fbf; Se A e B s ao fbfs, as seguintes s ao tamb em fbfs: A (A B ) (A B )

Matem atica Discreta - Departamento de Matem atica - EST-IPV - 2005/2006

I -

(A B ) (A B ) Toda a fbf e formada por estas regras. Os par entesis funcionam como s mbolos auxiliares que indicam como e formada a fbf. Para evitar um uso excessivo de pare entesis e simplicar a escrita das express oes l ogicas convenciona-se que as opera c oes l ogicas s ao consideradas pela seguinte ordem de prioridade: Atentando na deni c ao de fbf acabada de dar, e f acil de ver que as express oes p q r , (p q ) r , (p q r) e p q r s ao fbfs, ao passo que as express oes p q e p (q r) o n ao s ao. Se F e uma fbf da forma A, A diz-se uma subf ormula bem formada (abreviadamente, subfbf) de F ; analogamente se F e uma fbf da forma A B , A B ou A B , A e B dizem-se subfbfs de F . Se C e uma subfbf de G e G e uma subfbf de F ent ao C e uma subfbf de F . Uma fbf que n ao seja proposi c ao at omica diz-se proposi c ao composta. Sem antica: Dada uma fbf, interpretando cada uma das suas vari aveis proposicionais, V ou F , obtemos uma interpreta c ao (signicado) para a fbf. claro que a cada fbf corresponde uma e uma s E o tabela de verdade. Uma fbf diz-se uma tautologia se for verdadeira para todos os poss veis valores l ogicos dos atomos. Uma fbf diz-se uma contradi c ao se for falsa para todos os poss veis valores l ogicos dos atomos. Uma fbf diz-se uma conting encia se n ao for nem tautologia nem contradi c ao.

Matem atica Discreta - Departamento de Matem atica - EST-IPV - 2005/2006

I -

2.1 Exemplo. Suponhamos que queremos averiguar se p pq e ou n ao uma tautologia. Para isso podemos utilizar uma tabela de verdade: p V V F F q V F V F pq V V V F ppq V V V V

Como para quaisquer valores de p e q a fbf p p q toma sempre o valor de verdade, conclui-se que e uma tautologia. Mas n ao h a necessidade de fazer uma tabela de verdade, basta raciocinar do seguinte modo: A implica c ao s o e falsa quando o antecedente e verdadeiro e o consequente falso. Mas se p tomar o valor V tamb em p q toma o valo V , obtendo-se V V que e V . Logo p p q toma sempre o valor de verdade, pelo que e uma tautologia.

cios. 2.2 Exerc 1. Para cada uma das express oes seguintes diga se s ao ou n ao f ormulas bem-formadas. (a) (pq ) p (b) (p q ) p (c) p q 2. Ponha par enteses nas express oes seguintes de tal modo que sejam indicadas as regras de prioridade estabelecidas para os conectivos envolvidos. (a) p q r p (c) (p1 p2 ) q p1 (b) p r q r (d) p q q q

3. Obtenha a f ormula bem-formada p q (p r) usando as regras de forma c ao de uma f ormula bem-formada descritas atr as. 4. Averiguar se a fbf p q r s t r e ou n ao uma tautologia. 5. Mostre que s ao tautologias: (a) (p (p p)) p (b) (p q ) ((q r) (p r))

6. Prove que ((p r) (q r)) ((p r) (q r)) e uma contradi c ao. 7. Diga quais das seguintes f ormulas s ao tautologias, contradi c oes, ou nem uma coisa nem outra. (a) ((p q ) (q p)) (p q ) (b) ((p q ) q ) q (c) ((p q ) p) (q (q p)) (d) (p (q q )) p

Matem atica Discreta - Departamento de Matem atica - EST-IPV - 2005/2006

I -

Equival encia L ogica

Duas fbfs dizem-se (logicamente) equivalentes se tiverem o mesmo signicado, isto e, a mesma tabela de verdade. Para indicar que duas fbfs A e B s ao equivalentes, escrevemos AB. Em vez do s mbolo tamb em se usa . Note-se que dizer que A e B s ao logicamente equivalentes e o mesmo que dizer que A B e uma tautologia. Algumas equival encias b asicas: p p V p p F pV p pF p pV V pF F ppp ppp (p) p pq qp pq qp (p q ) r p (q r) (p q ) r p (q r) p (q r) (p q ) (p r) p (q r) (p q ) (p r) (p q ) p q (p q ) p q Lei do terceiro excluido Lei da contradi c ao Leis da identidade Leis da absor c ao Leis da idempot encia Lei da dupla nega c ao Leis da comutatividade Leis da associatividade Leis da distributividade Leis de De Morgan

Todas estas equival encias s ao de f acil verica c ao. Por exemplo, construindo as tabelas de verdade de (p q ) e p q p V V F F q V F V F pq V F F F (p q ) F V V V p F F V V q F V F V p q F V V V

Matem atica Discreta - Departamento de Matem atica - EST-IPV - 2005/2006

I -

10

concluimos que ambas as fbfs t em o mesmo valor l ogico para os mesmos valores das vari aveis proposicionais, logo s ao logicamente equivalentes. A regra seguinte permite-nos obter uma fbf logicamente equivalente a uma dada fbf. Se numa fbf substituirmos uma subfbf por uma fbf equivalente obtemos uma fbf equivalente ` a fbf original.

muitas vezes u E til utilizar as seguintes equival encias (verique-as): p q p q p q (p q ) (q p) Associadas a uma implica c ao p q temos as duas fbfs seguintes: (a) q p que se diz a rec proca de p q ; (b) q p que se diz a contraposta de p q . cios. 3.1 Exerc 1. Mostre que p q e logicamente equivalente ` a sua contraposta mas n ao e logicamente equivalente ` a sua rec proca. 2. Use propriedades das conjun c ao, disjun c ao e nega c ao para provar as seguintes equival encias: (a) (p q ) (q r) q (p r) (b) ((p q ) p) F (c) (p (r s)) (p r) (p s) (d) (p r) (q s) (p q ) (p s) (r q ) (r s) 3. Simplique as express oes seguintes: (a) (p V) (q V) (c) (r V) (q r) (e) (p r) (p r s) (g) p q (p q ) (p q ) p q (i) (p q ) (p q ) ((p r) q ) (b) (r (q (p r))) (d) (q r s) (q r s) (f) (p (q s)) (q s) (h) ((p q ) r) q

Matem atica Discreta - Departamento de Matem atica - EST-IPV - 2005/2006

I -

11

4. Construa para cada caso proposi c oes compostas P e Q por forma a que as proposi c oes apresentadas sejam tautologias: (a) P Q (b) P P

5. Use a tautologia p p para provar que as seguintes proposi c oes s ao tautologias. (a) (p q ) (p q ) (b) p p (c) ((p s) q ) ((p s) q )

ormula (p q ) (p q ) n ao e uma tautologia. Encontre 6. Mostre que a f f ormulas e tais que ( ) ( ) seja uma contradi c ao. 7. Mostre que (p q ) (p q ) q e uma tautologia e use esta tautologia para provar que (p q ) (p q ) q . oes logicamente equivalentes ` as seguintes mas sem os conectivos 8. Determine express e : (a) (p q ) (q r) (b) (p q ) (p q q ) (c) p q

Argumentos correctos

No nosso dia a dia raciocinamos e tiramos conclus oes usando determinadas regras. A l ogica ajuda a compreender essas regras permitindo distinguir entre argumentos correctos e n ao correctos. Seguem-se alguns argumentos l ogicos, cada um deles com um exemplo e a respectiva formaliza c ao. 1) 1. Se o gato v e o peixe, ent ao o gato apanha o peixe. 2. Se o gato apanha o peixe, ent ao o gato come o peixe. 3. Se o gato v e o peixe, ent ao o gato come o peixe. 1. p q 2. q r 3. p r

Matem atica Discreta - Departamento de Matem atica - EST-IPV - 2005/2006

I -

12

2) 1. Se o Jo ao tem mais de 16 anos, ent ao vai ao cinema. 2. O Jo ao tem mais de 16 anos. 3. O Jo ao vai ao cinema. 1. p q 2. p 3. q 3) 1. A Maria traz as bebidas ou faz um bolo. 2. A Maria n ao faz um bolo. 3. A Maria traz as bebidas. 1. p q 2. q 3. p

Um argumento da forma De A1 , A2 , ... e An deduz-se B ., esquematicamente, A1 A2 An B diz-se um argumento correcto se A1 A2 ... An B for uma tautologia. Neste caso escrevemos A1 , A2 , ..., An |= B Para indicar que P |= Q tamb em se usa P Q, nomenclatura que faz parte do dia a dia da escrita matem atica. 4.1 Exerc cios. 1. Use os s mbolos proposicionais p e q para formalizar os seguintes argumentos l ogicos: (a) Se 10 e um n umero primo, 10 n ao pode ser igual a 2 vezes 5. 10 e igual a 2 vezes 5. Logo, 10 n ao pode ser um n umero primo.

Matem atica Discreta - Departamento de Matem atica - EST-IPV - 2005/2006

I -

13

(b) Se chove frequentemente, os agricultores queixam-se. Se n ao chove frequentemente, os agricultores queixam-se. Consequentemente, os agricultores queixamse. (c) O Ant onio almo ca na cantina ou o Ant onio almo ca em casa. O Ant onio n ao almo ca na cantina. Logo, o Ant onio almo ca em casa. a correcto (i. e., se a conclus ao e logicamente 2. Verique se o argumento seguinte est implicada pela conjun c ao das hip oteses). Se o or camento n ao for cortado, uma condi c ao necess aria e suciente para os pre cos permanecerem est aveis e que os impostos sejam aumentados. Os impostos ser ao aumentados somente se o or camento n ao for cortado. Se os pre cos permanecerem est aveis, os impostos n ao ser ao aumentados. Portanto os impostos n ao ser ao aumentados. ao correctos, usando tabelas de verdade. 3. Mostre que os seguintes argumentos s (a) p q , p r |= q r (c) p, p q |= p q (b) p q , p r |= p q r (d) p q , p r, q r |= r

4. Num certo pa s cada habitante diz sempre a verdade ou diz sempre a mentira. Um viajante nesse pa s encontra o Pedro e a Lu sa. O Pedro disse-lhe: Se eu digo sempre a verdade, ent ao a Lu sa tamb em diz sempre a verdade. Ser a Pedro um mentiroso ou, pelo contr ario, diz sempre a verdade? E a Lu sa? Nesse mesmo pa s, o viajante encontrou o Ant onio e o Manuel e este u ltimo disselhe: Se eu sou mentiroso ent ao o Ant onio tamb em e mentiroso.Que pode concluir quanto a cada um deles ser ou n ao dos que dizem sempre a verdade?

Formas normais

Uma fun c ao de verdade (ou fun c ao l ogica) e uma fun c ao que s o pode tomar os valores l ogicos V ou F e cujos argumentos tamb em s o podem tomar esses valores. Por exemplo, eV V se p f (p, q ) = V se p e q s ao ambas F F se p eFeq eV dene uma fun c ao de verdade. A seguir vamos ver que

Matem atica Discreta - Departamento de Matem atica - EST-IPV - 2005/2006

I -

14

Toda a fun c ao de verdade e equivalente a uma fbf. Para isso vamos usar as deni c oes que se seguem. Um literal e uma vari avel proposicional ou a sua nega c ao. Exemplos: p e p. As duas express oes, p e p dizem-se literais complementares. Uma fbf diz-se uma forma normal disjuntiva (FND) se for uma disjun c ao de conjun c oes de literais, ou se for V ou F. Analogamente, fbf diz-se uma forma normal conjuntiva (FNC) se for uma conjun c ao de disjun c oes de literais, ou se for V ou F. Exemplos de formas normais disjuntivas: p p p q p q (p q ) (p q ) p (p r) Exemplos de formas normais conjuntivas: p p p q p q p (q r) Tabelas de verdade e formas normais: Suponhamos que temos uma fun c ao de verdade f dada pela tabela de verdade p V V V V F F F F q V V F F V V F F r V F V F V F V F f V F V F F F V F

Matem atica Discreta - Departamento de Matem atica - EST-IPV - 2005/2006

I -

15

e que pretendemos escrever f como a disjun c ao de conjun c oes de literais, portanto, como uma forma normal disjuntiva. Ora, pela tabela de verdade de f , sabemos que f e verdadeira para cada um dos casos seguintes: p, q e r verdadeiras p, q e r verdadeiras p, q e r verdadeiras Ent ao, tendo em conta que a disjun c ao de um n umero nito de fbfs e V se e s o se uma delas o for, concluimos que f (p q r) (p q r) (p q r) . Ou seja, f e V se e s o se p q r V ou p q r V ou p q r V. Por outro lado, f e falsa para p, q e r falsas p, q e r falsas p, q e r falsas p, q e r falsas p, q e r falsas Ent ao, atendendo a que a conjun c ao de fbfs e falsa se e s o se uma delas e falsa, concluimos que f (p q r) (p q r) (p q r) (p q r) (p q r) . O que acab amos de fazer para este exemplo pode ser feito para qualquer fun c ao de verdade; antes da descri c ao do procedimento geral a seguir, vamos denir termos m nimos e m aximos. Seja f uma fbf. Um termo m nimo (termo m aximo, respectivamente) de f e uma conjun c ao ( respectivamente, disjun c ao) de literais onde as vari aveis s ao as de f e cada uma delas e representada uma e uma s o vez. Por exemplo, se as vari aveis de f s ao p, q e r, s ao termos m nimos de f , por exemplo, p q r

Matem atica Discreta - Departamento de Matem atica - EST-IPV - 2005/2006

I -

16

p q r pqr mas n ao s ao termos m nimos de f , p q , nem p r. De um modo geral, dada a tabela de verdade de uma fbf f , procedemos do seguinte modo para obter uma forma normal disjuntiva (respectivamente, conjuntiva) de f : Seleccionamos os termos m nimos (respectivamente, termos m aximos) de f que tornam f verdadeira (respectivamente, falsa) e formamos a disjun c ao (respectivamente, conjun c ao) destes termos m nimos. Uma f ormula proposicional f diz-se escrita na forma normal disjuntiva plena (repectivamente, forma normal conjuntiva plena) se estiver expressa como uma disjun c ao (respectivamente, conjun c ao) de termos m nimos (respectivamente, m aximos) de f . Portanto, no exemplo anterior, obtivemos uma forma normal disjuntiva plena e uma forma normal conjuntiva plena. Obten c ao de formas normais atrav es de manipula c oes alg ebricas: Para obter uma forma normal conjuntiva: 1. Tiram-setodos os e . 2. Se a express ao cont em nega c oes de conjun c oes ou nega c oes de disjun c oes, fazemse desaparecer usando as leis de De Morgan. 3. Agora basta usar as duas propriedades distributivas seguintes a (b c) (a b) (a c) (a b) c (a c) (b c) aloga, usando agora Para obter uma forma normal disjuntiva: Procede-se de forma an em 3. as propriedades a (b c) (a b) (a c) (a b) c (a c) (b c) Se f e uma f ormula proposicional onde s o aparecem os conectivos l ogicos , e , a dual de f e a f ormula que se obt em de f substituindo cada V por F, cada F por V, cada por e cada por . Se f e uma f ormula proposicional, o complemento de f obt em-se formando primeiro o dual de f e depois substituindo todos os literais pelos seus complementos. De facto, o complemento de f e a nega c ao de f .

Matem atica Discreta - Departamento de Matem atica - EST-IPV - 2005/2006

I -

17

Exemplo: Pretende-se negar f = (p q ) r, usando complementa c ao. Ora, a dual de f e (p q ) r. Logo f (p q ) r . 5.1 Exerc cios. 1. Encontre uma f ormula restrita (i.e., contendo apenas os conectivos , e ) correspondente ` a fun c ao de verdade f (p, q, r) dada na seguinte tabela: p V F V F V F V F q V V F F V V F F r V V V V F F F F f (p, q, r) V F F F F F V F

2. Determine a forma normal conjuntiva das seguintes express oes: (a) (p q ) (p r q ) (b) (p q ) (p (r s)) (p q s)

3. Determine uma forma normal disjuntiva e uma forma normal conjuntiva logicamente equivalente ` a f ormula (p q ) r. 4. Seja f a fun c ao l ogica dada pela tabela seguinte: p F F F F V V V V q F F V V F F V V r F V F V F V F V f (p, q, r) F V F F V F F V

(a) Determine a forma normal disjuntiva de f . (b) Determine a forma normal conjuntiva de f .

Matem atica Discreta - Departamento de Matem atica - EST-IPV - 2005/2006

I -

18

Conjuntos de conectivos l ogicos completos

Os conectivos l ogicos habitualmente usados para formar as fbfs do c alculo proposicional s ao , , e . E sabido que qualquer fbf pode ser substitu da por outra logicamente equivalente e onde n ao gura o s mbolo . Um conjunto de conectivos l ogicos diz-se completo se toda a fbf do c alculo proposicional e equivalente a uma fbf onde guram apenas conectivos desse conjunto. Assim, {, , } e completo. 6.1 Exerc cios. 1. Mostre que cada um dos seguintes conjuntos de conectivos e completo para o c alculo proposicional: (a) {, } (b) {, } (c) {, }

2. Determine f ormulas logicamente equivalentes a p q (a) usando apenas o conectivo | (p|q e logicamente equivalente a (p q )); e logicamente equivalente a (p q )). (b) usando apenas o conectivo (p q 3. Suponha que o argumento 1 , 2 ,..., n |= e v alido. Prove que 1 , 2 ,..., n1 |= n e tamb em um argumento v alido. 4. O conectivo l ogico conhecido por ou exclusivo e representado por , e denido pela seguinte tabela de verdade: p V V F F

q V F V F

pq F V V F

(a) Mostre que p q e equivalente a (p q ). (b) Construa a tabela de verdade para (p q ) r. 5. Determine f ormulas contendo apenas os conectivos e logicamente equivalentes a (a) (p q ) (r s) (b) p q

Matem atica Discreta - Departamento de Matem atica - EST-IPV - 2005/2006

I -

19

Sistemas formais

Um sistema formal S consiste em: 1. Um conjunto (numer avel) de s mbolos. encias nitas destes s mbolos que constituem as chamadas 2. Um conjunto de sequ f ormulas bem formadas (abreviadamente fbf). 3. Um subconjunto de fbfs chamadas axiomas. 4. Um conjunto nito de regras de dedu c aochamadas regras de infer encia que permitem deduzir uma fbf como consequ encia directa de um conjunto nito de fbfs. Seja S um sistema formal. Seja C um conjunto de fbfs e seja P uma fbf em S . P e deduz vel de C em S , e escreve-se C
S

(ou apenas C S P se n ao houver d uvidas sobre o sistema S a que nos referimos) se existir uma sequ encia nita de fbfs, P1 , P2 , ..., Pn tais que: Pn = P Para cada i {1, ...n}, Pi e um axioma ou uma fbf em C (dita premissa ou hip otese) ou uma consequ encia dos Pi s anteriores atrav es de uma das regras de infer encia. A sequ encia dos Pi s diz-se uma prova formal (ou demonstra c ao formal) de P a partir de C . Se P e deduz vel de um conjunto vazio escreve-se
S

Neste caso, P diz-se um teorema em S Associada a um sistema formal podemos ter uma sem antica (interpreta c ao) que permite que cada fbf possa ser considerada como verdadeira ou falsa de acordo com a interpreta c ao das suas vari aveis. Um sistema formal S diz-se: Completo, se toda a fbf que e verdadeira para todas as interpreta c oes poss veis pode ser demonstrada em S ;

Matem atica Discreta - Departamento de Matem atica - EST-IPV - 2005/2006

I -

20

Correcto (ou s olido), se toda a fbf que pode ser demonstrada em S e verdadeira para todas as interpreta c oes. Vamos a seguir descrever um sistema formal natural e um sistema formal de Hilbert, o que certamente ajudar a a compreender a no c ao de sistema formal acabada de dar.

Sistema formal natural L 1. S mbolos: a) vari aveis proposicionais b) conectivos l ogicos: , , , , c) s mbolos auxiliares: ( e ) 2. F ormulas bem formadas: de acordo com o denido atr as. 3. Axiomas: n ao tem. 4. Regras de infer encia: as da Tabela RI.

Matem atica Discreta - Departamento de Matem atica - EST-IPV - 2005/2006

I -

21

Tabela RI A, B AB AB A B AB B A Lei da combina c ao Lei da simplica c ao Variante da lei da simplica c ao Lei da adi c ao Variante da lei da adi c ao B A AC Modus ponens Modus tollens Silogismo hipot etico Silogismo disjuntivo Variante do silogismo disjuntivo B Lei dos casos Elimina c ao da equival encia Variante da elimina c ao da equival encia AB Introdu c ao da equival encia Lei da inconsist encia

AB AB

A, A B B , A B

A B, B C A B , A A B , B B A

A B , A B AB AB AB BA

A B, B A A, A B

Um teorema muito u til e o seguinte: Teorema da Dedu c ao. Sejam A, B , A1 , A2 , ..., An f ormulas bem formadas. Se A1 A2 , ..., An , A B

Matem atica Discreta - Departamento de Matem atica - EST-IPV - 2005/2006

I -

22

ent ao A1 , A2 , ..., An AB.

Por outras palavras: Se das premissas A1 A2 , ..., An e A deduzimos B ent ao das premissas A1 , A2 , ..., An deduzimos A B . As regras de infer encia da Tabela RI juntamente com o Teorema da Dedu c ao fazem de L um sistema completo, i. e., se A |= B , ento A B . 0 sistema L e tamb em correcto, i. e., se A B , ent ao A |= B . Consequentemente, A1 , A2 , ..., An B se e s o se A1 A2 ... An B e uma tautologia; de igual modo uma fbf P e um teorema em L se e s o se for uma tautologia. c oes formais em L: 7.1 Exemplos de demonstra Cada uma das propriedades da Tabela RI pode ser designada por uma abreviatura, esta por exemplo, MP para modus ponens, MT para modus tollens, e assim por diante. E abreviatura que se usa na justica c ao de cada um dos passos das demonstra c oes formais dos dois teoremas que se seguem. Teorema: A B A B

Pelo Teorema da Dedu c ao (TD) basta provar o seguinte Teorema: A B, A Prova: 1. A B 2. A 3. B B

premissa premissa l., 2. e SD

Teorema: A (B C ), A B, A Prova: 1. A (B C ) 2. A B 3. A 4. B 5. B C 6. C premissa premissa premissa MP, 2. e 3. MP, 1. e 3. MP, 4. e 5.

C.

Matem atica Discreta - Departamento de Matem atica - EST-IPV - 2005/2006

I -

23

Aplicando o TD sucessivamente ao teorema anterior, obt em-se o Teorema: A (B C ) (A B ) (A C )

Sistema formal de Hilbert H 1. S mbolos (a) vari aveis proposicionais (b) conectivos l ogicos: e (c) s mbolos auxiliares: ( e ) ormulas bem formadas 2. F (a) f ormulas at omicas ormulas compostas: Se A e B s ao fbf ent ao A e A B s ao tambm fbfs. (b) f 3. Axiomas H1) A (B A) H2) (A (B C )) ((A B ) (A C )) H3) (A B ) ((A B ) C ) 4. Regras de infer encia (s o uma): Modus Ponens (MP): A, A B B

7.2 Exemplos de demonstra c oes formais em H: (usando o Teorema da Dedu c ao) Teorema: AA

Prova: 1. A A 2. A A

pelo TD AC

Teorema: A B, B C Prova:

Matem atica Discreta - Departamento de Matem atica - EST-IPV - 2005/2006

I -

24

1. 2. 3. 4. 5. 6. 7.

AB BC A B C A B, B C, A C A B, B C AC

premissa premissa hip otese MP, 1. e 3. MP, 2. e 4. 6. e TD

Teorema:

(B A) (A B ) premissa (H3) (H1) MP, 1. e 2. t. a., 3. e 4. TD

Prova: 1. B A 2. (B A) ((B A) B ) 3. A (B A) 4. (B A) B 5. A B 6. (B A) (A B )

7.3 Exerc cios. 1. Prove as regras seguintes, usando tabelas de verdade. (a) Modus ponens (b) a b, (a b) |= b

2. Para cada um dos seguintes argumentos, diga quais das regras de infer encia dadas na Tabela RI s ao usadas. (a) Se o Jo ao esteve na festa de ontem, ent ao faltou ` a primeira aula da manh a. O Jo ao n ao faltou ` a primeira aula da manh a. Consequentemente o Jo ao n ao esteve na festa de ontem. (b) Se eu zer isso, serei criticado, e se o n ao zer, serei criticado. Consequentemente, serei criticado. (c) Se est a frio e h umido, ent ao e claro que est a frio. lia (d) Se o Sr. Santos e a Sra. Santos ganham mais de 3 500 contos por ano, a fam Santos pode ter f erias na Madeira. Como eu sei que o Sr. Santos e a sua esposa ganham mais de 3 500 contos, concluo que a fam lia pode ter f erias no Madeira. (e) Eu sei que a Francisca levou o Fiat ou o Citroen. A Francisca n ao levou um Citroen. Consequentemente, levou o Fiat.

Matem atica Discreta - Departamento de Matem atica - EST-IPV - 2005/2006

I -

25

(f) Se o Quim est a em casa ent ao e certo que ele est a em casa ou no escrit orio. 3. Demonstre os seguintes argumentos. Use como regras de infer encia apenas o modus ponens, o modus tollens e a lei da combina c ao. Indique as regras usadas em cada passagem. (a) p, p (q r), (q r) s (b) p q , q r, r (c) p, p q pq p s

4. A demonstra c ao seguinte deduz R das premissas P Q, P R e Q R. Falta colocar as justica c oes dos v arios passos. Complete a demonstra c ao, sabendo que para al em das regras de infer encia da Tabela RI tamb em se usa o P Q |= (P Q). 1. P Q 2. P Q 3. Q R 4. P R 5. P R 6. R 5. Dada a premissa P Q, demonstre P Q. Use as regras de infer encia da simplica c ao e da adi c ao. 6. Use o Teorema da Dedu c ao para mostrar que Q |= (P Q). Use este resultado para mostrar que |= Q (P Q). 7. Tomando como premissas P Q, Q R, e R P , deduza formalmente P Q. Use apenas o silogismo hipot etico e a lei da introdu c ao da equival encia. 8. Use o Teorema da Dedu c ao e a lei da adi c ao para demonstrar que |= P (P P ) e |= P (P P ). Que dedu c ao pode fazer imediatamente de |= P (P P ) e |= P (P P )? 9. Considere o sistema natural L. (a) Fa ca uma demonstra c ao formal de P Q Q P .

Matem atica Discreta - Departamento de Matem atica - EST-IPV - 2005/2006

I -

26

(b) Demonstre formalmente que P (Q R) e P Q R s ao equivalentes. c ao formal para a equival encia das seguintes proposi c oes: 10. Apresente uma demonstra (a) Equival encia entre (p q ) r e (p r) (q r) (b) Equival encia entre (p q ) r e p (q r) 11. Considere o sistema formal de Hilbert H. (a) Complete a demonstra c ao do teorema (B A) (A B ) apresentada a seguir, justicando convenientemente cada passo. 1. B A 2. (B A) ((B A) B ) 3. A (B A) 4. (B A) B 5. A B 6. (B A) (A B ) (b) Demonstre formalmente os teoremas seguintes: (a) A A (b) A A (c) A A (e) (A B ) (B A) (d) A, B (A B ) (i.e., A, B A B ) B

(f) (A B )

Algumas considera c oes sobre a demonstra c ao de implica c oes

Muitos dos teoremas da Matem atica s ao implica c oes (ou equival encias, que s ao conjun c oes de implica c oes). Para provar que P Q, ou seja, que de P se deduz Q, ou se quisermos, que P Q e tautologia, mostra-se que se P e verdadeira tamb em Q o e. Notemos entretanto que s ao v alidas as seguintes equival encias l ogicas: (1) p q q p (2) p q p q F (A verica c ao de (1) e (2) ca como exerc cio.) As propriedades (1) e (2) proporcionam dois m etodos para provar uma arma c ao da forma P Q. S ao eles:

Matem atica Discreta - Departamento de Matem atica - EST-IPV - 2005/2006

I -

27

1) Prova indirecta, baseada em (1): 2) Prova por contradi c ao (ou redu c ao ao absurdo), usando (2).

Exemplos 1. Vamos fazer uma demonstra c ao indirecta de que Se 5n +2 e mpar ent ao n e mpar.: Suponhamos que n n ao e mpar, ou seja, n e par. Ent ao 5n tamb em e par, visto que o produto de um n umero qualquer por outro par e sempre par. Como a soma de dois pares e par, conclui-se que 5n + 2 e par, i.e., 5n + 2 n ao e mpar. bem conhecida a seguinte propriedade: 2. E (A) Se (an )nIN e (bn )nIN s ao duas sucess oes convergentes ent ao a sua soma (an + bn )nIN tamb em e convergente (para quaisquer constantes e ). Se (an )nIN e convergente e (bn )nI e divergente ent ao a sucess ao N (an + bn )nIN e divergente.

Vamos provar por contradi c ao a propriedade seguinte (que e tamb em conhecida): (B)

Demonstra c ao de (B): Sejam (an )nIN uma sucess ao convergente e (bn )nIN uma sucess ao divergente . Suponhamos, por contradi c ao, que (an + bn )nIN e convergente. Ent ao a sucess ao ((an + bn ) an )nI e convergente, atendendo ` a propriedade (A). N Como (an + bn ) an = bn , isto signica que (bn )nI e convergente, o que contradiz N a hip otese. Consequentemente (an + bn )nIN tem de ser divergente. 3. Vamos provar que p q r, p, r q usando prova por contradi c ao. No decorrer da demonstra c ao formal feita a seguir as designa c oes premissae hip oteset em dois pap eis distintos: As premissas s ao nete caso p q r, p e r; chamaremos hip otesea uma premissa n ao dada mas assumida tendo em vista a prova por contradi c ao. 1. 2. 3. 4. 5. 6. 7. pq r p q pq r r r r premissa premissa hip otese LC, 2. e 3. MP, 1. e 4. premissa LC, 5. e 6.

Matem atica Discreta - Departamento de Matem atica - EST-IPV - 2005/2006

I -

28

Juntando ` as premissas dadas a nega c ao da conclus ao pretendida (ou seja, de q ), obtivemos a contradi c ao r r. Logo concluimos a veracidade da arma c ao p q r, p, r q .

Exerc cios
1. Traduza a frase Uma condi c ao necess aria para que o Jorge tenha 14 a Matem atica Discreta e ter estudado muito.em c alculo proposicional, usando p com o signicado de O Jorge tem 14 a Matem atica Discreta.e q com o signicado de O Jorge estudou muito. 2. Representando Faz bom tempopor p, Vou ` a praiapor q , Passo a Matem atica Discretapor r e Tenho umas boas f eriaspor s, traduza as duas frases seguintes em c alculo proposicional: (a) Fazer bom tempo e uma condi c ao necess aria para eu ir ` a praia. (b) Passar a Matem atica Discreta e condi c ao suciente para ter umas boas f erias. 3. Dena tautologia e mostre que a f ormula bem formada pqrstpqrst n ao e uma tautologia. 4. Demonstre formalmente que das premissas p q , p e q r se deduz r. 5. Dena contradi c ao e mostre que a f ormula bem formada (p q r s) p q r t n ao e uma contradi c ao. 6. Seja p a proposi c ao Conduzes a uma velocidade superior a 110.e q a proposi c ao Apanhas uma multa de velocidade. Traduza as frases seguintes usando p e q e conectivos l ogicos. ao apanhas uma multa de (a) Conduzes a uma velocidade superior a 110 mas n velocidade. (b) Se n ao conduzires a uma velocidade superior a 110, n ao apanhas uma multa de velocidade.

Matem atica Discreta - Departamento de Matem atica - EST-IPV - 2005/2006

I -

29

(c) Conduzires a uma velocidade superior a 110 e condi c ao necess aria para apanhares uma multa de velocidade. 7. Fa ca uma demonstra c ao formal de que das premissas p q r, p s, s se deduz q. 8. Diga se cada uma das implica c oes e verdadeira ou falsa, justicando sucintamente: (a) Se 1 + 1 = 3 ent ao os c aes t em asas. (b) Se 1 + 1 = 2 ent ao os c aes t em asas. 9. Seja p a proposi c ao Vou passar a todas as disciplinase q a proposi c ao Vou fazer f erias no Brasil. Traduza as frases seguintes por meio de f ormulas proposicionais. (a) Se passar a todas as disciplinas, vou fazer f erias no Brasil. (b) Para fazer f erias no Brasil e necess ario e suciente que passe a todas as disciplinas. (c) Se zer f erias no Brasil, passo a todas as disciplinas. (d) Vou fazer f erias no Brasil s o se passar a todas as disciplinas. condi (e) E c ao necess aria para fazer f erias no Brasil que passe a todas as disciplinas. (f) Passo a todas as disciplinas ou vou fazer f erias no Brasil. (g) Ou passo a todas as disciplinas ou n ao vou fazer f erias no Brasil. 10. Averigue se os seguintes argumentos est ao correctos, indicando, para cada argumento correcto, a regra de infer encia que e usada. (a) O n umero log2 3 e irracional se n ao for igual ` a raz ao de dois inteiros. Por conseguinte, como log2 3 n ao e igual ` a raz ao de dois inteiros, conclui-se que log2 3 e irracional. (b) Se n e um n umero real tal que n > 1, ent ao n2 > 1. Suponhamos que n2 > 1. Ent ao n > 1. (c) Se n e um n umero real tal que n > 3, ent ao n2 > 9. Suponhamos que n2 9. Ent ao n 3. (d) A fun c ao f tem derivada nula no ponto a ou n ao tem derivada em a. Como f tem derivada em a, conclui-se que f (a) = 0.

Matem atica Discreta - Departamento de Matem atica - EST-IPV - 2005/2006

I -

30

11. (a) Representando as proposi c oes pelas letras indicadas p : Durmo menos do que 7 horas por dia. traduza logicamente as frases seguintes: i. Se durmo menos do que 7 horas por dia ent ao trabalho muito. ii. Se trabalho muito e durmo menos do que 7 horas por dia ent ao estou cansado. (b) Quando e que um argumento da forma De A1 , A2 , ... e An deduz-se B se diz correcto? e ou n ao correcto: Se durmo menos (c) Diga, justicando, se o seguinte argumento do que 7 horas por dia ent ao trabalho muito. Se trabalho muito e durmo menos do que 7 horas por dia ent ao estou cansado. Eu n ao estou cansado. Logo eu n ao trabalho muito. 12. Averigue se os seguintes argumentos est ao correctos, indicando, para cada argumento correcto, a regra de infer encia da Tabela RI que e usada. (a) O resto da divis ao de um n umero par n por 4 e 0 ou 2. Assim, se o resto da divis ao de um n umero par n por 4 n ao e 0, ent ao e 2. (b) Se n e um n umero primo ent ao e mpar ou igual a 2. Logo se n e um n umero par diferente de 2, concluimos que n n ao e primo. (c) Se a fun c ao f denida por f (x) = se x 0 e diferenci avel em todo o 1 se x < 0 IR, ent ao e cont nua em todo o IR. Como a fun c ao f e cont nua em todo o IR, concluimos que f e diferenci avel em todo o IR.
ex +1 2

q : Trabalho muito

r : Estou cansado

13. Perante o tribunal compareceram A, B e C , acusados de roubo. Estabeleceu-se que: Se A n ao e culpado, culpado e B ou C . Se A n ao e culpado ent ao C n ao e culpado. Se B e culpado ent ao A e culpado. Ser a poss vel decidir sobre a culpabilidade de A a partir destes factos? Se sim determine se A e ou n ao culpado.