U N I M I N A S Sistemas de Informao Disciplina: Lgica para Computao Prof. Walteno Martins Parreira Jnior w.waltenomartins.com.br waltenomartins@yahoo.

com

Lgica Para Computao Prof. Walteno Martins Parreira Jr Pgina 1 1 INICIAO LGICA A lgica iniciou seu desenvolvimento na Grcia Aristteles (384 322 AC) e os antigos filsofos gregos passaram a usar em suas discusses sentenas enunciadas nas formas afirmativa e negativa, resultando em grande simplificao e clareza. Em 1847, Augustus DeMorgam (1806-1871) publicou o tratado Formal Logic. Em 1848, George Boole (1815-1864) escreveu The Mathematical Analysis of Logic e depois publicou um livro sobre o que foi denominado posteriormente de lgebra de Boole. Em 1879, Gotlob Frege (1848-1925) contribuiu no desenvolvimento da lgica com a obra Begriffsschrift. As idias de Frege s foram reconhecidas pelos lgicos mais ou menos a partir de 1905. A escola italiana, que desenvolveu quase toda simbologia da matemtica utilizada atualmente, composta de Giuseppe Peano (1858-1932) e tambm por Burali-Forti, Vacca, Pieri, Pdoa, Vailati, etc. Bertrand Russell (1872-1970) e Alfred North Whitehead (1861-1947) iniciam o atual perodo da lgica com a publicao da obra Principia Mathematica no incio do sculo X. Tambm contribuem para o estgio atual, David Hilbert (1862-1943) e sua escola alem com von Neuman, Bernays, Ackerman e outros. Em 1938, Claude Shannon mostrou a aplicao da lgebra de Boole na analise de circuitos de rels. Podemos dizer que a lgica estuda as condies objetivas e ideais para justificar a verdade e no cuida da prpria verdade. Ela estuda as condies formais para justificar a verdade, isto , as condies que o pensamento deve preencher para ser coerente consigo mesmo e demonstrar a verdade j conhecida. A lgica estuda as relaes do pensamento consigo mesmo para possibilitar a construo de um contexto correto de justificao, isto , para a definio argumentativa de premissas corretamente dispostas para uma concluso justificada. Uma das condies para se ter a verdade demonstrada, e

portanto justificada, que o pensamento seja coerente consigo mesmo, isto , que siga as leis da razo expressa linguisticamente. 1.1 - PROPOSIO Definio: todo conjunto de palavras ou smbolos que exprimem um pensamento de sentido completo. As proposies transmitem pensamentos, isto , afirmam fatos ou exprimem juzos que formamos a respeito de determinados entes. Exemplos: Japo est situado no continente africano. A lmpada da sala est acesa. A cidade de Recife a capital de Pernambuco. Na linguagem natural nos acostumamos com vrios tipos de proposies ou sentenas: a) Declarativas Mrcio engenheiro. Todos os homens so mortais. sen (pi/2) = 1 A lua gira em torno da terra. b) Interrogativas Ser que o Roberto vai ao cinema hoje? Lgica Para Computao Prof. Walteno Martins Parreira Jr Pgina 2 Quantos alunos faltaram hoje a aula de lgica? O Brasil ganhar a copa do mundo de 2006? c) Exclamativas Feliz Natal! Vencemos! Passamos no vestibular! d) Imperativas No falte as aulas de lgica. Feche a porta. Fique calado. Estudaremos somente as proposies declarativas, pois elas podem ser facilmente classificadas em verdadeiras ou falsas. 1.2 AS TRS LEIS DO PENSAMENTO A lgica adota como regras fundamentais do pensamento os seguintes princpios (ou axiomas): a) Princpio da Identidade

Se qualquer proposio verdadeira, ento ela verdadeira. b) Princpio da NoContradio Uma proposio no pode ser verdadeira e falsa ao mesmo tempo. c) Princpio do terceiro Excludo Toda proposio ou verdadeira ou falsa, isto , verifica-se sempre um destes casos e nunca um terceiro caso. Com base nesses princpios as proposies simples so ou verdadeiras ou falsas - sendo mutuamente exclusivos os dois casos; da dizer que a lgica clssica bivalente Exemplos de proposies falsas: O navegador Vasco da Gama descobriu o Brasil. O escritor francs Dante escreveu Os Lusadas. nmero pi um nmero racional. O Mxico est localizado na Amrica do Sul. 1.3 VALORES LGICOS DAS PROPOSIES Definio: chama-se valor lgico de uma proposio a verdade se a proposio verdadeira e a falsidade se a proposio falsa. Os valores lgicos verdade e falsidade de uma proposio designam-se abreviadamente pelas letras V e F respectivamente. Assim, o que os princpios (axiomas) afirmam que: Toda proposio tem um, e um s, dos valores V e F. O valor lgico de uma proposio P a verdade (V) se P verdadeira, escrevendo: v(P) = V e l-se: o valor lgico de P V Lgica Para Computao Prof. Walteno Martins Parreira Jr Pgina 3 Exemplos: Q: O sol gira em torno da Terra v(Q) = F R: A lua um satlite natural da Terra v(R) = V P: O mercrio mais pesado que a gua. v(P) = V 1.4 SENTENAS ABERTAS Definio: quando em uma proposio substitumos alguns (ou todos os) componentes por variveis, obtemos uma sentena (proposio) aberta.

Seja a proposio Magda Uberlandense, se substitumos o nome Magda pela varivel X, obteremos a sentena aberta X Uberlandense, que no necessariamente verdadeira e nem falsa. Exemplos: P: X filho de Y. Q: x y = 12 R: Se x sobrinho de y, ento, x primo de z. 1.5 PROPOSIES SIMPLES (ATMICAS) Definio: chama-se proposio simples, a proposio que no contm nenhuma outra proposio como parte integrante de si. Exemplos: P: Carlos careca. Q: Pedro estudante. R: O galo pe ovos. 1.6 CONECTIVOS LGICOS Definio: so palavras ou frases que so usadas para formar novas proposio a partir de outras proposies. Os conectivos usuais em lgica matemtica so: Conectivo Palavras Smbolo Negao No ~ ou Condicional Se ento ... Conjuno E Disjuno Ou Bicondicional ... Se, e somente se ... Lgica Para Computao Prof. Walteno Martins Parreira Jr Pgina 4 1.7 PROPOSIES COMPOSTAS Definio: so as proposies formadas por duas ou mais proposies simples e ligadas pelos conectivos lgicos. Exemplos: P: Carlos careca e Pedro estudante. Q: Carlos careca ou Pedro estudante. R: Se Carlos careca, ento Carlos infeliz. S: Carlos careca se, e somente se Pedro estudante. 1.8 TABELA-VERDADE

Segundo o Princpio do terceiro excludo, toda proposio simples P verdadeira ou falsa, isto , tem valor lgico V (verdade) ou o valor lgico F (falsidade). Em uma proposio composta, a determinao do seu valor lgico feito segundo o princpio: O valor lgico de qualquer proposio composta depende unicamente dos valores lgicos das proposies simples componentes, ficando por eles univocamente determinado. Para aplicar este princpio na prtica, recorre-se ao uso do dispositivo denominado Tabela-verdade, que apresenta todos os possveis valores lgicos da proposio composta correspondentes a todas as possveis atribuies de valores lgicos s proposies simples correspondentes. O nmero de linhas da tabela-verdade de uma proposio composta est em funo do nmero de proposies simples que a compem. A tabela-verdade de uma proposio composta com n proposies simples contm 2n linhas. Portanto, podemos observar: a) Para uma proposio simples P, o numero de linhas da tabela-verdade ser: 21 = 2, representando na tabela-verdade: b) Para uma proposio composta cujas proposies simples componentes so P e Q, o nmero de linhas da tabela-verdade ser: 2 = 4 , que ser representada: Lgica Para Computao Prof. Walteno Martins Parreira Jr Pgina 5 c) Para uma proposio composta cujas proposies simples componentes so P, Q e R, o nmero de linhas da tabela-verdade ser: 23 = 8 , que ser representada: Observe que os valores lgicos V e F se alternam de quatro (4) em quatro para a primeira proposio (P), de dois (2) em dois para a Segunda proposio (Q) e de um (1) em um para a terceira proposio (R). 1.9 OPERAO LGICA NEGAO Definio: chama-se negao de uma proposio P a proposio representada por No P, cujo valor lgico a verdade (V) quando P falsa e a falsidade (F) quando P verdadeira. Simbolicamente, a negao de P indica-se com a notao ~P, que se l: NO P A tabela-verdade: P ~P V F v(~P) = ~ v(P) F V

