Você está na página 1de 5

FEUP / LEIC

LOGICA COMPUTACIONAL

EXERCCIOS DE LGICA PROPOSICIONAL


CONJUNO, DISJUNO E NEGAO
1 {3-6, 3-9} Negao, conj no e !"#j no$ Abra um novo ficheiro de frases e o mundo Wittgensteins World. Escreva as frases seguintes: 1. Tet(f) Small(f) 2. Tet(f) Large(f) 3. Tet(f) Small(f) 4. Tet(f) Large(f) 5. Tet(f) Small(f) 6. Tet(f) Large(f) 7. (Tet(f) Small(f)) 8. (Tet(f) Large(f)) 9. (Tet(f) Small(f)) 1 . (Tet(f) Large(f)) Qual o valor de verdade de cada uma delas !erifi"ue o resultado com #ars$i%s &orld. 'em(re "ue ha)a desacordo, use o )ogo (ara ver "uem ganha. *'e houver sem(re acordo, )ogue na mesma, (ara e+(erimentar,. -ude o tamanho e forma do bloco f e (reve)a como isso afecta o valor das frases. Qual o n.mero m/+imo de frases "ue (odem ficar verdadeiras num .nico mundo 0onstrua um mundo no "ual o m/+imo n.mero de frases se)a verdadeiro. 1e(ita o e+erc2cio trocando (or . % {3-33} D"#j no con#&' &"(a. 4or ve5es, 6 (oss2vel afirmar "ue uma frase 6 verdadeira sem se saber como ganhar garantidamente o )ogo res(ectivo. 4or e+em(lo, (ode-se di5er "ue 4 4 6 verdade mesmo sem se saber o valor de 4. Abra !leenes World e !leenes Senten"es. Alguns ob)ectos est7o escondidos atr/s de outros, (elo "ue 6 im(oss2vel decidir a verdade de algumas frases. #odos os nomes a#f est7o em uso, referindo-se a algum ob)ecto. Atribua um valor de verdade a cada frase atendendo 8 informa97o, incom(leta, de "ue dis(:e *sem recorrer / vista ;<,. =ogue o )ogo. 'e tiver feito a atribui97o certa, mas (erder o )ogo, desfa9a alguns (assos e retome at6 conseguir ganhar. >inalmente verifi"ue as atribui9:es com a vista ;<. ) {3-33} Con#&' "' * * n!o. Abra S"$r%der&s Senten"es. 0onstrua um mundo em "ue todas essas frases se)am verdadeiras. + {3-36} E, "(a-.nc"a# !e De/o'gan. Abra 'e(organs Senten"es. 0onstrua um mundo em "ue todas as frases 2m(ares se)am verdadeiras. 'e)a "ual for a solu97o, todas as frases (ares ser7o tamb6m verdadeiras. <e(ois construa um mundo em "ue todas as frases 2m(ares se)am falsas. As (ares ficam falsas. 4or"u?

GABRIEL DAVID/CRISTINA RIBEIRO

BOOLE - 1/5

FEUP / LEIC

LOGICA COMPUTACIONAL

0 {3-;3, 3.;;} 1'a! o. Abra um novo ficheiro de frases (ara escrever as tradu9:es das seguintes frases em 4ortugu?s (ara >@A. 3. a 6 (e"ueno ou tanto " como d s7o grandes. ;. d e e est7o ambos atr/s de ). 3. d e e est7o ambos atr/s de ) e s7o maiores do "ue ele. B. #anto d como " s7o cubosC al6m disso nenhum deles 6 (e"ueno. D. Eem e nem a est7o 8 direita de " e 8 es"uerda de ). 6. e n7o 6 grande ou est/ atr/s de a. F. " nem est/ entre a e ) nem 8 frente de "ual"uer um deles. G. a e e s7o ambos tetraedros ou s7o-no ambos a e f. 9. Eem d nem " est7o 8 frente de " ou ). 3H. 33. " est/ entre d e f ou 6 menor "ue ambos. E7o se verifica "ue ) este)a na mesma linha "ue ".