Para uma proposio P, podemos formar a sua negao de qualquer um dos seguintes modos: no verdade que P falso que P no em P Exemplo: P: Ldia estudiosa. ~P: No verdade que Ldia estudiosa. ~P: falso que Ldia estudiosa. ~P: Ldia no estudiosa. Observaes: Pode-se ter algumas variaes, por necessidades da lngua portuguesa, por exemplo: P: Todos os homens so elegantes. Lgica Para Computao Prof. Walteno Martins Parreira Jr Pgina 6 ~P: Nem todos os homens so elegantes. Q: Nenhum homem elegante. ~Q: Algum homem elegante. 1.10 OPERAO LGICA CONJUNO Definio: chama-se conjuno de duas proposies P e Q a proposio 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. Simbolicamente, a conjuno de duas proposies P e Q indica-se com a notao P Q , que se l P E Q. A tabela-verdade: Exemplo: P: Pitgoras era Grego Q: Descartes era Francs P Q: Pitgoras era Grego e Descartes era Francs. v(P) = V e v(Q) = V v(P Q) = V 1.1 OPERAO LGICA DISJUNO Definio: 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. Simbolicamente, a conjuno de duas proposies P e Q indica-se com a notao

P Q , que se l P OU Q. A tabela-verdade: V F V v(PQ) = v(P) v(Q) F V V F F F Exemplo: P: A cidade de Paris a capital da Frana Q: O sol um satlite artificial da terra Lgica Para Computao Prof. Walteno Martins Parreira Jr Pgina 7 P Q: A cidade de Paris a capital da Frana ou o sol um satlite artificial da terra. v(P) = V e v(Q) = F v(P Q) = V Na linguagem coloquial a palavra ou tem dois sentidos. Exemplifiquemos: P: Amilton bombeiro ou eletricista. Q: Rosa mineira ou goiana. Na proposio Q (Rosa mineira ou goiana), est afirmando que somente uma das proposies verdadeira, pois no possvel ocorrer as duas coisas: Rosa ser mineira e goiana ao mesmo tempo. Na proposio P, diz-se que o ou inclusivo, j na proposio Q diz-se que o ou exclusivo. Logo a proposio P uma disjuno inclusiva ou simplesmente disjuno; e a proposio Q a disjuno exclusiva. A disjuno exclusiva de duas proposies P e Q a proposio composta P Q, que se l: ou P ou Q ou se l P ou Q, mas no ambos. a falsidade (F) quando o valor lgico das proposies P e Q forem ambos verdadeiros ou ambos falsos e a verdade (V) quando P e Q tem valores lgicos diferentes. A tabela-verdade: V F V v(PQ) = v(P) v(Q) F V V F F F 1.12 OPERAO LGICA CONDICIONAL Definio: chama-se proposio condicional de duas proposies P e Q a proposio representada por se P ento Q, cujo valor lgico a falsidade (F) no caso em que a proposio P verdadeira e Q falsa e a verdade (V) nos demais casos. Simbolicamente, a condicional de duas proposies P e Q indica-se com a notao P Q , que se l: p condio suficiente para q q condio necessria para p p implica (ou acarreta) q Na condicional P Q, diz-se que P o antecedente e Q o conseqente. O smbolo chamado de smbolo de implicao.

A tabela-verdade: V F F v(PQ) = v(P) v(Q) F V V F F V Lgica Para Computao Prof. Walteno Martins Parreira Jr Pgina 8 Observao: Uma condicional P Q no afirma que o conseqente Q se deduz ou conseqncia do antecedente P; o que uma condicional afirma unicamente uma relao entre os valores lgicos do antecedente e do conseqente de acordo com a tabela-verdade apresentada acima. Exemplo: P: Paris a capital da Frana Q: O sol um satlite natural da terra P Q: Se Paris a capital da Frana ento o sol um satlite natural da terra. v(P) = V e v(Q) = F v(P Q) = F 1.13 OPERAO LGICA BICONDICIONAL Definio: chama-se proposio bicondicional de duas proposies P e Q a proposio representada por P se, e somente se Q, cujo valor lgico a verdade (V) quando as proposies P e Q so ambas verdadeiras ou ambas falsas e a falsidade (F) nos demais casos. A conjuno da sentena P Q com a sentena Q P resulta na sentena P Q, assim temos (P Q) (Q P) eqivale a (Q P). Simbolicamente, a bicondicional de duas proposies P e Q indica-se com a notao P Q , que se l: p equivalente a q q se, e somente se p q equivalente a p p condio necessria e suficiente para q q condio necessria e suficiente para p A tabelaverdade: V F F v(PQ) = v(P) v(Q) F V F F F V Exemplo: P: A cidade de Paris a capital da Frana Q: O sol um satlite natural da terra P Q: A cidade de Paris a capital da Frana se, e somente se o sol um satlite natural da terra. v(P) = V e v(Q) = F v(P Q) = F

Lgica Para Computao

Prof. Walteno Martins Parreira Jr Pgina 9 1.14 ORDEM DE PRECEDENCIA DOS CONECTORES Para reduzir o nmero de parntesis necessrios em uma proposio composta (frmula lgica proposicional), estipula-se uma ordem na qual os conectores so aplicados. A ordem de precedncia : maior a) conectivos dentro de parntesis, do mais interno para o mais externo b) ~ Quando h dois ou mais conectivos de mesma ordem de precedncia, o conectivo mais a esquerda na frmula proposicional tem prioridade sobre o conectivo direta. Exemplos: a) p ~ q eqivale a ( p ( ~ q ) ) b) p q r eqivale a ( ( p q ) r ) c) p q r p q eqivale a ( ( p ( q r ) ) ( p q ) ) p q r pq Lgica Para Computao Prof. Walteno Martins Parreira Jr Pgina 10 Exerccio: Obter a frmula proposicional a partir de sua tabela- verdade: P Q ? PASSOS NECESSRIOS PARA RESOLUO: a) Selecionar todos os resultados com valor lgico verdade (V); e selecionar todos com valor lgico falsidade (F); b) Fazer a conjuno de cada linha da tabela, se o valor lgico da proposio simples for falsidade (F), faz-se a negao da proposio; V V V p q V F V p ~q F V F ~p q F F F ~p ~q c) Fazer a disjuno das linhas da tabela-verdade que tem como resultado o mesmo valor lgico, isto , se tiver mais de uma linha com o mesmo resultado; PQ? VVVpq V F V p ~q R1: ( p q ) ( p ~q )

F V F ~p q d) Fazer a negao da expresso originada da(s) linha(s) que tem o valor lgico falsidade(F); R1: ( p q ) ( p ~q ) Soluo dos valores lgicos verdade (V) R2: ~( ( ~p q ) ( ~p ~q )) Soluo dos valores lgicos falsidade (F) e) Montar a tabela-verdade da expresso encontrada para mostrar a equivalncia entre a expresso e a tabela-verdade original. P Q ~q P q p ~q ( p q ) ( p ~q ) Lgica Para Computao Prof. Walteno Martins Parreira Jr Pgina 1 2 TAUTOLOGIA, CONTIGENCIA E CONTRADIO 2.1 TAUTOLOGIA Definio: denomina-se tautologia a proposio composta que sempre verdadeira. Na tabela-verdade de uma proposio tautolgica, a ltima coluna ( direita) contm somente Vs (verdade). componentes p, q, r, Em outros termos, tautologia toda proposio composta P (p,q,r,...) cujo valor lgico sempre V (verdade), quaisquer que sejam os valores lgicos das proposies simples As tautologias so tambm denominadas proposies tautolgicas ou proposies logicamente verdadeiras. Exemplo: a proposio ~( p ~p) denominado de Princpio da no contradio tautolgica, conforme se v pela tabela-verdade: p ~p p ~p ~( p ~p ) V F F V F V F V Portanto, dizer que uma proposio no pode ser simultaneamente verdadeira e falsa sempre verdadeiro. 2.2 CONTRADIO Definio: denomina-se contradio a proposio composta que sempre falsa. Na tabela-verdade de uma proposio contraditria, a ltima coluna ( direita) contm somente Fs (falsidade). Como uma tautologia sempre verdadeira (V), a negao de uma tautologia sempre falsidade (F), ou seja, uma contradio e vice-versa. As contradies so tambm denominadas proposies contravlidas ou proposies logicamente falsas.

Exemplo: a proposio p ~p uma contradio, conforme se v pela tabelaverdade: p ~p p ~p V F F F V F Exerccio: Dada a proposio composta abaixo, determinar se a proposio uma contradio. 2.3 CONTIGNCIA Definio: denomina-se contingncia a proposio composta que pode ser verdadeira e pode ser falsa. Na tabela-verdade de uma proposio contigencial, a ltima coluna ( direita) contm Vs (verdadeiros) e Fs (falsidades), cada um pelo menos uma vez. Lgica Para Computao Prof. Walteno Martins Parreira Jr Pgina 12 Em outros termos, contingncia toda proposio composta que no tautologia e nem contradio. As contingncia so tambm denominadas proposies contigentes ou proposies indeterminadas. Exemplo: a proposio p ~p uma contingncia, conforme se v na tabelaverdade: p ~p p ~p 2.4 EQUIVALENCIAS TAUTOLOGICAS Definio: diz-se que duas proposies so equivalentes tautolgicas quando em suas respectivas tabelas-verdade, a ltima coluna (direita) possuem valores lgicos iguais. Propriedades: a) Propriedades Comutativas p q p q q p p q q p b) Propriedades Associativas (A B) C A (B C) p q r p q (p q) r q r p (q r) V V V VVVVVVFVVVVVFVVVVVVFFVVFVFVVVVVVFVFVVV V F F V F V V V F F F F F F F c) Propriedades Distributivas A (B C) (A B ) (A C) A (B C) (A B ) (A C) iguais iguais iguais Lgica Para Computao Prof. Walteno Martins Parreira Jr Pgina 13 d) Propriedades de Identidade A F A A V A e) Propriedades Complementares A ~A F f) Propriedades Idempotentes A A A g) Leis de DeMorgan

~( A B) ~A ~B h) Dupla Negao ~( ~A) A i) Reescrevendo a Implicao ( A B) ~A B j) Contradio ( A B) ~B ~A k) Prova Condicional Exemplo: 1) Mostrar que a proposio ( ~(p q) r) (p q) pode ser escrita usando os conectivos e ~, usando as equivalencias tautologicas . Soluo: Usando DeMorgan: ( ( ~p ~q ) r ) ( p q ) Usando a implicao: ~ ( ( ~p ~q ) r ) ( p q ) Usando Dupla negao: ~ ( ( ~p ~q ) r ) ~ ~ ( p q ) Usando DeMorgan: ~ ( ( ~p ~q ) r ) ~ ( ~p ~q ) Usando DeMorgan: ( ~ ( ~p ~q ) ~r ) ~ ( ~p ~q ) 2) Mostrar que a proposio (p q) q pode ser escrita usando os conectivos e ~, usando as equivalencias tautologicas. Usando a implicao: ~ ( p q ) q Usando as leis de DeMorgan: ( ~p ~q ) q Reescrevendo a expresso: ~p ~q q Usando Prop. Complementares: ~p V Provar as outras propriedades Lgica Para Computao Prof. Walteno Martins Parreira Jr Pgina 14 3 IMPLICAES LGICAS O estudo da implicao lgica de grande relevncia na lgica. As implicaes lgicas que sero tratadas levaro em conta a condicional como implicao material. O smbolo representa uma operao entre duas proposies, resultando uma nova proposio. O smbolo indica apenas uma relao entre duas proposies dadas. Exemplo: Dadas as proposies p q e p q, a relao de implicao lgica entre elas denotada por p q p q. Resoluo: desenvolvendo a tabela-verdade. pqpqpqpqpqVVVVVVFFVVFVFVVFFFFV

Como o resultado (ltima coluna direita) uma Tautologia, logo a relao Verdadeira. 3.1 IMPLICAO ENTRE PROPOSIES Diz-se que uma proposio p implica logicamente uma proposio q quando, em suas tabelas-verdade, no ocorre VF nesta ordem. Exemplo: verificar se p q p p q q p V V V V F V F V F F F V Comparando os valores lgicos da coluna p com os valores lgicos da coluna q p, verificamos que no ocorre VF em nenhuma linha, logo p q p uma relao vlida. Desenvolvendo a tabela-verdade temos: p q q p p (q p) V V V V V F V V F V F V F F V V Observando o resultado da tabelaverdade, podemos ver que a proposio p (q p) uma tautologia, logo a relao p q p verdadeira 3.2 IMPLICAO ENTRE SENTENAS ABERTAS Diz-se que uma sentena aberta implica uma outra sentena aberta quando o conjuntoverdade de uma delas est contido no conjunto-verdade da outra. Exemplo: Julgar a sentena x 3 = 0 x2 = 9 Resoluo: Determinando o conjunto-verdade da

primeira sentena aberta: x 3 = 0 temos que x = 3 logo, V1 = { 3 } Determinando o conjunto-verdade da segunda sentena aberta: Portanto, podemos dizer que a implicao verdadeira, logo a sentena x 3 = 0 x2 = 9 est correta 3.3 PROPRIEDADES DAS IMPLICAES LGICAS So: 1) A condio necessria e suficiente para que uma implicao p q seja verdadeira que uma condicional p q seja uma tautologia; 2) Propriedade reflexiva: p p; 3) Propriedade transitiva: Se p q e q r, ento p r.

3.4 IMPLICAES NOTVEIS Estas implicaes so consideradas notveis (ou clssicas), pois so argumentos vlidos fundamentais, usados para fazer inferncias, isto , executar os passos de uma demonstrao ou de uma deduo. Tambm chamadas de Regras de Inferncia. a) Adio p p q q p q p q p q p q p q No h VF, logo p p q No h VF, logo q p q b) Conjuno p q p e p q q q p p e q p q c) Simplificao p q p p q q d) Simplificao Disjuntiva (p q) (p ~q) p e) Absoro p q p (p q) f) Regra Modus Ponens Lgica Para Computao

Prof. Walteno Martins Parreira Jr Pgina 16 ( p q) p q g) Regra Modus Tollens ( p q) ~q ~p h) Regra do Silogismo Disjuntivo (p q) ~q p i) Silogismo Hipottico (p q) (q r) p r j) Dilema Construtivo 3.5 TEOREMA CONTRA-RECPROCO A proposio p(x) q(x) verdadeira se, e somente se ~q(x) ~p(x) verdadeira. Assim, afirmar Se p, ento q o mesmo que afirmar se ~q, ento ~p. Portanto, Exemplo: A sentena Se comeu, ento matou a fome equivalente a Se no matou a fome, ento no comeu. 3.6 RELAO ENTRE IMPLICAES a) Implicaes recprocas p q e q p Duas proposies recprocas no so logicamente equivalentes, uma pode ser verdadeira sem que a outra o seja. b) Implicaes Inversas p q e ~p ~q

Duas proposies inversas no so logicamente equivalentes, uma pode ser verdadeira sem que a outra o seja. c) Implicaes Contrapositivas p q e ~q ~p Duas proposies contrapositivas so logicamente equivalentes, sempre que uma verdadeira, a outra tambm ser. 3.7 EQUIVALENCIAS ENTRE IMPLICAES Lgica Para Computao Prof. Walteno Martins Parreira Jr Pgina 17 4 EQUIVALENCIAS LGICAS O smbolo representa uma operao entre duas proposies, resultando uma nova proposio. O smbolo indica apenas uma relao entre duas proposies dadas. Exemplo: Dadas as proposies p q e ~p q, a relao de eqivalncia lgica entre elas denotada por p q ~p q. Podemos mostrar na tabela-verdade: Como a tabelaverdade uma Tautologia, logo a relao verdadeira. 4.1 EQUIVALENCIA ENTRE PROPOSIES Diz-se que uma proposio p equivalente logicamente uma proposio q quando, em suas tabelas-verdade, no acorrem VF e nem FV. Exemplo: verificar se p ~~p p ~p ~~p V F V F V F Comparando os valores lgicos da coluna p com os valores lgicos da coluna ~~p, verificamos que no ocorrem VF em nenhuma linha, logo p ~~p uma relao vlida. Desenvolvendo a tabela-verdade temos: p ~p ~~p p ~~p Observando o resultado da tabelaverdade, podemos ver que a proposio p ~~p) uma tautologia, logo a relao p ~~p verdadeira 4.2 EQUIVALENCIA ENTRE SENTENAS ABERTAS Diz-se que uma sentena aberta equivalente a uma outra sentena aberta quando o conjunto-verdade da primeira sentena est contido no conjunto-verdade da segunda e o