3;. ) est/ na mesma coluna "ue e, "ue est/ na mesma linha "ue d, "ue (or sua ve5 est/ na mesma coluna "ue a. 4ara a tradu97o ser correcta os valores de verdade das frases em l2ngua natural e das suas tradu9:es t?m "ue ser os mesmos em &o!o# os mundos. Ise Wittgensteins World, onde todas as frases s7o verdadeiras, e *ooles World, onde a(enas as frases 6 e 33 s7o verdadeiras, (ara testar a tradu97o. 0onstrua alguns mundos em "ue as frases assumam valores diversos e verifi"ue a correc97o da tradu97o tamb6m nesses casos *n7o (rova, mas a)uda a convencerJ,. >a9a-o, alterando os tamanhos dos ob)ectos e rodando o tabuleiro. 2 {B.;} 1a &o-og"a#. Assuma "ue A, K e 0 s7o frases atLmicas. Ise o Koole (ara construir tabelas de verdade (ara cada uma das frases seguintes. Isando as tabelas, diga "uais das frases s7o tautologias. 3. *A K, *A K, ;. *A K, *A K, 3. *A K, 0 B. *A K, *A *K 0,,. 3 {B.3} 4'a#e# no "n!e5en!en&e#. 'u(onha agora "ue as frases A, K e 0 do (roblema anterior n7o s7o logicamente inde(endentes. <etermine "uais das frases 1#4 do (roblema anterior s7o satisfa52veis ou logicamente verdadeiras, em cada uma das seguintes situa9:es: 3. A 6 necessariamente verdadeira *e.g. A 6 )+),. ;. A 6 necessariamente falsa *e.g. Smaller(a,a),. 3. 0 6 uma conse"u?ncia lLgica de A e K, i.e., sem(re "ue A e K s7o verdadeiros, 0 tamb6m o 6 *e.g. A 6 Larger(a,)), K 6 Larger(),") e 0 6 Larger(a,"),.

GABRIEL DAVID/CRISTINA RIBEIRO

BOOLE - 2/5

FEUP / LEIC

LOGICA COMPUTACIONAL

6 {B.B, B.D, B.6, B.F} 1a7e-a# !e (e'!a!e. 'u(onha "ue A, K, 0 e < s7o frases atLmicas inde(endentes. 0onstrua tabelas de verdade (ara cada uma das frases seguintes. Mndi"ue "uais s7o satisfa52veis e "uais s7o tautologias. 3. *K *0 K,, ;. A *K *0 A,, 3. [(A * K 0,, *A K,] B. [(A K, *0 <,] 8 {'ec B.3} Con#e, .nc"a -9g"ca. As tabelas de verdade, (ara al6m da determina97o da verdade lLgica, tamb6m (odem servir (ara verificar a conse"u?ncia lLgica. 4ara saber se Q 6 uma conse"u?ncia lLgica de 4, construa uma tabela de verdade com todas as frases atLmicas de 4 e Q e os (rL(rios 4 e Q e verifi"ue se, em todas as linhas n7o es(.rias, sem(re "ue 4 6 verdade Q tamb6m o 6 *se esta (ro(riedade se mantiver mesmo nas linhas es(.rias, fala-se de conse"u?ncia tautolLgica,. 3. 0ubo*b, 6 uma conse"u?ncia tautolLgica de *0ubo*a, 0ubo*b,, #et*a, ;. 0ubo*b, 6 uma conse"u?ncia lLgica de *0ubo*a, 0ubo*b,, #et*a, 3. 0ubo*b, 6 uma conse"u?ncia tautolLgica de *0ubo*a, 0ubo*b,, 0ubo*a, B. 0ubo*b, 6 uma conse"u?ncia lLgica de *0ubo*a, 0ubo*b,, 0ubo*a, D. <odec*c, 6 uma conse"u?ncia tautolLgica de <odec*b, cNb 6. <odec*c, 6 uma conse"u?ncia lLgica de <odec*b, cNb F. <odec*c, 6 uma conse"u?ncia lLgica de <odec*b, eNc 1: {B.33} 4o'*a no'*a- nega&"(a. Abra T-rings Senten"es. Escreva nas frases em branco a forma normal negativa da frase imediatamente anterior. 0onstrua um mundo "ual"uer em "ue todos os nomes se)am usados. 0ada frase (ar deve ter o mesmo valor "ue a 2m(ar "ue a antecede. !erifi"ue. 11 {B.39} Con(e'#o !e ;o'*a# no'*a"#. Abra 0E> 'entences. 0onverta cada frase 2m(ar na outra forma normal e colo"ue-a na frase (ar a seguir. 0onstrua um mundo em "ue todas as frases 2m(ares se)am verdadeiras. !erifi"ue se as (ares tamb6m o s7o. As formas normais habitualmente facilitam a determina97o do valor de verdade de uma e+(ress7o. A forma normal mais ade"uada de(ende do caso. 1% {B.BH} 4o'*a no'*a- conj n&"(a. Abra -ore 0E> 'entences. Eeste ficheiro e+istem frases de tr?s em tr?s linhas. As duas linhas em branco destinam-se 8s mesmas frases nas formas normais negativa e con)untiva. Analise a correc97o das transforma9:es abrindo v/rios mundos e verificando a igualdade dos valores de verdade em cada trio de frases. 1) {B.B3, B.B;, B.B3} 4o'*a# no'*a"#. 4ara cada uma das frases seguintes encontre uma frase na forma normal dis)untiva "ue lhe se)a logicamente e"uivalente. Assuma "ue A, K, 0 e < s7o literais. 1. . (/ (* .)). 2. * (/ * (/ * (* .))). 3. / (/ (* (/ .))).

GABRIEL DAVID/CRISTINA RIBEIRO

BOOLE - 3/5

FEUP / LEIC

LOGICA COMPUTACIONAL

1+ {D.3, D.;, D.3, D.B, D.D, D.6} Pa##o# (<-"!o#. Aista-se a seguir um con)unto de (assos de infer?ncia dos "uais a(enas alguns s7o v/lidos. <iga "uais, )ustificando com as tabelas de verdade res(ectivas ou mostrando como um determinado (asso (ode levar de (remissas verdadeiras a conclus:es falsas. 3. <e 4 Q e 4 inferir Q. ;. <e 4 Q e Q inferir 4. 3. <e *4 Q, inferir 4. B. <e *4 Q, e 4 inferir Q. D. <e *4 Q, inferir 4. 6. <e 4 Q e 4 inferir Q. 10 {D.F} P'o(a "n;o'*a-$ 4rove Oa((P*carl, a (artir das seguintes (remissas, anotando a(enas os (assos im(ortantes, tais como o uso da (rova (or casos ou da (rova (or contradi97o: 1. Oome*ma+, Oome*claire, 2. Oome*ma+, Oa((P*carl, 3. Oome*claire, Oa((P*carl, 12 {D.G} Con#e, .nc"a -9g"ca. 4rove Kac$@f*a,b, a (artir das "uatro (remissas seguintes: 1. Aeft@f*a,b, 1ight@f*a,b, 2. Kac$@f*a,b, Aeft@f*a,b, 3. >ront@f*b,a, 1ight@f*a,b, 4. 'ame0ol*c,a, 'ame1oQ*c,b, 13 {D.;3, D.;B, D.;D} N=*e'o# na& 'a"#. 4rove os tr?s factos seguintes sobre os n.meros naturais, a (artir dos factos b/sicos da aritm6tica e das defini9:es de (ar e 2m(ar. a, Assuma "ue n; 6 2m(ar. 4rove "ue n 6 2m(ar. b, Assuma "ue nRm 6 2m(ar. 4rove "ue nm 6 (ar. c, Assuma "ue n; 6 divis2vel (or 3. 4rove "ue n; 6 divis2vel (or 9. 16 {6.;} P'o(a "nco*5-e&a no 4"&c>. Abrir E+ercise 6.; "ue cont6m uma (rova incom(leta. 0om(letar os (assos e as )ustifica9:es e verificar a (rova. 18 {6.3, 6.6} P'o(a# e* 4"&c>. Ise o >itch (ara construir (rovas formais (ara as seguintes fLrmulas. a, aNc bNd a (artir de aNb bNc cNd b, A *K 0, a (artir de *A K, *A 0, %: {'ec 6.3} Abrir Eegation ; com >itch. A (rova a(resentada tem como (remissas um con)unto de fLrmulas, das "uais alguns subcon)untos s7o contraditLrios. >o"ue cada (asso "ue cont6m o s2mbolo e ve)a as frases "ue s7o citadas. 'L um destes (assos 6 uma a(lica97o da regra In&'o. 0om(lete-o e verifi"ue.

GABRIEL DAVID/CRISTINA RIBEIRO

BOOLE - 4/5

FEUP / LEIC

LOGICA COMPUTACIONAL

<os restantes (assos, h/ um em "ue as frases citadas s7o contradi9:es tautolLgicas. Atribua-lhe a )ustifica97o 1a & Con e verifi"ue. *Este (asso (oderia ser derivado das mesmas (remissas a(enas com as regras Kooleanas., <os restantes (assos, h/ dois cu)as frases de su(orte s7o contraditLrias atendendo ao significado do N. Atribua-lhe a )ustifica97o 4O Con e verifi"ue. *Este (asso (oderia ser derivado das mesmas (remissas usando as regras (ara o N., !erifi"ue "ue os restantes (assos n7o (odem ser )ustificados (elas regras In&'o, 1a & Con e 4O Con. Atribua-lhes a )ustifica97o Ana Con e verifi"ue.

%1 { 6.;B, 6.;D} De/o'gan. 0onstrua (rovas informais e, em seguida, (rovas formais semelhantes em estrutura, das seguintes frases, sem recorrer 8s leis de <e-organ: a, 4 Q a (artir da (remissa *4 Q,. b, *4 Q, a (artir da (remissa 4 Q. %% {6.3D, 6.3G} P'o(a# #e* 5'e*"##a#. 0onstrua (rovas formais sem (remissas de: a, *aNb <odec*a, 0ube*b,, b, *'ame1oQ*a,b, 'ame1oQ*b,c, >ront@f*c,a,, c, *aNb ba,. %) {6.;G} Con&'a!"o e* #en&"!o -a&o. 4rodu5a uma (rova formal no >itch de 'mall*c, a (artir das (remissas 0ube*c, 'mall*c, e <odec*c,. 4ode usar Ana Con envolvendo literais e .

GABRIEL DAVID/CRISTINA RIBEIRO

BOOLE - 5/5