conjunto-verdade do segunda est contido no conjunto-verdade da primeira. Eqivale dizer que os conjuntos-verdade so iguais. Lgica Para Computao

Prof. Walteno Martins Parreira Jr Pgina 18 Exemplo: Julgar a sentena 2x + 3 = x + 5 7x - 3 = 5x + 1 Resoluo: Determinando o conjunto-verdade da primeira sentena aberta: 2x + 3 = x + 5 temos que x = 2 logo, V1 = { 2 } Determinando o conjunto-verdade da segunda sentena aberta: 7x - 3 = 5x + 1 Podemos observar que v1 v2 e v2 v1, logo V1 = V2. Portanto, podemos dizer que a eqivalncia verdadeira, logo a sentena 4.3 PROPRIEDADES DAS EQUIVALENCIAS LGICAS So: 1) A condio necessria e suficiente para que uma eqivalncia p q seja verdadeira que a bicondicional p q seja uma tautologia; 2) Propriedade Reflexiva: p p; 3) Propriedade Simtrica: Se p q, ento q p. 4) Propriedade Transitiva: Se p q e q r, ento p r. 4.4 EQUIVALENCIAS NOTVEIS A) Dupla Negao ~~p p p ~p ~~p V F V F V F Observe que os valores lgicos das colunas p e ~~p so iguais. Logo a Dupla Negao eqivale a afirmao. B) Leis Idempotentes p p p p p p C) Leis Comutativas p q q p p q q p D) Leis Associativas p (q r) (p q) r p (q r) (p q) r E) Leis de DeMorgan ~(p q) ~p ~q ~(p q) ~p ~q F) Leis Distributivas Provar as outras propriedades Lgica Para Computao

Prof. Walteno Martins Parreira Jr Pgina 19 G) Condicionais Das proposies: i) p q (condicional) i) q p (recproca da condicional) i) ~q ~p (contrapositivo) iv) ~p ~q (recproca do contrapositivo) resultam as duas equivalncia: p q ~q ~p H) Bicondicionais p q (p q) (q p) Desenvolver as provas por tabela-verdade. iguais, logo equivalentes Lgica Para Computao Prof. Walteno Martins Parreira Jr Pgina 20 5 MTODOS PARA DETERMINAO DA VALIDADE DE FRMULAS So mtodos usados para determinar ou verificar se a frmula lgica proposicional vlida ou quais os valores lgicos apresentados. 5.1 MTODO DA TABELA-VERDADE O mtodo da Tabela-verdade o mtodo da fora bruta utilizado na determinao da validade de frmulas da lgica proposicional. No mtodo da tabela-verdade so consideradas todas as possibilidades de valores de verdade associados a esses smbolos proposicionais. Na coluna de resultado, observamos uma das trs solues: Tautologia, Contradio ou Contingncia. 5.2 RVORE SEMNTICA DEF. Uma rvore um conjunto de ns ou vrtices ligados por arestas ou ramos, conforme indicado na figura abaixo. Os ns so rotulados por nmeros inteiros, e os ns finais (na figura: 2, 6, 7 e 5) so denominados de folhas. 23 DEF. Uma rvore semntica uma rvore na qual os vrtices internos representam proposies, as arestas representam os valores lgicos de uma proposio e as folhas representam os resultados finais e que serve para determinar a validade de uma frmula (ou proposio) a partir da estrutura de dados do tipo rvore. Exemplos: 1) Dada a proposio p q, determinar se a proposio tautologia, contradio ou contingncia. v(q) = V v(q) = F

2 3 v(p) = V v(p) = F v(p)=V v(p)=F 45 67 V VVF 1 portanto, uma contingncia. 2) Dada a proposio p ~ ( p q ), determinar se a proposio tautologia, contradio ou contingncia. Folha Raiz Ramo p q p q V V V V F V F V V F F F Lgica Para Computao

Prof. Walteno Martins Parreira Jr Pgina 21 23 4 5 VV CONCLUSO: como todas as folhas tem valor lgico V (verdade), ento a frmula proposicional tautologia. 3) Dada a proposio p ( p ~ q ), determinar se a proposio tautologia, contradio ou contingncia. 2 3 VF CONCLUSO: Como aparecem V e F, logo temos uma contingncia.

Exerccios: 1) Determinar, usando rvore semntica, quais das proposies abaixo so tautologia, contradio ou contingncia. 2) Determinar, usando rvore semntica, a validade da relao abaixo: a) p q p b) ( p q ) ( p ~q ) n 2: p ~ ( p q ) ? ?V n 3: p ~ ( p q ) ? ?F n 4: p ~ ( p q ) V VV F V n 5: p ~ ( p q ) F FV V F n 2: p ( p ~ q ) V V? n 3: p ( p ~q ) F F? F Lgica Para Computao Prof. Walteno Martins Parreira Jr Pgina 2 5.3 NEGAO OU ABSURDO Neste mtodo, considera-se inicialmente a negao daquilo que pretende-se demonstrar. Assim, dada uma frmula proposicional, para demonstrar a sua validade (tautologia), supe-se que a frmula no uma tautologia. A partir desta suposio, deve-se utilizar um conjunto de dedues corretas e concluir um fato contraditrio ou absurdo. Como o resultado um absurdo, conclui-se que a suposio inicial falsa. Em outras palavras, se a suposio inicial diz que a frmula no uma tautologia, deve-se concluir aps obter o absurdo que a no validade da frmula um absurdo, logo a frmula uma tautologia. p~(pq) F a negao da tautologia F FF VV

Exemplos: 1) Demonstrao de uma tautologia: p ~( p q ) V Como o valor lgico de p V e F ao mesmo tempo, ocorreu um absurdo, ento a frmula uma tautologia. p ~p V a negao da contradio V 2) Demonstrao de uma contradio: p ~p temos duas possibilidades: a) p ~ p b) p ~ p V V VV FFFV absurdo absurdo Como ocorreu absurdo nas duas possibilidades, podemos concluir que a formula contraditria. absurdo Lgica Para Computao

Prof. Walteno Martins Parreira Jr Pgina 23 3) Demonstrao de uma tautologia: ( p q ) ( ~p ~q ) F a negao da tautologia F ( p q ) ( ~p ~q ) Temos duas possibilidades F F VFFV V FVF F VVF FVFV V V

Como no ocorreu nenhum absurdo, podemos concluir que a frmula no uma tautologia, e nada alm disto pode ser afirmado. Usando a tabela-verdade, podemos comprovar o resultado: p q p q ~ p ~ q ~p ~q ( p q ) ( ~p ~q ) Como podemos ver, a frmula uma contingncia. Exerccios: 1) Demonstrar, usando o mtodo da negao ou absurdo que a frmula uma contradio. 2) Demonstrar, usando o mtodo da negao ou absurdo que a frmula uma tautologia. 3) Usando o mtodo da negao ou absurdo para mostrar que as proposies so uma tautologia, contradio ou contingncia. Lgica Para Computao Prof. Walteno Martins Parreira Jr Pgina 24 6 LGEBRA DE BOOLE 6.1 INTRODUO O matemtico ingls George Boole (1815-1864) desenvolveu a lgebra booleana em 1854. Boole estava interessado em regras algbricas para o raciocnio lgico, semelhantes s regras algbricas para o raciocnio numrico. uma maneira formal para escrever e manipular proposies lgicas como se fosse uma frmula algbrica. Em 1938, Claude Shannon demonstra a aplicao da lgebra booleana na anlise de circuitos rels. conhecidos como portas OU, E, NO, atravs da utilizao conveniente desses A eletrnica digital, que usa dgitos binrios, utiliza alguns circuitos lgicos bsicos circuitos, podemos implementar todas as expresses geradas pela lgebra de Boole. H uma relao entre a estrutura de lgebra de Boole e os diagramas para os circuitos eltricos em computadores, calculadoras, dispositivos industriais de controle, sistemas de telecomunicaes, etc. 6.2 CIRCUITOS LGICOS Chamamos interruptor ao dispositivo ligado a um ponto do circuito eltrico, que pode assumir um dos dois estados: fechado (1) ou aberto (0). Quando fechado, o interruptor permite que a corrente eltrica passe atravs do ponto, e quando aberto nenhuma corrente eltrica pode passar pelo ponto.

aberto fechado A A Representao: Por convenincia, representamos os interruptores da forma: neste caso, somente conhecemos o estado do interruptor se tivermos a indicao de que A=1 ou A=0. 6.3 VARIVEIS E EXPRESSES NA LGEBRA DE BOOLE As variveis booleanas, que so representadas atravs de letras, podem assumir apenas dois valores: 0 e 1. Expresso booleana uma expresso matemtica cujas variveis so booleanas e seu resultado assumir apenas dois valores: 0 e 1. 6.4 POSTULADOS a) Postulado da Complementao Chamamos de A o complemento de A. Dizemos A BARRA. Poder ser: A i) se A = 0 ento A = 1 Lgica Para Computao

Prof. Walteno Martins Parreira Jr Pgina 25 i) se A = 1 ento A = 0 atravs do postulado da complementao, podemos estabelecer a seguinte identidade: A = A b) Postulado da Adio i) 0 + 0 = 0 i) 0 + 1 = 1 i) 1 + 0 = 1 iv) 1 + 1 = 1 atravs deste postulado, podemos estabelecer as seguintes identidades: i) A + 0 = A i) A + 1 = 1 i) A + A = A iv) A + A = 1 O Circuito lgico que executa o postulado da adio o circuito OU, representado por dois interruptores em paralelo, com a representao: A A + B B c) Postulado da Multiplicao iv) 1 1 = 1 atravs deste postulado, podemos estabelecer as seguintes identidades: i) A 0 = 0 i) A 1 = A i) A A = A O circuito lgico que executa o postulado da multiplicao booleana o circuito E, representado por dois interruptores em srie, cuja representao : ABAB Lembrar que: p q Lembrar que: p q Lgica Para Computao

Prof. Walteno Martins Parreira Jr Pgina 26 6.5 OBSERVAES a) Neste primeiro momento, usaremos somente trs operadores: Lgica Booleana Lgica Proposicional conectivo Exemplo Booleano Exemplo Proposicional b) 1 + 1 = 1, visto que no existe o 2 na lgica booleana. Define-se, por conveno que 1 + 1 = 1, porque em lgica booleana o 1 corresponde a V (verdade) e como o valor lgico de V V V no clculo preposicional, ento temos 1 como resultado. c) As regras para formar expresses vlidas em lgebra booleana so as mesmas para formar frmulas lgicas no clculo proposicional: i) Uma varivel uma expresso booleana: p; i) Se p uma expresso booleana, ento tambm o p; i) Se p e q so expresses booleanas, ento tambm so o p q e p + q; iv) Se p uma expresso booleana, ento tambm o ( p ). d) As regras esquerda-para-direita e a precedncia dos operadores para avaliao de frmulas lgicas tambm se aplicam s expresses booleanas, assim: ( ) maior precedncia + menor precedncia e) Em lgebra booleana, quando duas expresses so equivalentes, usamos o sinal de igualdade para representar. Exemplo: p q + p r + q r = p q + q r isto afirma que os valores de ambos os lados da equao so iguais para todos os possveis valores das variveis. Provando a igualdade das expresses, temos: iguais Lgica Para Computao

Prof. Walteno Martins Parreira Jr Pgina 27 6.6 PROPRIEDADES Uma lgebra de Boole um conjunto S no qual esto definidos duas operaes binrias ( + e ) e uma operao unria ( ), e que contm dois elementos distintos (0 e 1), tais que as suas propriedades so vlidas, quaisquer que sejam A, B, C pertencentes a S. a) Propriedade Comutativa i) A + B = B + A (Adio) i) A B = B A (multiplicao) b) Propriedade Associativa i) A + ( B + C ) = ( A + B ) + C ( adio) i) A ( B C ) = ( A B ) C (multiplicao) c) Propriedade Distributiva A ( B + C ) = A B + A C 6.7 TEOREMAS DE DeMORGAN i) 1 Teorema: O complemento do produto igual soma dos complementos. ( A B) = A + B i) 2 Teorema: O complemento da soma igual ao produto dos complementos. 6.8 IDENTIDADES AUXILIARES a) A + A B = A b) A + A B = A + B c) ( A + B ) ( A + C ) = A + B C iguais iguais iguais iguais Lgica Para Computao Prof. Walteno Martins Parreira Jr Pgina 28 6.9 SIMPLIFICAO DE EXPRESSES BOOLEANAS Uma funo booleana qualquer pode ser representada por mais de uma expresso booleana, e portanto por mais de um circuito composto por portas lgicas E, OU e NO. Para reduzir uma expresso booleana em uma outra equivalente mais simples devemos usar as propriedades da lgebra de Boole, j que elas expresso a equivalncia de expresses booleanas. Portanto, usando os conceitos de lgebra de Boole podemos simplificar expresses lgicas. Deve-se lembrar que a cada circuito lgico corresponde uma expresso booleana, portanto podemos ver que a simplificao de expresses implicam em simplificaes de circuitos. Exemplo: 1) Dada a expresso S = A B C + A C + A B , simplific-la.

colocando A em evidencia (p. distributiva), temos: S = A ( B C + C + B ) aplicando a propriedade associativa, temos: S = A ( B C + ( C + B ) ) aplicando a identidade: X = X, temos: S = A ( B C + ( C + B) ) aplicando o 2 teorema de DeMorgan, temos: S = A ( B C + ( C B ) ) aplicando a identidade: X = X, temos: S = A ( B C + ( C B ) ) usando a propriedade comutativa, temos: S = A ( B C + ( B C ) ) chamando B C de Y, logo ( B C ) = Y S = A ( Y + Y) pela identidade da adio: X + X = 1, temos: S = A 1 pela identidade da multiplicao: X 1 = X, logo: S = A portanto, S = A B C + A C + A B = A 2) Simplificar a expresso: S = A B + A B usando a propriedade distributiva: S = A ( B + B ) usando a identidade da adio: X + X = 1, temos: pela identidade da multiplicao: X 1 = X, temos: S = A 3) Simplificar a expresso: S = ( A + B + C ) ( A + B + C ) usando a propriedade distributiva, temos: S = A A + A B + A C + A B + B B + B C + A C + B C + C C do identidade da multiplicao: X X = 0, temos: S = A B + A C + A B + B C + A C + B C + C C do identidade da multiplicao: X X = X, temos: Lgica Para Computao Prof. Walteno Martins Parreira Jr Pgina 29 S = A B + A C + A B + B C + A C + B C + C colocando C em evidencia (propriedade distributiva), temos: S = A B + C ( A + B + A+ B+ 1) + A B usando a identidade da adio: X + X= 1 e X + 1 = 1, temos: S = A B + C 1 + A B usando a identidade da multiplicao: X 1 = X, temos: S = A B + C + A B portanto: 4) Provar que a expresso (A + B) (A + C) = A + B C vlida: Vamos desenvolver o lado esquerdo, logo: (A + B) (A + C) Usando a propriedade distributiva: A A + A B + A C + B C Usando a identidade da multiplicao X X = X, temos: A + A B + A C + B C Usando a Propriedade distributiva: A ( 1 + B + C ) + B C Usando a identidade da soma X + 1 = 1, temos: A ( 1 ) + B C Usando a identidade da multiplicao X 1 = x, temos: A + B C que a expresso procurada, logo: (A + B) (A + C) = A + B C vlida.

5) Usando as propriedades da lgebra de Boole, provar que a expresso (A + B ) (A + C) = A C + A B vlida, indicando a propriedade usada em cada passagem. A A + A C + A B + B C IDENTIDADE DA MULTIPLICAO: X X = 0 A C + A B + B C IDENTIDADE DA SOMA: 1 = X + X A C ( 1 + B ) + A B ( 1 + C ) IDENTIDADE DA SOMA: 1 + X = 1 A C 1 + A B 1 IDENTIDADE DA MULTIPLICAO: X 1 = X Para provar, usar um lado da expresso para chegar no outro lado da expresso. veja a soluo ao lado, letra e Lgica Para Computao Prof. Walteno Martins Parreira Jr Pgina 30 6.10 MAPA DE KARNAUGH Simplificamos expresses booleanas usando as propriedades, postulados e identidades da lgebra de Boole, no entanto no h um conjunto de procedimentos a serem seguidos, funciona por tentativa e erro, cada soluo diferente da anterior. Pode-se usar os diagramas de Veitch-Karnaugh para efetuar as simplificaes nas expresses booleanas. Dada a funo booleana S = F(A,B) = A B + A B, vamos montar o mapa de Karnaugh. Soluo: Como temos duas proposies (ou variveis), teremos 2 clulas, montando o mapa: As parcelas que temos na expresso so transcritas para o mapa com o valor igual a 1: completando com zeros as clulas vazias: 6.10.1 - OBTENDO A SIMPLIFICAO DE UMA EXPRESSO COM 2 VARIVEIS 1) Dada a expresso booleana: S = A B + A B + A B 2) Desenhar o diagrama. Como temos duas variveis, teremos 4 clulas. A 3) Para cada parcela que aparece na expresso, colocar o numeral um na clula correspondente. Nmero De Clulas: 2N onde N o nmero de variveis

2 = 4 clulas Portanto, temos o mapa montado. Lgica Para Computao Prof. Walteno Martins Parreira Jr Pgina 31 4) Completar com o numeral zero (0) as clulas restantes que esto vazias. 5) Para obter a expresso simplificada, devemos observar: i) Agrupar as clulas adjacentes (na horizontal ou vertical) onde aparecem o numeral 1, um mesmo numeral 1 pode ser componente de mais de um par. Todos os numerais 1 do diagrama devem pertencer a pelo menos um agrupamento; i) O par 1 ocupa a regio do diagrama onde A igual a 1, logo o seu valor ser: par 1 = A; i) O par 2 ocupa a regio do diagrama onde B igual a 1, logo o seu valor ser par 2 = B iv) Somando os pares para obter a expresso simplificada: S = A + B 6.10.2 - SIMPLIFICAO DE UMA EXPRESSO COM 3 OU MAIS VARIVEIS 1) Dada a expresso booleana: S = A B C + A B + A B + A B C 2) Desenhar o diagrama. Como temos trs variveis, teremos 8 clulas. 3) Para cada parcela que aparece na expresso, colocar o numeral um na clula correspondente. par 1 par 2 Lgica Para Computao Prof. Walteno Martins Parreira Jr Pgina 32 4) Completar com o numeral zero (0) as clulas restantes que esto vazias. 5) Para obter a expresso simplificada, devemos observar: i) Agrupar as clulas adjacentes (na horizontal ou vertical) onde aparecem o numeral 1, um mesmo numeral 1 pode ser componente de mais de um agrupamento. Todos os numerais 1 do diagrama devem pertencer a pelo menos um agrupamento; ser potncia de 2, assim: 1, 2, 4, 8, 16, i) Devemos tentar montar os maiores agrupamentos possveis, mas eles devem i) O agrupamento 1 ocupa a regio do diagrama onde A igual a 1, logo o seu valor ser: grupo 1 = A; iv) O agrupamento 2 ocupa a regio do diagrama onde C igual a 1 e B igual a 1, logo o seu valor ser par 2 = B C; v) O agrupamento 3 ocupa a regio do diagrama onde C igual 0 e B igual 0, logo o seu valor ser: grupo 3 = B C; vi) Somando os pares, obtm a expresso simplificada: S = A + B C + B C

6.10.3 OBSERVAES SOBRE AS SIMPLIFICAES O mapa de Karnaugh usa as algumas regras de simplificao de expresses booleanas pelo agrupamento de clulas adjacentes. a) Agrupamentos no podem conter qualquer clula com o numeral 0 (zero); b) Agrupamentos podem ser horizontais ou verticais, mas no na diagonal; c) Agrupamentos podem conter 1, 2, 4, 8, ou em geral 2n clulas; d) Todo agrupamento deve ser o maior possvel; grupo 1 grupo 2 grupo 3 Lgica Para Computao Prof. Walteno Martins Parreira Jr Pgina 3 e) Toda clula contendo o numeral 1 deve pertencer a pelo menos um agrupamento; f) Os agrupamentos podem estar sobrepostos parcialmente, mas devem ter pelo menos um elemento novo que no pertena a nenhum outro agrupamento; Se ao desenvolver os agrupamentos, algum agrupamento tiver todos os seus elementos pertencentes a outros agrupamentos, este deve ser eliminado; g) Os agrupamentos podem dar a volta no diagrama; A clula mais a esquerda em uma linha pode ser agrupada com a clula mais a direita da mesma linha, assim como a clula superior de uma coluna pode ser agrupada com a clula inferior da mesma coluna; h) Deve-se formar o menor nmero de agrupamentos possveis, desde que no contrarie nenhuma das regras anteriores. 6.10.4 OUTRAS FORMAS DE REPRESENTAO DO MAPA DE KARNAUGH O diagrama pode ser representado de vrias formas, mas o resultado ser sempre o mesmo. A A BC 0 1 E E A A A A A A A A C D C D C D C D C DCD C D C D Mapa com 5 variveis: B B B B B B B B Lgica Para Computao

Prof. Walteno Martins Parreira Jr Pgina 34 6.10.5 SOMA DE PRODUTOS Todos os exemplos e exerccios apresentados at o momento so denominados de soma de produtos. Como pode ser observado, cada parcela da expresso um produto de variveis e que so somadas para formar a expresso. denominada de Forma Normal Disjuntiva. Exemplo: S = A B + A B C + B C Exerccio: Encontrar a expresso booleana definida pela tabela-verdade, represent-la no mapa de karnough e encontrar a expresso mais simples. ABCS1111ABC Montando o Mapa de Karnaugh: Lgica Para Computao

Prof. Walteno Martins Parreira Jr Pgina 35

6.10.6 PRODUTOS DA SOMA Como o prprio nome indica, cada parcela da expresso uma soma e que sero reunidas atravs de produtos para formar a expresso. denominada de Forma Normal Conjuntiva. Para desenvolver o Mapa de Karnaugh e achar a expresso na forma de Produto da Soma, desenvolve-se: a) Os agrupamentos com os numerais zero (0) no lugar do numeral 1 (um) da mesma forma que estudada anteriormente; b) Montar a expresso, onde cada agrupamento ser somado para formar a expresso, mas como foi desenvolvido a partir das clulas com numeral 0 (zero), o resultado ser negado; c) Para encontrar a expresso, tem-se que inicialmente negar os dois lados e assim eliminar a negao no resultado; d) Aplicar o teorema de DeMorgan duas vezes, encontrando assim, a expresso na forma de Produto da Soma. Exemplo: S = A B + A B C + B C Lgica Para Computao

Prof. Walteno Martins Parreira Jr Pgina 36 6.1 MTODO DE QUINE-McCLUSKEY Este mtodo aplica-se exclusivamente a funes booleanas na Forma Normal Disjuntiva e com notao binria. Supera a limitao do mapa de Karnaugh, permitindo a aplicao em funes com mais de seis (6) variveis. O mtodo consiste na aplicao sucessiva do teorema expresso por A B + A B = A , a termos que diferem entre s apenas por um dgito binrio. Para desenvolver o mtodo: a) Classificam-se e agrupam-se os termos da funo de acordo com os seus ndices; b) Comparam-se todos os termos de um dado grupo ( organizado em funo da quantidade de 1 que tem) com cada termo do grupo seguinte, ou seja, de ndice imediatamente superior, para a aplicao do teorema. Aplica-se sucessivamente esse teorema comparando cada termo do grupo de ndice i com todos os termos do grupo com ndice i+1 at esgotarem todas as possibilidades. O termo resultante representado com o nico digito diferente substitudo por um trao e marcase os termos comparados; c) Aps tabular os termos comparados, procede-se novamente ao item b at o esgotamento das possibilidades. No final, os termos que ficarem sem a marcao formam o conjunto de termos irredutveis. A B C 2 passo A B C 3 passo A B C

2,3 0 1 - -> AB 4,5 1 0 - -> AB Como 1,3,5,7 e 1,5,3,7 representam o mesmo termo, no ser repetido, ficando ento a expresso: Z = AB + AB + C Lgica Para Computao

Prof. Walteno Martins Parreira Jr Pgina 37 7 PORTAS LGICAS A representao grfica dos operadores da lgebra booleana feita mediante smbolos padronizados por normas internacionais chamados blocos ou portas lgicas.

As portas lgicas so as bases dos circuitos lgicos e tem por finalidade combinar as diferentes variveis booleanas de modo a realizar determinada funo booleana. Neste curso, trabalharemos com a norma americana MIL-STD-800B (military-standard) de uso muito freqente na prtica. Lgica Para Computao

Prof. Walteno Martins Parreira Jr Pgina 38 Exemplos: 1) Representar mediante portas lgicas a funo booleana S = f(A,B) = A B 2) Representar mediante portas lgicas a funo booleana S = f(A,B) = A B + A B 3) Determinar a funo booleana correspondente ao circuito lgico abaixo: S = ( A + B + C) ( A + C) 4) Representar em circuito lgico a funo booleana definida pela tabela-verdade abaixo: S = A B C + A B C + A B C + A B C O circuito lgico que representa a tabela : Lgica Para Computao

Prof. Walteno Martins Parreira Jr Pgina 39 5) Simplificar o circuito lgico apresentado ao lado, usando o mapa de karnaugh. Soluo: S = A B + C D + A B + A C D colocando no mapa de karnaugh, temos: B B B B A 0 0 1 1 D A 1 1 1 1 D A 1 0 1 1 D A 0 0 1 1 D C C C C logo, a nova expresso : S = B + A D + C D e o novo circuito ser: Lgica Para Computao

Prof. Walteno Martins Parreira Jr Pgina 40 1 Lista de Exerccios a) Doze um nmero primo e) Boa tarde! b) Dez menor que sete f) Uberlndia tem quantas escolas superiores? 1) determinar quais das frases abaixo so proposies declarativas c) Qual ser o resultado do futebol? g) Marcela bonita. d) Muitos alunos de lgica podem ser aprovados este semestre.

a) x + 5 = 9 d) 4 > 5 b) 5 + 4 = 9 e) 6 < 7 e 3 + 2 = 8 c) x filho de z, ento neto de y f) 2 y 6 2) Nas expresses a seguir, quais so sentenas abertas e quais so proposies declarativas. a) O nmero 23 primo e) pi = 3 b) Goinia a capital de Tocantins f) 3 > 2 c) O nmero 25 quadrado perfeito g) pi > 3 3) Determinar o valor lgico ( V ou F ) de cada uma das seguintes proposies. d) Todo nmero divisvel por 5 termina com 5. h) 4 = 2 4) Sejam as proposies: p: O empregado foi demitido. q: O patro indenizou o empregado. Escreva em notao simblica, cada uma das proposies abaixo: a) O empregado no foi demitido. b) O patro no indenizou o empregado. c) O empregado foi demitido e o patro indenizou o empregado. d) falso que o empregado foi demitido ou o patro indenizou o empregado. e) O empregado foi demitido ou o patro no indenizou o empregado. f) no verdade que o empregado no foi demitido. p: Rosas so vermelhas q: Violetas so azuis. r: Cravos so amarelos. 5) Sejam as proposies: Escreva em notao simblica, cada uma das proposies compostas abaixo: a) Rosas so vermelhas e violetas so azuis. b) Rosas so vermelhas, ou violetas so azuis ou os cravos so amarelos. c) Se violetas so azuis, ento as rosas so vermelhas e os cravos so amarelos. d) Rosas so vermelhas se e somente se, as violetas no forem azuis e os cravos no so amarelos. e) Rosas so vermelhas e, se os cravos no so amarelos ento, as violetas no so azuis. 6) Sejam as proposies: p: J Soares gordo. q: J Soares artista. r: Paulo cantor. Escreva em notao simblica, cada uma das proposies abaixo: a) J Soares no gordo. b) J Soares no artista. c) No verdade que J Soares no gordo d) J Soares gordo ou artista. e) Se J Soares no artista ento Paulo no cantor. f) J Soares artista se e somente se Paulo cantor 7) Sejam as proposies: p: Joo joga futebol. q: Pedro joga tnis. Traduzir as formulas lgicas para o portugus. Lgica Para Computao

Prof. Walteno Martins Parreira Jr Pgina 41 8) Sejam as proposies: p: A bola vermelha. q: O bambol amarelo. Traduzir as formulas lgicas para o portugus. a) p q b) p q c) p ~q d) ~p ~q e) ~~p f) ~(~p ~q) g) ~p ~q h) p ~q i) ~(~q p) 9) Determinar o valor lgico (V ou F) de cada uma das proposies compostas abaixo, sabendo o valor lgico de cada proposio simples v(p) = V e v(q) = F. a) p q b) p q c) p ~q d) p (~p ~q) a) p q b) p q c) p ~q d) ~p ~q e) ~~p f) p (~p ~q) 10) Construa a tabela-verdade de cada uma das seguintes proposies: g) ~p q ~q p h) p ~q i) p (~q p) j) ~p r ~q r k) p r ~q l) ~(r ~q) p a) ~ p r q ~ r b) p (p ~ r) q r c) p r q ~ r d) (p q r) (~ p q ~ r) 1) Construir as tabelas-verdade das seguintes proposies: a) P(p, q) = ~ (~ p q) b) P(p, q) = ~ p q p a) P(p, q, r) = p (q r) b) P(p, q, r) = (p ~ q) r 13) Determinar P(V, VVF, F) em cada um dos seguintes casos: 15) Sabendo que os valores lgicos das proposies p e q so respectivamente F e V, determinar o valor lgico (V ou F) da proposio: (p (~ q p)) ~ ((p ~ q) q ~ p) 16) Sejam as proposies p: tg(pi x) = ctg(x) e q: pi < 2. Determinar o valor lgico (V ou F) de cada uma das seguintes proposies: (a) (~ p q) (p ~ q) (c) ~ (p q) ~ p ~ q (b) (p q) ~ p ~ q (d) (p (~ p q)) (~ p ~ q)

17) Sabendo que os valores lgicos das proposies p, q e r so respectivamente V, F e F, determinar o valor lgico (V ou F) de cada uma das seguintes proposies: 18) Sabendo que as proposies p, q so verdadeiras e que as proposies r e s so falsas, determinar o valor lgico (V ou F) de cada uma das seguintes proposies: a) p q r b) (q r) (p s) c) r s q Lgica Para Computao d) ( r s) (p q) e) q p s f) (p ~ q) r

Prof. Walteno Martins Parreira Jr Pgina 42 g) p ~ (r s) h) ~ (( r p) (s q)) i) (q s) r j) (s r) (p q) k) ~ r p q l) r q ( ~ p r) 19) Sabendo que os valores lgicos das proposies p, q, r e s so respectivamente V, V, F e F, determinar o valor lgico (V ou F) de cada uma das seguintes proposies: (a) p q q p (d) ~ (p q) ~ p ~ q (b) (r p) (p r) (e) ~ (p s) ~ p ~ s 20) Sabendo que V(p) = V(r) = V e V(q) = V(s) = F, determinar o valor lgico (V ou F) de cada uma das seguintes proposies: 21) Sabendo que as proposies x = 0 e x = y so verdadeiras e que as proposies y = z e y = t so falsas, determinar o valor lgico (V ou F) de cada uma das seguintes proposies: a) x = 0 x = y y z b) x 0 y = t y = z c) x y y z y = t d) x 0 x y y z e) x = 0 (x y y t) 2) Sabendo que a condicional p q verdadeira(V), determinar o valor lgico (V ou F) das proposies abaixo: a) p r q r b) p r q r c) ~p q q r 23) Sabendo que a condicional p q falsidade(F), determinar o valor lgico (V ou F) das proposies abaixo: a) p q q r b) p r q p c) ~p q q r 24) Sabendo que a bicondicional p q verdadeira(V), determinar o valor lgico (V ou F) das proposies abaixo: a) p r q r b) ~p q q r c) ~p q q r

a) b) 25) Dizer quais as proposies que satisfazem a tabela-verdade, mostre que elas so equivalentes: c) d) pq?pq?FFFFFVFVFFVVVFVVFVVVFVVFpq?pq?FFFFFV e) f) pq?pq?FFVFFV Lgica Para Computao

Prof. Walteno Martins Parreira Jr Pgina 43 26) Sejam as proposies p: A cidade de Paris capital da Frana e q: A cidade de Roma capital da Espanha. Determinar o valor lgico (V ou F) de cada uma das seguintes proposies: a) (~ p q) (p ~ q) (c) ~ (p q) ~ p ~ q b) (p q) ~ p ~ q (d) (p (~ p q)) (~ p ~ q) 27) Prove, usando a tabela-verdade, que: e) ( p q ) ~p = ~p q f) p ( ~p q ) = p q 28) Sejam as proposies p: 4 > 5 e q: pi < 3. Determinar o valor lgico (V ou F) de cada uma das seguintes proposies: a) (~ p q) (p ~ q) (c) ~ (p q) ~ p ~ q b) (p q) ~ p ~ q (d) (p (~ p q)) (~ p ~ q) TRABALHO: os alunos vo fazer os exerccios definidos abaixo, conforme o seu ltimo digito do nmero de matrcula (exemplo, A=5, assim o aluno 11021005 far os exerccios da coluna numerada com o nmero 5) e entregar dia D/M.

Lgica Para Computao

Prof. Walteno Martins Parreira Jr Pgina 4 2 Lista de Exerccios 1) Determinar se as proposies a seguir so tautologia, contradio ou contigncia, usando o mtodo da Tabela-verdade. c) ~ ( p q ) ( ~ p r ) ~ r d) p ( p q ) p a) p ( q r ) ( p q ) ( p r ) b) p ( p q ) p 2) Determinar se as proposies a seguir so tautologia, contradio ou contigncia, usando o mtodo da rvore semntica 3) Determinar, usando rvore semntica, se as proposies abaixo so tautologia, contradio ou contigncia: c) ~ ( p q ) ( ~p q ) ~p d) p ( p q ) p e) ( p q ) ~p ~p q f) p ( ~p q ) p q a) p ( q r ) ( p q ) ( p r ) b) p ( p q ) p 4) Determinar se as proposies a seguir so tautologia, contradio ou contigncia, usando os seguintes mtodos: Tabela-verdade, rvore semntica e Negao ou absurdo. 5) Verificar se as proposies so tautologia, contradio ou contigncia usando os mtodos: tabelaverdade, rvore semntica e Negao ou absurdo. a) ~ (p q) ~p ~q b) ~ (p q) ~p ~ q 6) Construir a tabela-verdade para a frmula P e, usando a tabela-verdade desenvolvida obter as duas proposies possveis. Mostrar que as proposies encontradas so equivalentes. 7) Considere as frmulas a seguir:

H: ~ (p p) (p ~q) utilize o mtodo da negao ou absurdo para demonstrar se tais frmulas so tautolgicas. No caso em que a frmula no for uma tautologia, utilize o resultado do mtodo para identificar um valor lgico, que interpreta a frmula como sendo falsa. a) ~p ~p ~p b) ~ p ~( p q ) p q 8) Julgar cada uma das seguintes proposies (dizer se so verdadeiras ou falsas as relaes): c) ( p ~q ) ( p ~q ) p ~q d) ( p q ) r ( p ~r ) ( q r ) e) ( p ~r ) ( q ~p ) r ( p q ) f) ( p q ) r ( p ~r ) ~q 9) Considere as proposies: p, q, r, s dadas por: p: 5 = 8 q: 4 < 5 r: 9 > 7 s: 8 < 10 e diga se so verdadeiras ou falsas as relaes abaixo: a) r s b) r q c) ~ p s d) p q e) ~ r ( q ~s ) f) ~ r ( s ~ q ) g) p q h) ~ r q i) ~ r s Lgica Para Computao

Prof. Walteno Martins Parreira Jr Pgina 45 10) Considere as proposies: p, q, r, s dadas por: e d o valor lgico (verdadeiro ou falso) das relaes abaixo: a) r s b) r q c) ~ p s d) p q e) ~ r ( q ~s ) f) ~ r ( s ~ q ) g) p q h) ~ r q i) ~ r s 1) Usando as equivalncias tautolgicas, mostrar que as proposies abaixo podem ser escritas usando os conectivos , e ~. Depois simplifique as expresses o mximo possveis. a) (r (q p) b) q r (q p) c) p r (q r) d) (r q) (~q p) e) (p q) ( p ~q) f) (p r) ((q p) r) g) ~ ( p q ) p h) ( p q ) r ( p r ) i) ~ ( p q ) ( p q ) 12) Usando as equivalncias tautolgicas, mostrar que as proposies abaixo podem ser escritas usando os conectivos: e ~. Depois simplifique as expresses o mximo possveis. a) (r q) (q p) b) (p q) p c) (p r) ((q p) r) d) (r (q p) e) q r (q p) f) p r (q r)

j) ( p q ) (( p r ) (p q )) k) ~ ( p r ) ((r ( q r )) 13) Usando as equivalncias tautolgicas, simplificar as proposies abaixo: a) (~ (p q) r) (~p ~q) b) (p q) p p c) (p q) ((q p) r) d) ~ ( p q ) ~p ( ~p q ) e) (p q) (q p) f) p ( ~p q ) p q g) ( p q ) r ( p r ) h) ~ ( p q ) p i) ~ ( p q ) ( p q ) TRABALHO: os alunos vo fazer os exerccios definidos abaixo, conforme o seu ltimo digito do nmero de matrcula (exemplo o aluno 11021005 far os exerccios da coluna numerada com o nmero 5) e entregar no dia D/M ltimo digito do Nro A B C D E F G H I J Lgica Para Computao Prof. Walteno Martins Parreira Jr Pgina 46 3a LISTA DE EXERCCIOS 1. Identificar a expresso Booleana que gera o mapa de Karnaugh abaixo: b) C0010DAAAA C1000DC 2. Identificar a expresso Booleana mais simples (soma de produto) a partir do mapa de Karnaugh abaixo: a) A A A A b) A A A A c) A A A A d) A A A A e) f) 0110C 1001C g) h) 1100C 1101C Lgica Para Computao Prof. Walteno Martins Parreira Jr Pgina 47 a) b) 3. Identificar a expresso Booleana mais simples a partir do mapa de Karnaugh abaixo: 1001C

0110C c) A A A A d) A A A A e) A A A A f) A A A A 4. Identificar a expresso Booleana mais simples (produto de soma) a partir do mapa de Karnaugh abaixo: a) A A A A b) A A A A c) d) 0001C 0010C e) A A A A f) A A A A Lgica Para Computao

Prof. Walteno Martins Parreira Jr Pgina 48 5. Seja a expresso booleana dada a seguir. Represent-la no mapa de Karnaugh e depois simplific-la. a) S = A B + A B b) S = A B + A B C + A C c) S = A B + B C + B C + A B C d) S = A B C D + A D + A B C + A B D 6. Seja a expresso booleana dada a seguir. Represent-la no mapa de Karnaugh e depois simplific-la. 7. Usando as propriedades da Algebra de Boole, simplificar as expresses abaixo, indicando a propriedade usada em cada passagem.. a) S = A B + A B b) S = ( A + B ) ( A + C ) c) S = A B + B C + B C + A B C d) S = A B C + A B C + A B 8. Usando as expresses abaixo, simplific-las usando os conceitos (Propriedades) da algebra de Boole. a) S = f(A,B,C) = A B C + B C + A C + A B b) S = f(A,B,C) = A B C + A B C + A B c) S = f(A,B,C) = ( A + B ) ( A + C ) d) S = f(A,B,C) = ( A B + A B ) ( B + C ) e) S = f(A,B,C,D) = A B C + A B C + A C + B C + A D + B D f) S = f(A,B,C,D) = A B D + A B C + B CD+BCD

Propriedades da Algebra de Boole Comutativa: A + B = B + A A B = B A A + A = A Identidades Associativa: A + (B + C) = (A + B) + C A (B C) = (A B) A + 0 = A A 1 = A Distributiva: A (B + C) = A B + A C A + 1 = 1 A 0 = 0 Identidades (A + B) (A + C) = A + B C A + A B = A + B A + A B = A AA=0 TRABALHO: os alunos vo fazer os exerccios definidos abaixo, e entregar no dia D/M: Nro do Exerccio: 2 2 3 4 6 7 8 Final: 5, 6, 7, 8, 9 A C C B E C A Final: 0, 1, 2,3, 4 B D D E F D B Lgica Para Computao

Prof. Walteno Martins Parreira Jr Pgina 49 4a LISTA DE EXERCCIOS 1. Identificar a expresso Booleana mais simples (soma de produto) a partir do mapa de Karnaugh abaixo, depois representar a expresso simplificada usando portas lgicas. a) b) 1001C 0100C c) A A A A d) A A A A 2. Identificar a expresso Booleana mais simples (produto de soma) a partir do mapa de Karnaugh abaixo, depois representar a expresso simplificada usando portas lgicas. a) A A A A b) A A A A c) d)

0011C 0010C 3. Seja a expresso booleana dada a seguir. Represent-la no mapa de Karnaugh e depois simplific-la. Representar a expresso simplificada usando portas lgicas.