LMC Apo

Faculdades Pitgoras de Uberlndia
Sistemas de Informao
Disciplina:
Lgica Matemtica e Computacional
Prof. Walteno Martins Parreira Jnior

www.waltenomartins.com.br waltenomartins@yahoo.com
2013
Sumrio
0 APRESENTAO............................................................................................................................................... 4 0.1 Metodologia da Disciplina ........................................................................................................................ 4 0.2 Viso geral da Disciplina .......................................................................................................................... 4 0.3 Objetivos da Disciplina ............................................................................................................................. 4 0.4 Atividades em grupo: ................................................................................................................................ 4 0.5 Avaliao dos Alunos ................................................................................................................................ 4 INTRODUO LGICA ................................................................................................................................ 5 1.1 Origens ....................................................................................................................................................... 5 1.2 Conceitos preliminares. ............................................................................................................................ 5 1.2.1 Proposio ................................................................................................................................................ 5 1.2.2 As trs leis do pensamento........................................................................................................................ 6 1.2.3 Valores lgicos das proposies ............................................................................................................... 6 1.2.4 Sentenas abertas ...................................................................................................................................... 7 1.2.5 Proposies simples (atmicas) ................................................................................................................ 7 1.2.6 Conectivos lgicos.................................................................................................................................... 7 1.2.7 Proposies compostas ............................................................................................................................. 7 1.3 Tabelas-verdade e conectivos. .................................................................................................................. 8 1.3.1 Operao Lgica Negao ........................................................................................................................ 9 1.3.2 Operao Lgica Conjuno..................................................................................................................... 9 1.3.3 Operao Lgica Disjuno.................................................................................................................... 10 1.3.4 Operao Lgica Condicional ................................................................................................................ 11 1.3.5 Operao Lgica Bi-condicional ............................................................................................................ 12 1.3.6 - Tabela Verdade dos conectores ............................................................................................................... 12 1.3.7 Ordem De Precedncia Dos Conectores ................................................................................................. 13 1.4 Exerccios ................................................................................................................................................. 13 TAUTOLOGIA, CONTINGNCIA E CONTRADIO ................................................................................. 17 2.1 Tautologia ................................................................................................................................................ 17 2.2 Contradio ............................................................................................................................................. 17 2.3 Contingncia ............................................................................................................................................ 17 2.4 Exerccios ................................................................................................................................................. 18 EQUIVALNCIA E IMPLICAO LGICA. ................................................................................................ 19 3.1 Introduo................................................................................................................................................ 19 3.2 Conceito de implicao lgica ................................................................................................................ 19 3.3 Propriedades da implicao lgica: reflexiva e transitiva ................................................................... 19 3.4 Demonstrao de implicao lgica, comparando-se tabelas-verdade ............................................... 19 3.5 Demonstrao de implicao lgica, substituindo-se a relao pelo conectivo .................................. 20 3.6 Implicao entre Sentenas Abertas ...................................................................................................... 20 3.7 Propriedades das Implicaes Lgicas .................................................................................................. 20 3.8 Implicaes Notveis ............................................................................................................................... 20 3.9 Teorema Contra-Recproco .................................................................................................................... 22 3.10 Relao Entre Implicaes ..................................................................................................................... 22 3.11 Equivalencias entre Implicaes ............................................................................................................ 22 3.12 Conceito de equivalncia lgica ............................................................................................................. 22 3.13 Propriedades da equivalncia lgica: reflexiva, simtrica e transitiva ............................................... 22 3.14 Demonstrao de equivalncia lgica, comparando-se tabelas-verdade ............................................ 23 3.15 Demonstrao de equivalncia lgica, substituindo-se a relao pelo conectivo ............................... 23 3.16 Equivalencia entre Sentenas Abertas .................................................................................................. 23 3.17 Propriedades das Equivalncias Lgicas .............................................................................................. 24 3.18 Equivalncias Notveis ........................................................................................................................... 24 3.19 lgebra das proposies. ........................................................................................................................ 25 3.20 Exerccios ................................................................................................................................................. 26 MTODOS PARA DETERMINAO DA VALIDADE DE FRMULAS ................................................... 28 4.1 Mtodo da Tabela-Verdade .................................................................................................................... 28 4.2 rvore Semntica .................................................................................................................................... 28 4.3 Negao ou Absurdo ............................................................................................................................... 29 4.4 Exerccios: ................................................................................................................................................ 31 LGEBRA BOOLEANA .................................................................................................................................. 33 5.1 Conceitos preliminares. .......................................................................................................................... 33 5.1.1 Variveis e Expresses na lgebra de Boole.......................................................................................... 33 5.1.2 Postulados............................................................................................................................................... 33 Pgina 2
Lgica Matemtica e Computacional 5.2 Teoremas da lgebra de Boole. ............................................................................................................. 34 5.2.1 - Introduo................................................................................................................................................ 34 5.2.2 Condies ............................................................................................................................................... 34 5.2.3 - Propriedades ............................................................................................................................................ 35 5.2.4 Teoremas de De Morgan......................................................................................................................... 36 5.2.5 Identidades Auxiliares ............................................................................................................................ 36 5.2.6 - Tabela com as propriedades da lgebra de Boole................................................................................... 36 5.3 Mtodos para minimizao de funes: Mtodo Algbrico e Mapa de Karnaugh. ........................... 37 5.3.1 Mtodo Algbrico ................................................................................................................................... 37 5.3.2 Exemplos de resoluo pelo mtodo algbrico:...................................................................................... 37 5.3.3 Mapa de Veitch-Karnaugh...................................................................................................................... 39 5.3.4 Exemplo de resoluo pelo Mapa de Karnaugh:..................................................................................... 39 5.3.5 - Obtendo a Simplificao de uma Expresso com 2 Variveis ................................................................ 40 5.3.6 - Simplificao de uma Expresso com 3 ou mais Variveis .................................................................... 40 5.3.7 Observaes Sobre as Simplificaes..................................................................................................... 42 5.3.8 Outras Formas de Representao do Mapa de Karnaugh ....................................................................... 43 5.3.9 Soma de Produtos ................................................................................................................................... 43 5.3.10 Produtos da Soma ................................................................................................................................. 45 5.4 Exerccios ................................................................................................................................................. 46 6 PORTAS LGICAS........................................................................................................................................... 49 6.1 Introduo................................................................................................................................................ 49 6.2 Circuitos Lgicos ..................................................................................................................................... 49 6.3 Variveis e Expresses na lgebra de Boole......................................................................................... 49 6.4 Postulados ................................................................................................................................................ 50 6.5 Representao.......................................................................................................................................... 50 6.6 Exemplos de exerccios de portas lgicas: ............................................................................................. 51 6.7 Exerccios ................................................................................................................................................. 52 7 REGRAS DE INFERNCIA ............................................................................................................................. 56 7.1 Argumentos.............................................................................................................................................. 56 7.1.1 Validade de um argumento atravs da Tabela-verdade ................................................................... 56 7.2 Processo de inferncia ............................................................................................................................. 56 7.2.1 Modus Ponens (MP) ........................................................................................................................ 57 7.2.2 Modus Tollens (MT) ....................................................................................................................... 57 7.2.3 Silogismo Hipottico (SH) .............................................................................................................. 57 7.2.4 Silogismo Disjuntivo (SD) .............................................................................................................. 57 7.2.5 Dilema Construtivo (DC) ................................................................................................................ 57 7.2.6 Dilema Destrutivo (DD) .................................................................................................................. 58 7.2.7 Absoro (ABS) .............................................................................................................................. 58 7.2.8 Simplificao (SIMP) ...................................................................................................................... 58 7.2.9 Conjuno (CONJ) .......................................................................................................................... 58 7.2.10 Adio (AD) .................................................................................................................................... 58 7.2.11 Exemplo........................................................................................................................................... 59 7.2.12 Reviso ............................................................................................................................................ 60 7.2.13 Exerccios resolvidos ....................................................................................................................... 60 7.3 Exerccios ................................................................................................................................................. 62 8 SISTEMAS DE NUMERAO ........................................................................................................................ 63 8.1 Sistemas de Numerao Posicionais ...................................................................................................... 64 8.2 Converses entre Bases ........................................................................................................................... 66 8.2.1 Converso entre bases 2, 8 e 16....................................................................................................... 66 8.2.2 Converso de Nmeros em uma base b qualquer para a base 10..................................................... 67 8.2.3 Converso de Nmeros da Base 10 para uma Base b qualquer ....................................................... 68 8.2.4 Converso de Nmeros entre duas Bases quaisquer........................................................................ 69 8.3 Aritmtica em Binrio ............................................................................................................................ 70 8.3.1 Operao direta................................................................................................................................ 70 8.3.2 Complemento a Base ....................................................................................................................... 71 8.3.3 Multiplicao em binrio................................................................................................................. 71 8.4 Aritmtica em outras bases .................................................................................................................... 72 8.4.1 Operao direta................................................................................................................................ 72 BIBLIOGRAFIA: ........................................................................................................................................................ 74
Pgina 3
0
0.1
APRESENTAO
Metodologia da Disciplina Aula expositiva: informao, conhecimento, aprendizagem de conceitos e princpios. Atividades de aprendizagem em grupo: desenvolvimento de habilidades e competncias, no s da disciplina em questo, mas tambm habilidade de trabalhar em grupos e equipes. nfase em projetos e pesquisas dos alunos, fazendo a relao entre a teoria e o mundo real. Atividades Avaliativas (individuais e coletivas) Viso geral da Disciplina A disciplina de Lgica Matemtica e Computacional fundamental para todos os alunos das reas de Engenharias e da Computao diante da sua ampla aplicabilidade. A Lgica permite formalizar argumentos que podem ser validados ou refutados, usando raciocnio lgico. Estas estruturas de argumentao podem ser utilizadas na elaborao de algoritmos na rea de programao. Alm disso, a disciplina de Lgica Matemtica e Computacional prepara os alunos para projetar sistemas digitais, utilizando os diferentes sistemas de numerao e os conceitos de lgebra booleana, temas desta disciplina. Objetivos da Disciplina Desenvolver no aluno a habilidade de elaborar uma estrutura de argumentao lgica, utilizando uma linguagem formal, tanto para verbaliz-la, como para verificar equivalncias e implicaes. Preparar o aluno para aplicar os conceitos de lgica na modelagem e na construo de algoritmos computacionais. Capacitar o aluno a aplicar os conceitos de inferncia lgica na construo de dispositivos autnomos e sistemas especialistas. Capacitar o aluno a aplicar os conceitos da lgebra booleana na construo de sistemas digitais, assim como a utilizao dos diferentes sistemas de numerao. Atividades em grupo: O aluno deve usar o material indicado pelo professor. No possvel desenvolver satisfatoriamente uma atividade sem um mnimo de conhecimento do contedo ministrado nas aulas expositivas. A participao ser avaliada a cada encontro. A nota de participao no nota de presena. Avaliao dos Alunos Conhecimentos adquiridos. Habilidades e competncias especficas da disciplina, principalmente, a competncia argumentativa. Atitudes: abertura s idias e aos argumentos dos outros, mostrando disponibilidade para rever suas prprias opinies; cooperao com os outros, mostrando que a crtica s eficaz atravs do dilogo justo e honesto, no seio de uma comunidade. Participao efetiva nas aulas e atividades coletivas (no apenas presena).
0.2
0.3
0.4
0.5
Pgina 4
1
1.1
INTRODUO LGICA
Origens
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 XX. 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 lingisticamente.
1.2
Conceitos preliminares.
1.2.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 (/2) = 1
Prof. Walteno Martins Parreira Jnior Pgina 5
A lua gira em torno da terra. b) Interrogativas Ser que o Roberto vai ao cinema hoje? 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.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 No-Contradio 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 um nmero racional. O Mxico est localizado na Amrica do Sul.
1.2.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 Exemplos:
e l-se: o valor lgico de P V
P: O mercrio mais pesado que a gua. Q: O sol gira em torno da Terra. R: A lua um satlite natural da Terra. 1.2.4 Sentenas abertas
v(P) = V v(Q) = F v(R) = V
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.2.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.2.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 Negao Conjuno Disjuno Condicional Bicondicional 1.2.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.
Palavras No E Ou Se ... ento ... ... Se, e somente se ...
Smbolo
~ ou

R: Se Carlos careca, ento Carlos infeliz. S: Carlos careca se, e somente se Pedro estudante.
1.3
Tabelas-verdade e conectivos.
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: P V F b) Para uma proposio composta cujas proposies simples componentes so P e Q, o nmero de linhas da tabela-verdade ser: 22 = 4 , que ser representada: P V V F F Q V F V F
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: 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
Pgina 8
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.3.1 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 V F ~P F V v(~P) = ~ v(P)
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. Q: Joo no foi ao cinema. ~Q: falso que Joo no foi ao cinema. Observaes: Pode-se ter algumas variaes, por necessidades da lngua portuguesa, por exemplo: P: Todos os homens so elegantes. ~P: Nem todos os homens so elegantes. Q: Nenhum homem elegante. ~Q: Algum homem elegante.
1.3.2 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 que se l P E Q. A tabela-verdade: P Q ,
Pgina 9
P V V F F Exemplo:
Q V F V F
PQ V F F F Q: Descartes era Francs v(PQ) = v(P) v(Q)
P: Pitgoras era Grego
P Q: Pitgoras era Grego e Descartes era Francs. v(P) = V e v(Q) = V v(P Q) = V
1.3.3 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 que se l P OU Q. A tabela-verdade: P V V F F Exemplo: P: A cidade de Paris a capital da Frana Q: O sol um satlite artificial da terra 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.
P Q ,
Q V F V F
PQ V V V F v(PQ) = v(P) v(Q)
A tabela-verdade: P V V F F Q V F V F PQ F V V F v(PQ) = v(P) v(Q)
1.3.4 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 SOMENTE SE Q 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: P V V F F Q V F V F PQ V F V V v(PQ) = v(P) v(Q)
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
Pgina 11
1.3.5 Operao Lgica Bi-condicional Definio: chama-se proposio bi-condicional 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) equivale a (Q P). Simbolicamente, a bi-condicional de duas proposies P e Q indica-se com a notao P Q , que se l: P SE, E SOMENTE SE Q 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 tabela-verdade: P V V F F 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 Q V F V F PQ V F F V v(PQ) = v(P) v(Q)
1.3.6 - Tabela Verdade dos conectores Resumindo, tem-se a seguinte tabela verdade:
p V V F F
q V F V F
pq V F F F
pq V V V F
pq F V V F
pq pq V F V V V F F V
p V F
~p F V
Pgina 12
1.3.7 Ordem De Precedncia 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) b) c) d) e) f) menor 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 equivale a ( p ( ~ q ) ) b) p q r equivale a ( ( p q ) r ) c) p q r p q equivale a ( ( p ( q r ) ) ( p q ) ) p q r p q 1 3 4 2 conectivos dentro de parntesis, do mais interno para o mais externo ~ ou
1.4
Exerccios
1.4.1 - Com o intuito de abordar os conceitos preliminares estudados nesta unidade, responda s seguintes perguntas: a) Qual a relao entre sentena e proposio? b) Toda sentena uma proposio? E o contrrio: toda proposio uma sentena? Por qu? D exemplos. c) Defina, com suas prprias palavras, o valor lgico. d) De acordo com a lgica clssica, quais so os valores lgicos possveis para uma proposio? e) Compare a teoria dos conjuntos, vista no ensino fundamental, com a lgica clssica discutida nesta unidade. f) Quais so os trs postulados clssicos?
1.4.2 - Represente as seguintes frases em linguagem natural, utilizando lgica formal. Para cada resposta, devem-se especificar as proposies simples extradas: a) Joo mede 1,78m e Maria pesa 60kg. b) Fortaleza capital do Maranho desde que Rio de Janeiro tenha mais de 250 mil habitantes. c) Ontem o dlar no fechou a R$2,18 ou o ndice Bovespa fechou estvel. d) S irei ao clube se amanh fizer sol. 1.4.3 - Sejam as seguintes proposies simples: p: Tiradentes morreu afogado e q: Jaime gacho. Traduzir para linguagem natural, as seguintes proposies compostas: a) p q b) p q c) ~p q d) q ~p 1.4.4 - Determinar o valor lgico ( V ou F ) de cada uma das seguintes proposies. a) O nmero 23 primo. b) Goinia a capital de Tocantins. c) O nmero 25 quadrado perfeito. d) Todo nmero divisvel por 5 termina com 5. 1.4.5 - Sejam as proposies: p: O empregado foi demitido. a) b) c) d) e) f) q: O patro indenizou o empregado. Escreva em notao simblica, cada uma das proposies abaixo: O empregado no foi demitido. O patro no indenizou o empregado. O empregado foi demitido e o patro indenizou o empregado. falso que o empregado foi demitido ou o patro indenizou o empregado. O empregado foi demitido ou o patro no indenizou o empregado. no verdade que o empregado no foi demitido. e) = 3 f) 3 > 2 g) > 3 h) 4 = 2
1.4.6 - Sejam as proposies: p: Rosas so vermelhas. a) b) c) d) q: Violetas so azuis. r: Cravos so amarelos. Escreva em notao simblica, cada uma das proposies compostas abaixo: Rosas so vermelhas e violetas so azuis. Rosas so vermelhas, ou violetas so azuis ou os cravos so amarelos. Se violetas so azuis, ento as rosas so vermelhas e os cravos so amarelos. Rosas so vermelhas se e somente se, as violetas no forem azuis e os cravos no so amarelos.
Pgina 14
e) Rosas so vermelhas e, se os cravos no so amarelos ento as violetas no so azuis. 1.4.7 - Sejam as proposies: p: J Soares gordo. a) b) c) d) e) f) q: J Soares artista. r: Paulo cantor. Escreva em notao simblica, cada uma das proposies abaixo: J Soares no gordo. J Soares no artista. No verdade que J Soares no gordo J Soares gordo ou artista. Se J Soares no artista ento Paulo no cantor. J Soares artista se e somente se Paulo cantor
1.4.8 - Sejam as proposies: p: Joo joga futebol. q: Pedro joga tnis. Traduzir as formulas lgicas para o portugus. a) p q e) ~p ~q 1.4.9 - Sejam as proposies: p: A bola vermelha. a) p q d) ~p ~q g) ~p ~q q: O bambol amarelo. b) p q e) ~~p h) p ~q c) p ~q f) ~(~p ~q) i) ~(~q p) Traduzir as formulas lgicas para o portugus. b) p q f) ~~p c) p ~q g) ~(~p ~q) d) p ~q h) ~p ~q
1.4.10 - 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 p e) ~p ~q i) ~p q p b) p q p f) ~~p j) p ~q p c) p ~q g) p (~p ~q) k) p (~q p) d) p (~p ~q) h) p ~q p l) ~(r ~q) p
1.4.11 - 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, v(q) = V e v(r) = F. a) p q r e) ~p ~q r i) ~r q p b) p q r f) ~~p j) p ~q p c) p ~q r g) p (~r ~q) k) r p (~q p) d) r (~p ~q) h) p r ~q p l) ~(r ~q) p
1.4.12 - Construa a tabela-verdade de cada uma das seguintes proposies: a) p q p d) ~p ~q g) ~p q ~q p

b) p q p e) ~~p h) p ~q
c) p ~q f) p (~p ~q) i) p (~q p)

Pgina 15
j) ~p r ~q r
k) p r ~q
l) ~(r ~q) p
1.4.13 - Construir as tabelas-verdade das seguintes proposies: a) ~ p r q ~ r c) p r q ~ r b) p (p ~ r) q r d) (p q r) (~ p q ~ r)
1.4.14 - Determinar P(VF, FV, FF) em cada um dos seguintes casos: a) c) e) g) P(p, q) = ~ (~ p q) P(p, q) = (p q) ~ (p q) P(p, q) = ~ ((p q) (~p ~q)) P(p, q) = (p q) ~ p (q p) b) P(p, q) = ~ p q p d) P(p, q) = (p ~ q) (~ p q) f) P(p, q) = ~ q p q ~ p h) P(p, q) = (p ~ q) (~ p q) p
1.4.15 - 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 d) ( r s) (p q) g) p ~ (r s) b) (q r) (p s) e) q p s h) ~ (( r p) (s q)) c) r s q f) (p ~ q) r i) (q s) r
Pgina 16
2
2.1
TAUTOLOGIA, CONTINGNCIA E CONTRADIO

Tautologia
Definio: denomina-se tautologia a proposio composta que sempre verdadeira. Na tabelaverdade de uma proposio tautolgica, a ltima coluna ( direita) contm somente Vs (verdade). 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 componentes p, q, r, ... 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 V ~p F p ~p F ~( p ~p ) 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 tabelaverdade 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 tabela-verdade: p V F 2.3 Contingncia ~p F V p ~p F F
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. Em outros termos, contingncia toda proposio composta que no tautologia e nem contradio. As contingncias so tambm denominadas proposies contingentes ou proposies indeterminadas.
Pgina 17
Exemplo: a proposio p ~p uma contingncia, conforme se v na tabela-verdade: p V F 2.4 Exerccios ~p F V p ~p F V
2.4.1 - Determinar se as proposies a seguir so tautologia, contradio ou contingncia, usando o mtodo da Tabela-verdade. a) p ( q r ) ( p q ) ( p r ) c) ~ ( p q ) ( ~ p r ) ~ r b) p ( p q ) p d) p ( p q ) p
2.4.2 - Determinar se as proposies a seguir so tautologia, contradio ou contingncia, usando o mtodo da Tabela-verdade. a) q r ( p q ) ( p r ) c) ~ p q r ~ p r ~ r e) p q q r ~ p ~r b) (p r ) ( p q ) r d) p q p q p f) p r q ( p q ~r
Pgina 18
3
3.1
EQUIVALNCIA E IMPLICAO LGICA.

Introduo
Diz-se que uma proposio P implica logicamente, ou simplesmente implica, uma proposio Q, se Q for verdadeira todas as vezes que P tambm o for. Duas proposies so consideradas logicamente equivalentes se as suas tabelas-verdade forem idnticas, em outras palavras, diz-se que uma proposio P equivalente a uma proposio Q, se as tabelas-verdade de P e Q so idnticas. Outra alternativa substituir as relaes de implicao () pela condicional () e de equivalncia () pela bicondicional () e verificar se tautolgica, ou seja, sempre verdadeiro. Nesse caso, pode-se afirmar que existe a relao entre as proposies envolvidas. Neste momento, vale destacar que as implicaes e equivalncias podem ser demonstradas por meio de tabelas-verdade ou por outros mtodos, como deduo e induo. Nesta aula, sero utilizadas tabelas-verdade, enquanto que, na prxima unidade sero utilizadas as regras da lgebra das proposies para demonstrar equivalncia e implicao lgica por mtodo dedutivo.
3.2
Conceito de implicao lgica
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. Definio: Diz-se que uma proposio P(p, q, ...) implica logicamente uma proposio Q(p, q, ...), se Q verdadeira (V) todas as vezes que P verdadeira (V). Pode-se dizer Diz-se que uma proposio p implica logicamente uma proposio q quando, em suas tabelas-verdade, no ocorre VF nesta ordem.
3.3 So:
Propriedades da implicao lgica: reflexiva e transitiva a) A condio necessria e suficiente para que uma implicao p q seja verdadeira que uma condicional p q seja uma tautologia; b) Propriedade reflexiva (R): p p; c) Propriedade transitiva (T): Se p q e q r, ento p r.
3.4
Demonstrao de implicao lgica, comparando-se tabelas-verdade verificar se p q p p V V F F q V F V F qp V V F V

Pgina 19
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.
3.5
Demonstrao de implicao lgica, substituindo-se a relao pelo conectivo verificar se p q p p V V F q V F V qp V V F p q p V V V
F F V V Como a coluna de resultado final da tabela-verdade uma Tautologia, ento a relao verdadeira.
3.6
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.
3.6.1 - Exemplo: Julgar a sentena x 3 = 0 x2 = 9 Resoluo: Determinando o conjunto-verdade da primeira sentena aberta: x3=0 temos que x = 3 logo, V1 = { 3 } Determinando o conjunto-verdade da segunda sentena aberta: x2 = 9 x=3 logo, V2 = { -3, 3 } Podemos observar que { 3 } { -3, 3 } Portanto, podemos dizer que a implicao verdadeira, logo a sentena x 3 = 0 x2 = 9 est correta 3.7 Propriedades das Implicaes Lgicas So: a) A condio necessria e suficiente para que uma implicao p q seja verdadeira que uma condicional p q seja uma tautologia; b) Propriedade reflexiva: p p; c) Propriedade transitiva: Se p q e q r, ento p r.
3.8
Implicaes Notveis
Pgina 20
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. 3.8.1 - Adio ppq qpq organizando a tabela-verdade tem-se que: 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 V V F
No h VF, logo p p q 3.8.2 - Conjuno pqp e pqq qpp e qpq 3.8.3 - Simplificao pqp pqq 3.8.4 - Simplificao Disjuntiva (p q) (p ~q) p 3.8.5 - Absoro p q p (p q) 3.8.6 - Regra Modus Ponens ( p q) p q 3.8.7 - Regra Modus Tollens ( p q) ~q ~p 3.8.8 - Regra do Silogismo Disjuntivo (p q) ~p q (p q) ~q p 3.8.9 - Silogismo Hipottico (p q) (q r) p r 3.8.10 - Dilema Construtivo ( (p q) (r s) (p r) ) q s 3.8.11 - Dilema Destrutivo
No h VF, logo q p q
Provar, usando tabela-verdade as outras propriedades
Pgina 21
( (p q) (r s) (~p ~s) ) ~p ~r
3.9
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, p(x) q(x) equivalente a ~q(x) ~p(x). Exemplo: A sentena Se comeu, ento matou a fome equivalente a Se no matou a fome, ento no comeu.
3.10 Relao Entre Implicaes a) Implicaes recprocas pqeqp 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.11 Equivalencias entre Implicaes a) p q ~q ~p b) p q ~ (p ~q) c) p q ~p q
3.12 Conceito de equivalncia lgica O smbolo representa uma operao entre duas proposies, resultando uma nova proposio. O smbolo indica apenas uma relao entre duas proposies dadas. Definio: Diz-se que uma proposio P(p, q, ...) logicamente equivalente a uma proposio Q(p, q, ...), se as tabelas-verdade destas duas proposies so idnticas.
3.13 Propriedades da equivalncia lgica: reflexiva, simtrica e transitiva a) A condio necessria e suficiente para que uma eqivalncia p q seja verdadeira que a bicondicional p q seja uma tautologia;
b) Propriedade Reflexiva (R): p p; c) Propriedade Simtrica (S): Se p q, ento q p. d) Propriedade Transitiva (T): Se p q e q r, ento p r. 3.14 Demonstrao de equivalncia lgica, comparando-se tabelas-verdade Dadas as proposies p q e ~p q, a relao de equivalncia lgica entre elas denotada por p q ~p q. Podem-se mostrar as tabelas-verdade: p V V F q V F V pq V F V p V V F q V F V ~p F F V ~p q V F V
F F V F F V V Como as tabelas-verdade possuem resultados iguais, logo a relao verdadeira.
3.15 Demonstrao de equivalncia lgica, substituindo-se a relao pelo conectivo Dadas as proposies p q e ~p q, a relao de equivalncia lgica entre elas denotada por p q ~p q. Podemos mostrar na tabela-verdade: p V V F q V F V pq V F V ~p F F V ~p q V F V (p q) (~p q) V V V
F F V V V V Como o resultado final da tabela-verdade uma Tautologia, logo a relao verdadeira.
3.16 Equivalencia entre Sentenas Abertas Diz-se que uma sentena aberta equivalente a uma outra sentena aberta quando o conjuntoverdade da primeira sentena est contido no conjunto-verdade da segunda e o conjuntoverdade do segunda est contido no conjunto-verdade da primeira. Eqivale dizer que os conjuntos-verdade so iguais. 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 x=2
logo, V2 = { 2 } Podemos observar que v1 v2 e v2 v1, logo V1 = V2. Portanto, podemos dizer que a eqivalncia verdadeira, logo a sentena 2x + 3 = x + 5 7x - 3 = 5x + 1 est correta. 3.17 Propriedades das Equivalncias 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.
3.18 Equivalncias Notveis 3.18.1 - Dupla Negao ~~p p p V F ~p F V ~~p V F
Observe que os valores lgicos das colunas p e ~~p so iguais. Logo a Dupla Negao equivale a afirmao. 3.18.2 - Leis Idempotentes ppp ppp 3.18.3 - Leis Comutativas pqqp pqqp 3.18.4 -Leis Associativas p (q r) (p q) r p (q r) (p q) r 3.18.5 - Leis de DeMorgan ~(p q) ~p ~q ~(p q) ~p ~q 3.18.6 - Leis Distributivas p (q r) (p q) (p r) p (q r) (p q) (p r) 3.18.7 - Condicionais
Provar, usando tabela-verdade as outras propriedades
Das proposies: i) ii) iii) iv) p q (condicional) q p (recproca da condicional) ~q ~p (contrapositivo) ~p ~q (recproca do contrapositivo)
resultam as duas equivalncia: p q ~q ~p q p ~p ~q 3.18.8 - Bicondicionais p q (p q) (q p) p V V F F q V F V F pq V F F V pq V F V V qp V V F V (p q) (q p) V F F V
iguais, logo equivalentes
3.19 lgebra das proposies. Para discutir algumas regras que podem ser aplicadas em proposies compostas com o intuito de provar relaes de implicao e equivalncia lgica, ou mesmo para simplificar uma estrutura de argumentao muito complexa. As propriedades aqui discutidas sero novamente apresentadas em lgebra Booleana. Algumas propriedades so vlidas tanto para conjuno como para disjuno, enquanto que outras so vlidas somente a uma delas, ou em situaes em que ambas so envolvidas. O quadro abaixo apresenta as propriedades vlidas tanto para disjuno como para conjuno. Disjuno ppp pqqp (P p) r p (q r) pt p pff Conjuno ppp pqqp (p p) r p (q r) pt t pf p Propriedade Idempotente Comutativa Associativa Identidade
Destaca-se que, na propriedade da Identidade, tem-se sempre um elemento considerado neutro, pois no influencia na deciso final da proposio, e um elemento absorvente, que por si s, define o resultado final da proposio composta. Dentre as propriedades que so aplicadas proposio que contm tanto conjuno como disjuno, encontram-se a distributiva, a de absoro e as famosas regras de De Morgan, apresentadas no quadro abaixo.
Distributiva p (q r) (p q) (p r) p (q r) (p q) (p r) 3.20 Exerccios
Absoro p (p q) p p (p q) p
De Morgan ~(p q) ~p ~q ~(p q) ~p ~q
3.20.1 - Verifique se existe implicao lgica entre as proposies compostas P(p,q,r,...) e Q(p,q,r,...), ou seja, se P(p,q,r,...) Q(p,q,r,...), usando o mtodo indicado na letra. Para cada letra, deve-se indicar se existe ou no implicao lgica e justificar. a) Construindo a tabela-verdade, e comparando uma proposio com a outra: P(p,q,r,...) = q Q(p,q,r,...) = p q p b) Construindo a tabela-verdade, e avaliando se a condicional tautolgica: P(p,q,r,...) = ( p q ) q e Q(p,q,r,...) = ~ p 3.20.2 - Verifique se existe equivalncia lgica entre as proposies compostas P(p,q,r,...) e Q(p,q,r,...), ou seja, se P(p,q,r,...) Q(p,q,r,...), usando o mtodo indicado na letra. Para cada letra, deve-se indicar se existe ou no equivalncia lgica e justificar. a) Construindo a tabela-verdade, e comparando uma proposio com a outra: P(p,q,r,...) = p q e Q(p,q,r,...) = ( p q ) p b) Construindo a tabela-verdade, e avaliando se a bi-condicional tautolgica: P(p,q,r,...) = p q e Q(p,q,r,...) = ( p q ) ~ (p q) 3.20.3 - Julgar cada uma das seguintes proposies (dizer se so verdadeiras ou falsas as relaes): a) ~p ~p ~p c) ( p ~q ) ( p ~q ) p ~q e) ( p ~r ) ( q ~p ) r ( p q ) b) ~ p ~( p q ) p q d) ( p q ) r ( p ~r ) ( q r ) f) ( p q ) r ( p ~r ) ~q
3.20.4 - Julgar cada uma das seguintes proposies (dizer se so verdadeiras ou falsas as relaes): a) ~p ~p ~p c) ( p ~q ) ( p ~q ) p ~q e) ( p ~r ) ( q ~p ) r ( p q ) b) ~ p ~( p q ) p q d) ( p q ) r ( p ~r ) ( q r ) f) ( p q ) r ( p ~r ) ~q
3.20.5 - 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 s c) ~ p s r d) p q e) ~ r ( q ~s ) f) ~ r ( s ~ q ) g) p q h) ~ r q s i) ~ r s r j) ( p p ) ( q r ) k) ~ r ( q ~s ) l) ~ r ( s ~ q )
3.20.6 - Considere as proposies: p, q, r, s dadas por: p: 7 + 2 = 9 q: ( 7 + 2 )2 = 81 r: 20 = 1 s: 02 = 2 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 j) ( p p ) ( q r ) k) ~ r ( q ~s ) l) ~ r ( s ~ q ) 3.20.7 - 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) d) (r q) (~q p) g) ~ ( p q ) p b) q r (q p) e) (p q) ( p ~q) h) ( p q ) r ( p r ) c) p r (q r) f) (p r) ((q p) r) i) ~ ( p q ) ( p q )
3.20.8 - 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) d) (r (q p) b) (p q) p e) q r (q p) c) (p r) ((q p) r) f) p r (q r)
3.20.9 - Usando as equivalncias tautolgicas, simplificar as proposies abaixo: a) (~ (p q) r) (~p ~q) r) d) ~ ( p q ) ~p ( ~p q ) q g) ( p q ) r ( p r ) j) ( p q ) (( p r ) (p q )) b) (p q) p p e) (p q) (q p) h) ~ ( p q ) p c) (p q) ((q p) f) p ( ~p q ) p i) ~ ( p q ) ( p q ) k) ~ ( p r ) ((r ( q r ))
Pgina 27
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.
4.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.
4.2
rvore Semntica Definio 1: 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. 1 2 N 4 6 7 3 Folha 5 Ramo Raiz
Definio 2: 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. 4.2.1 - Exemplos: 1) Dada a proposio p q, determinar se a proposio tautologia, contradio ou contingncia. 1
v(q) = V v(q) =
F 3
v(p)=F
2
v(p) = V v(p) = F v(p)=V
p V V F F
q V F V F
pq V V V F
4 V
5 V
6 V
7 F
portanto, uma contingncia.
Pgina 28
2) Dada a proposio p ~ ( p q ), determinar se a proposio tautologia, contradio ou contingncia. 1 v(q)=V 2 v(p)=V 4 V v(p)=F 5 V V v(q)=F 3
n 3: n 2: p ~( p q) ? ? V
p ~( p q) ? ? F F V V p ~( p q) F F V F V V
n 4:
p ~( p q) V V V V F V
n 5:
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. 1 v(p)=V 2 V F
n 3:
v(p)=F 3
n 2:
p V V V p F F F
( p ~q) V ? ?
( p ~q ) F ? F
CONCLUSO: Como aparecem V e F, logo temos uma contingncia.
4.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), supese 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.
Pgina 29
Validade Tautologia Contradio Contingncia
Supor F V VeF Absurdo Absurdo
Ocorrncia
No ocorrer nenhum Absurdo
4.3.1 - Exemplos: 1) Demonstrao de uma tautologia: p ~( p q ) p F absurdo F F V V V

absurdo, pois a proposio p no pode ser V e F ao mesmo tempo!
~ (
q)
a negao da tautologia F
Como o valor lgico de p V e F ao mesmo tempo, ocorreu um absurdo, ento a frmula uma tautologia. Pode-se provar pela tabela verdade que: p V V F F q V F V F pq V F F F ~ (p q) F V V V p ~ (p q) V V V V
2) Demonstrao de uma contradio: p ~p p V temos duas possibilidades: a) p V V

absurdo
~ p a negao da contradio V V V F F F
absurdo
b)
~ F
p
absurdo, pois a proposio p no pode ser V e F ao mesmo tempo!
Como ocorreu absurdo nas duas possibilidades, podemos concluir que a formula contraditria. Pode-se provar pela tabela verdade que contradio.
Pgina 30
3) Demonstrao de uma tautologia: ( p q ) ( ~p ~q ) ( p q ) ( ~p ~q ) F Temos duas possibilidades a) ( p q ) ( ~ p ~ q ) F V

Ok!!
a negao da tautologia F b) ( p q ) ( ~ p ~ q ) F F V F F V
Encontrado os valores de p e q. Agora levando-os para o outro lado da expresso.
F V F V F
V F V V
Ok!!
F V
Pode-se observar que o valor esperado V e igual ao encontrado.
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 V V F F q V F V F ~p F F V V ~q F V F V
pq V F V V
~p ~q V V F V
( p q ) ( ~p ~q ) V V F V
Como podemos ver, a frmula uma contingncia.
4.4
Exerccios:
4.4.1 - Determinar, usando rvore semntica, quais das proposies abaixo so tautologia, contradio ou contingncia. a) b) c) d) e) f) ( p ( p q )) p ( ~p ~q ) ( p q ) ( p ~q ) (( p r ) q ) ( ~p ~q ) ( p q ) p ( ~p q ) ( ~p q ) ( p q )
Pgina 31
4.4.2 - Determinar, usando rvore semntica, a validade da relao abaixo: a) b) c) d) e) pqp ( p q ) ( p ~q ) ~p ~p ~p ~ ( ~ ( p q )) p q pqp
4.4.3 - Demonstrar, usando o mtodo da negao ou absurdo que a frmula uma contradio. a) b) c) d) e) f) ( ~p ~q ) ( p q ) p ( ~p q ) ~(( p q ) (( p q ) r )) ( ~p q ) ( p q ) ( p ( p q )) p ( ~p ~q ) ( p q )
4.4.4 - Demonstrar, usando o mtodo da negao ou absurdo que a frmula uma tautologia. a) ( p r ) ( ~q r ) b) (( p q ) ( q r )) ( p r ) c) ( ~p q ) ( p q ) 4.4.5 - Usando o mtodo da negao ou absurdo para mostrar que as proposies so uma tautologia, contradio ou contingncia. a) b) c) d) ( p ( p q )) p p ( p ( q ~p )) ( p q) r ( p q) r ( p q ) (( p r ) ( q r ))
4.4.6 - Determinar se as proposies a seguir so tautologia, contradio ou contingncia, usando os seguintes mtodos: Tabela-verdade, rvore semntica e Negao ou absurdo. a) ~ (p q) ~ p ~ q c) (p q) p q e) ~ ( p q) ~ ( ~ p q) b) (p q r) q r p d) ~ (p q) (p ~q) f) p ( p q ) p
4.4.7 - Verificar se as proposies so tautologia, contradio ou contingncia usando os mtodos: tabela-verdade, rvore semntica e Negao ou absurdo. a) ~ (p q) ~p ~q c) ~ (r p) q ~ (p q) r e) ( p ~r ) ( q ~p ) r ( p q ) g) ~ ( p q) ~ ( ~ p q) b) ~ (p q) ~p ~ q d) (p q) r (p q) r f) ( p q ) r ( p ~r ) ~q h) ~ (p q) (p ~q)
Pgina 32
LGEBRA BOOLEANA
O matemtico ingls George Boole (1815-1864) desenvolveu a lgebra booleana em 1854. Boole estava interessado em regras algbricas para o raciocnio lgico, semelhante 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. A lgebra booleana, tambm conhecida como lgebra de Boole, determina regras algbricas para o raciocnio lgico assim como existem regras para o raciocnio numrico. Em outras palavras, a lgebra booleana uma maneira de se utilizar tcnicas algbricas para lidar com expresses lgicas. Essas regras capturam o funcionamento das operaes lgicas E (AND), OU (OR) e NO (NOT), bem como das operaes da teoria de conjuntos: soma, produto e complemento. Na Matemtica e na Cincia da Computao, a lgebra booleana o fundamento da matemtica computacional, baseada em nmeros binrios. Com a lgebra booleana, introduziu-se o conceito de portas lgicas que s processam dois tipos de entradas - verdade ou falsidade, sim ou no, aberto ou fechado, um ou zero. Atualmente, todos os computadores usam a lgebra de Boole na construo de circuitos digitais que contm combinaes de portas lgicas que produzem os resultados das operaes utilizando lgica binria.
5.1
Conceitos preliminares.
A lgebra booleana definida como sendo um sistema que opera com funes booleanas aplicadas a variveis de entradas. Essas variveis podem receber somente dois valores possveis: 1 ou 0, aberto ou fechado, sim ou no. Entre as operaes bsicas esto a adio lgica, ou operao OR, com o smbolo (+), a multiplicao lgica, ou operao AND, com o smbolo (.) e finalmente, a complementao lgica, ou operao NOT, que tem como smbolo uma barra sobreposta ou o (apstrofo simples). 5.1.1 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. 5.1.2 Postulados a) Postulado da Complementao Chama-se de A o complemento de A. Dizemos A BARRA. Poder ser: A i) ii) se A = 0 ento A = 1 se A = 1 ento A = 0
atravs do postulado da complementao, pode-se estabelecer a identidade: A = A b) Postulado da Adio i) ii) iii) iv) 0+0=0 0+1=1 1+0=1 1+1=1 Lembrar que: p q
atravs deste postulado, pode-se estabelecer as seguintes identidades:

i) ii) i) ii) iii) iv) i) ii)
A+0=A A+1=1 00=0 01=0 10=0 11=1 A0=0 A1=A
iii) iv)
A+A=A A + A = 1
c) Postulado da Multiplicao Lembrar que: p q
atravs deste postulado, pode-se estabelecer as seguintes identidades: iii) iv) AA=A A A = 0
5.2
Teoremas da lgebra de Boole.
5.2.1 - Introduo Na lgebra de Boole, esto definidas as operaes binrias (+) e (.), e uma operao unitria ( ), e os elementos 0 e 1. Baseado nisso, foram criados diversos teoremas em que, dada uma funo booleana, pode-se alter-la (na maioria das vezes buscando simplific-la), sem perder o seu valor lgico. Ou seja, uma mesma expresso booleana pode ser escrita de diversas formas sem que seja perdido o sentido desta. Por exemplo, a expresso A igual s expresses A + A.B ou A.B + A.B ou ainda (A + B).(A + B). Com isso, dada uma expresso booleana, pode-se aplicar diversos teoremas a ela, alterando sua estrutura, mas sem alterar o valor lgico dela. Estes teoremas foram apresentados na lgebra das proposies com o mesmo intuito: mostrar como duas proposies compostas, apesar de estruturalmente diferentes, so logicamente equivalentes. Neste tpico tem-se: Teoremas da lgebra de Boole. Utilizao dos teoremas da lgebra de Boole para verificar a equivalncia de duas expresses booleanas. Utilizao dos teoremas da lgebra de Boole para simplificar expresses booleanas complexas.
5.2.2 Condies a) Neste primeiro momento, sero usados os operadores:

Lgica Booleana Lgica Proposicional conectivo Exemplo Booleano Exemplo Proposicional
+ ou
E OU NO
pq p+q ( p + q )
pq pq ~(pq)
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) ii) iii) iv) Uma varivel uma expresso booleana: p; Se p uma expresso booleana, ento tambm o p; Se p e q so expresses booleanas, ento tambm so o p q e p + q; 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:
p 0 0 0 0 1 1 1 1
q 0 0 1 1 0 0 1 1
r 0 1 0 1 0 1 0 1
q 1 1 0 0 1 1 0 0
p q 0 0 0 0 0 0 1 1
p r 0 0 0 0 0 1 0 1
qr 0 1 0 0 0 1 0 0
p q + p r 0 0 0 0 0 1 1 1
pq + pr + qr 0 1 0 0 0 1 1 1
pq + qr 0 1 0 0 0 1 1 1
iguais
5.2.3 - 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) ii) A + B = B + A (Adio) A B = B A (multiplicao)
Pgina 35
Usando a tabela-verdade para mostrar a validade: A B A+B B+A 1 1 1 1 1 0 1 1 0 1 1 1 0 0 0 0 iguais
A 1 1 0 0
B 1 0 1 0
AB 1 0 0 0 iguais
BA 1 0 0 0
b) Propriedade Associativa i) ii) A + ( B + C ) = ( A + B ) + C ( adio) A ( B C ) = ( A B ) C (multiplicao)
c) Propriedade Distributiva A(B+C) = AB+AC 5.2.4 Teoremas de De Morgan i) 1 Teorema: O complemento do produto igual soma dos complementos. ( A B) = A + B ii) 2 Teorema: O complemento da soma igual ao produto dos complementos. ( A + B) = A B 5.2.5 Identidades Auxiliares a) A + A B = A b) A + A B = A + B c) ( A + B ) ( A + C ) = A + B C A 1 1 0 0 B 1 0 1 0 AB 1 0 0 0 iguais A+AB 1 1 0 0 A 1 1 0 0 B 1 0 1 0 A 0 0 1 1 A B 0 0 1 0 A + A B 1 1 1 0 iguais A+B 1 1 1 0
5.2.6 - Tabela com as propriedades da lgebra de Boole

PROPRIEDADES DA ALGEBRA DE BOOLE Comutativa: Associativa: Distributiva: Teorema de DeMorgan: Identidades Auxiliares A + A B = A + B A+B=B+A A + (B + C) = (A + B) + C A (B + C) = A B + A C (A B) = A + B A+AB=A (A+B)(A+C)=A+BC Postulado da Complementao (A + B) = A B AB=BA A (B C) = (A B) C P. Adio A+0=A A+1=1 A+A=A A + A= 1 A=0 A= 1 P. Multiplicao A0=0 A1=A AA=A A A = 0 A=1 A= 0
Pgina 36
5.3
Mtodos para minimizao de funes: Mtodo Algbrico e Mapa de Karnaugh.
5.3.1 Mtodo Algbrico Uma funo booleana qualquer pode ser representada por mais de uma expresso booleana. Para reduzir uma expresso booleana em uma outra equivalente mais simples devemos usar as propriedades da lgebra de Boole, j que elas expressam a equivalncia de expresses booleanas. Portanto, usando os conceitos de lgebra de Boole pode-se simplificar expresses lgicas. 5.3.2 Exemplos de resoluo pelo mtodo algbrico: A seguir exemplos de resoluo pelo mtodo algbrico. 1) 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: S = A 1 pela identidade da multiplicao: X 1 = X, temos: S = A 2) 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: 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: S = ( A + B + C ) ( A + B + C ) = A B + C + A B 3) 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.
4)
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(BC+(CB)) usando a propriedade comutativa, temos: S=A(BC+(BC)) chamando B C de Y, logo ( B C ) = Y S = A ( Y + Y) pela identidade da adio: X + X = 1, temos: S=A1 pela identidade da multiplicao: X 1 = X, logo: S=A portanto, S = A B C + A C + A B = A
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 + B ) (A + C) = A C + A B Distributiva 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 + A B + B C ( A + A ) Distributiva A C + A B + A B C + A B C Distributiva 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 A C + A B
Pgina 38
5.3.3 Mapa de Veitch-Karnaugh Simplifica-se 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. Uma opo de simplificao atravs dos Mapas de Veitch-Karnaugh ou simplesmente Mapas de Karnaugh. Para usar os diagramas de Veitch-Karnaugh necessrio seguir alguns procedimentos.
A A
B A B A B
B
AB AB
Nmero De Clulas: 2N onde N o nmero de variveis 22 = 4 clulas
A A
B ABC
B A BC
AB C C
AB C C
ABC AB C ABC AB C C C
B B A ABC ABC
B B AB C AB C
A A BC A BC C C
ABC C
A B C C
5.3.4 Exemplo de resoluo pelo Mapa de Karnaugh:
Dada a funo booleana S = F(A,B) = A B + A B, ser montado o mapa de Karnaugh. Soluo: Como tem duas proposies (ou variveis), tem-se 22 clulas, montando o mapa: As parcelas que temos na expresso so transcritas para o mapa com o valor igual a 1:
A A B 1
B 1
completando com zeros as clulas vazias:

B 1 0
A A
B 0 1
Portanto, tem-se o mapa montado.
Pgina 39
5.3.5 - Obtendo a Simplificao de uma Expresso com 2 Variveis
1) Dada uma expresso booleana: S = A B + A B + A B 2) Desenhar o diagrama. Como tem-se duas variveis, ento tem-se 4 clulas.
B A A
3) Para cada parcela que aparece na expresso, deve-se colocar o numeral um na clula correspondente.
B A A
B 1 1
4) Completar com o numeral zero (0) as clulas restantes que esto vazias.
A A B 0 1
B 1 1
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;
B 0 1
A A
B 1 1
par 1
A A
B 0 1
B 1 1
par 2
ii) O par 1 ocupa a regio do diagrama onde A igual a 1, logo o seu valor ser: par 1 = A; iii) 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
5.3.6 - 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.

A A
A A
C C
B B B B
3) Para cada parcela que aparece na expresso, colocar o numeral um na clula correspondente.
A 1 B A A 1 A 1
C C
1 B
1 B
1
B
4) Completar com o numeral zero (0) as clulas restantes que esto vazias.
A 1 A 0 A 1 A 1
C C
0
B
1 B
1 B
1
B
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;
A 1 A 0 A 1 A 1
C C
grupo 1
0
B
1 B
1 B
1
B A 1
C C
A 1
A 0
A 1
grupo 2
0
B
1 B
1 B
1
B
C C
A 1
A 0
A 1
A 1
grupo 3
0
B
1 B
1 B
1
B
Pgina 41
Observando todos os grupos ao mesmo tempo:

A 1 A 0 A 1 A 1
C C
0
B
1 B
1 B
1
B
ii) Devemos tentar montar os maiores agrupamentos possveis, mas eles devem ser potncia de 2, assim: 1, 2, 4, 8, 16, ... iii) 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
5.3.7 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; 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.
Pgina 42
5.3.8 Outras Formas de Representao do Mapa de Karnaugh
O diagrama pode ser representado de vrias formas, mas o resultado ser sempre o mesmo.
B A A B
B A
BC 00 01 11 10 0 1
B A C
A C D
Mapa com 5 variveis: E A C C C C B B B B A A A D D D D C C C C B B B B A E A A A D D D D
5.3.9 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 1: S = A B + A B C + B C
AB
A A
C C
A 1
1
B
1 B
1 B
1
B
Pgina 43
A expresso simplificada : S = A B + C
Exemplo 2:
Encontrar a expresso booleana definida pela tabela-verdade, represent-la no mapa de karnaugh e encontrar a expresso mais simples. A 1 1 1 1 0 0 0 0 B 1 1 0 0 1 1 0 0 C 1 0 1 0 1 0 1 0 S 1 1 1 0 1 0 0 0 A B C ABC A B C A B C S1 = ABC + ABC + ABC + ABC
Montando o Mapa de Karnaugh: A C C 0 0 B A 0 1 B A 1 1 B A 0 1 B A soluo simplificada : S1 = AB + AC + BC
Pgina 44
5.3.10 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;
A A B 1 0 B 1 0 C
AB
B 0 1 C
B 0 1 C
AB
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; Z = A B + A B c) Para encontrar a expresso, tem-se que inicialmente negar os dois lados e assim eliminar a negao no resultado; Z = ( A B + A B ) d) Aplicar o teorema de DeMorgan duas vezes, encontrando assim, a expresso na forma de Produto da Soma. Z = ( A B ) ( A B ) Z = ( A + B ) ( A + B ) Z = ( A + B ) ( A + B )
Exemplo: S = A B + A B C + B C
A C
C C
A 0
A 0
A 1
A 0
B C
1
B
1 B
1 B
1
B
Montando a expresso simplificada: S = A C + B C Para encontrar uma soluo, necessrio usar a propriedade negao e assim: S = (A C + B C ) S = ( A C ) ( B C ) S = ( A + C) ( B + C) S = ( A + C) ( B + C )
Pgina 45
5.4
Exerccios
5.4.1 - Usando as propriedades da Algebra de Boole, simplificar as expresses abaixo, indicando a propriedade usada em cada passagem..
a) b) c) d)
S= S= S= S=
A B + A B (A+B)(A+C) A B + B C + B C + A B C A B C + A B C + A B
5.4.2 - Usando as expresses abaixo, simplific-las usando os conceitos (Propriedades) da lgebra de Boole.
a) b) c) d) e) f)
S = f(A,B,C) = A B C + A B C + B C + A C + A B S = f(A,B,C) = A B C + A B C + A B S = f(A,B,C) = ( A + B ) ( A + C ) S = f(A,B,C) = ( A B + A B ) ( B + C ) S = f(A,B,C,D) = A B C + A B C + A C + B C + A D + B D S = f(A,B,C,D) = A B D + A B C + B C D + B C D
5.4.3 - Identificar a expresso Booleana que gera o mapa de Karnaugh abaixo:
a) C C C C
A
0 1 1 0
A
0 0 0 0
A
1 0 0 0
A
0 0 1 0
b)
D D D D A A
0 1
A
1 0
A
0 1
C C
0 1
5.4.4 - Identificar a expresso Booleana mais simples (soma de produto) a partir do mapa de Karnaugh abaixo:
a) C C C C
A
0 0 0 0
A
1 1 0 1
A
1 1 0 1
A
1 0 0 0
b)
D D D D
A
1 1 1 1
A
0 0 0 0
A
1 1 1 1
C C C C
1 1 1 1
D D D D
B A
1 1 0 0
B A
1 0 0 1
B A
0 0 1 1
B A
0 0 0 0
B A
1 0 0 1
B A
0 0 1 1
c) C C C C
A
1 1 1 1
d)
D D D D
C C C C
1 1 1 1
D D D D
B
Pgina 46
e)
A A
1 0
f)
A
1 0
A
0 1
A
0 1
A
0 0
A
0 1
C C
0 1
C C
1 1
g)
A A
1 1
h)
A
0 0
A
0 1
A
1 1
A
0 0
A
1 1
C C
1 1
C C
1 0
5.4.5 - Identificar a expresso Booleana mais simples (Produto da Soma) a partir do mapa de Karnaugh abaixo.
a)
A A
0 1
b)
A
0 1
A
1 0
A
0 1
A
1 1
A
1 0
C C
1 0
C C
0 0
B A
0 1 1 0
B A
0 1 1 0
B A
1 0 1 1
B A
1 0 0 1
B A
1 1 1 1
B A
0 0 1 1
c) C C C C
A
1 0 0 1
d)
D D D D
C C C C
1 0 1 1
D D D D
B A
0 1 1 0
B A
0 1 1 0
B A
1 0 0 1
B A
1 0 1 1
B A
1 0 1 1
B A
0 0 0 0
e) C C C C
A
1 0 0 0
f)
D D D D
C C C C
1 1 1 1
D D D D
5.4.6 - Identificar a expresso Booleana mais simples (produto de soma) a partir do mapa de Karnaugh abaixo:
a) C C C C
A
1 0 0 1
A
0 1 1 0
A
0 1 1 0
A
1 0 1 1
b)
D D D D
A
1 1 0 1
A
1 1 1 1
A
0 0 1 0
C C C C
1 1 1 1
D D D D
B
Pgina 47
c)
A A
0 0
d)
A
0 1
A
1 0
A
0 1
A
1 1
A
1 0
C C
0 0
C C
0 0
B A
0 1 1 0
B A
0 1 1 0
B A
1 0 0 1
B A
1 0 1 1
B A
1 0 1 1
B A
0 0 0 0
e) C C C C
A
1 0 0 0
f)
D D D D
C C C C
0 1 1 0
D D D D
5.4.7 - Seja a expresso booleana dada a seguir. Represent-la no mapa de Karnaugh e depois simplific-la usando soma de produto.
a) b) c) d) e) f)
S= S= S= S= S= S=
A B + A B A B + A B C + A C A B + B C + B C + A B C A B C D + A D + A B C + A B D A B C + A B C + A C + B C + A D + B D A B D + A B C + B C D + B C D
5.4.8 - Seja a expresso booleana dada a seguir. Represent-la no mapa de Karnaugh e depois simplific-la usando produto da soma.
a) b) c) d) e) f)
S = f(A,B,C) = A B C + B C + A C + A B S = f(A,B,C) = A B C + A B C + A B S = f(A,B,C) = ( B + D ) ( A + C ) + A B C S = f(A,B,C) = ( A B + A B ) ( D + C ) S = f(A,B,C,D) = A B C + A B C + A C + B C + A D + B D S = f(A,B,C,D) = A B D + A B C + B C D + B C D
5.4.9 - Seja a expresso booleana dada a seguir. Faa a simplificao utilizando os 3 mtodos (pelas propriedades, Mapa de Karnaugh usando Soma de produtos e mapa de Karnaugh usando Produto da soma)
a) b) c) d) e)
S = f(A,B,C) = A B C + B C D + A C D + A B S = f(A,B,C,D) = A B C + A B C + A C + B C + A D + B D S = f(A,B,C,D) = A B D + A B C + B C D + B C D S = f(A,B,C,D) = A B C D + A D + A B C + A B C + A B D S = f(A,B,C,D) = A B C + A B D + A B C + A D + A C D
Pgina 48
6
6.1
PORTAS LGICAS.
Introduo
George Boole desenvolveu a lgebra booleana em 1854. 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. A eletrnica digital, que usa dgitos binrios, utiliza alguns circuitos lgicos bsicos conhecidos como portas OU, E, NO, ... atravs da utilizao conveniente desses 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. Uma das principais reas de utilizao da lgebra booleana a de circuitos lgicos, em que representamos as funes booleanas atravs de grficos, smbolos padronizados conhecidos como portas lgicas. As portas lgicas buscam combinar diversos termos de uma funo booleana que, juntas, iro realizar uma determinada funo. Com esta forma de representao, podemos simbolizar as expresses bsicas da lgebra booleana (AND, OR ou NOT), e partindo delas gerar funes mais complexas. Tanto as expresses bsicas, como o conjunto delas podem conter vrias variveis de entrada, mas somente uma sada.
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. Representao:
aberto A fechado A
Por convenincia, representamos os interruptores da forma:

A
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.
Pgina 49
6.4
Postulados
a) Postulado da Complementao Chamamos de A o complemento de A. Dizemos A BARRA. Poder ser: A i) ii) se A = 0 ento A = 1 se A = 1 ento A = 0
atravs do postulado da complementao, podemos estabelecer a seguinte identidade: A = A b) Postulado da Adio i) ii) iii) iv) 0+0=0 0+1=1 1+0=1 1+1=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 i) ii) iii) iv) 00=0 01=0 10=0 11=1
atravs deste postulado, podemos estabelecer as seguintes identidades: O circuito lgico que executa o postulado da multiplicao booleana o circuito E, representado por dois interruptores em srie, cuja representao : A B AB
6.5
Representao
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.
Pgina 50
Fig. Portas lgicas. Fonte: TONIN (2008, p. 20)
6.6
Exemplos de exerccios de portas lgicas:
a) Representar mediante portas lgicas a funo booleana S = f(A,B) = A B
b) Representar mediante portas lgicas a funo booleana S = f(A,B) = A B + A B
c) Determinar a funo booleana correspondente ao circuito lgico abaixo:
S = ( A + B + C) ( A + C)
Pgina 51
d) Representar em circuito lgico a funo booleana definida pela tabela-verdade abaixo:

A 1 1 1 1 0 0 0 0 B 1 1 0 0 1 1 0 0 C 1 0 1 0 1 0 1 0 S 1 1 1 0 1 0 0 0 ABC A B C A B C A B C S = A B C + A B C + A B C + A B C
O circuito lgico que representa a tabela :
6.7
Exerccios
6.7.1 - Representar a expresso booleana utilizando portas lgicas.
a) b) c) d) e) f)
S = f(A,B,C) = A B C + A B C + A C + A B S = f(A,B,C) = A B C + ( A B C ) + ( A B C ) S = f(A,B,C) = ( A + B ) ( A + C ) ( A B C ) S = f(A,B,C) = ( A B ) + ( A B C ) (A B + C ) S = f(A,B,C,D) = A B C + ( A B C ) + ( A C + B C ) S = f(A,B,C,D) = A B D + A B C + B C D + B C D
6.7.2 Encontrar a expresso booleana que representa o circuito abaixo.
Pgina 52
6.7.3 - Dada a funo x = abc + abcd + abcd + bcd
a) criar o mapa de Karnaugh desta funo; b) simplificar a funo, se possvel, atravs do mapa de Karnaugh gerado na alternativa a; c) gerar o circuito lgico correspondente funo simplificada na alternativa b.
6.7.4 - Encontrar uma funo existente na tabela abaixo, e depois atravs de portas lgicas representar a funo encontrada.
a) a 0 0 0 0 1 1 1 1 b 0 0 1 1 0 0 1 1 c 0 1 0 1 0 1 0 1 X 1 0 0 1 0 1 1 1 b) a 0 0 0 0 1 1 1 1 b 0 0 1 1 0 0 1 1 c 0 1 0 1 0 1 0 1 X 1 1 0 0 1 0 0 0
6.7.5 - Seja a expresso booleana dada a seguir. Represent-la no mapa de Karnaugh e depois simplific-la usando soma de produto. Gerar o circuito lgico correspondente funo simplificada.
a) b) c) d) e) f)
S = f(A,B,C) = A B C + B C + A C + A B S = f(A,B,C) = A B C + A B C + A B S = f(A,B,C) = ( A + B ) ( A + C ) S = f(A,B,C) = ( A B + A C ) ( B + C ) S = f(A,B,C,D) = A B C + A B C + A C + B C + A D + B D S = f(A,B,C,D) = A B D + A B C + B C D + B C D
6.7.6 - Usando as expresses abaixo, simplific-las usando o Mapa de Karnaugh (Produto da soma) e depois represent-las em Circuitos Lgicos, usando as portas lgicas: Not, And e Or.
a) b) c) d) e) f)
S = f(A,B,C) = A B C + B C + A C + A B S = f(A,B,C) = A B C + A B C + A B S = f(A,B,C) = ( A + B ) ( A + C ) S = f(A,B,C) = ( A B + A B ) ( B + C ) S = f(A,B,C,D) = A B C + A B C + A C + B C + A D + B D S = f(A,B,C,D) = A B D + A B C + B C D + B C D
6.7.7 - Usando as expresses abaixo, simplific-las usando o Mapa de Karnaugh (Produto da soma) e depois represent-las em Circuitos Lgicos, usando as portas lgicas: Not, And, Or, Nand e Nor.
a) b) c) d) e)
S = f(A,B,C) = A B C + B C + A C + A B S = f(A,B,C) = A B C + A B C + A B S = f(A,B,C) = ( A + B ) ( C + D ) S = f(A,B,C) = ( A B + A B ) ( C + D ) + A B C + B C D S = f(A,B,C,D) = A B C + A B C + A C + B C + A D + B D

Pgina 53
f) S = f(A,B,C,D) = A B D + A B C + B C D + B C D
6.7.8 - Identificar a expresso Booleana mais simples (soma de produto) a partir do mapa de Karnaugh abaixo e depois represent-las em Circuitos Lgicos, usando as portas lgicas: Not, And, Or:
a)
A
1 1 0 1
A
1 1 0 1
A
1 0 0 0
b)
A
1 1 1 1
A
0 0 0 0
A
1 1 1 1
C C C C
0 0 0 0
D D D D
C C C C
1 1 1 1
D D D D
B
c)
B A
1 1 0 0
B A
1 0 0 1
B A
0 0 1 1 d)
B A
1 1 1 1
B A
1 1 0 0
B A
1 0 0 1
B A
0 0 1 1
C C C C
1 1 1 1
D D D D
C C C C
D D D D
B
e)
B A
1 0
B
f)
B A
B A
0 0
B A
0 1
A
1 0
A
0 1
A
0 1
C C
0 1
C C
1 1
B
g)
B
h)
A
1 1
A
0 0
A
0 1
A
1 1
A
0 0
A
1 1
C C
1 1
C C
1 0
6.7.9 - Seja a expresso booleana dada a seguir. Represent-la no mapa de Karnaugh e depois simplific-la. Representar a expresso simplificada usando portas lgicas.
a) b) c) d) e)
S = f(A,B,C) = A B + B C + A B + A B C S = f(A,B,C) = A B C + B A + A C + A B S = f(A,B,C) = A B C + B C + A C + A B S = f(A,B,C,D) = A B C + A B C + A C + B C + A D + B D S = f(A,B,C,D) = A B D + A B C + B C D + B C D + A B D
6.7.10 - Escrever a expresso booleana representada pelo circuito a seguir. Represent-la no mapa de Karnaugh e depois simplific-la. Representar a expresso simplificada usando portas lgicas.
a)
A B A C A B
b)
A B
A B C
A B C D
A C
c)
d)
A B C
A B C A B C
A B C B C D A C D
e)
A B
f)
A C
B C
Pgina 55
7
7.1
REGRAS DE INFERNCIA
Argumentos
Chama-se de argumento toda a afirmao de que vrias proposies (p1, p2, ..., pn) tem por consequencia uma outra proposio q. As proposies p1, p2, ..., pn so as premissas, e a proposio q a concluso do argumento. Um argumento descrito da seguinte forma: p, pq, qr r onde: p, p q, q r Premissas
r concluso
7.1.1 Validade de um argumento atravs da Tabela-verdade
Um argumento valido quando para todas as linhas da tabela-verdade onde as premissas forem verdadeiras, a concluso tambm verdadeira.
7.2
Processo de inferncia
Inferncia o processo pelo qual se chega a uma proposio, firmada na base de uma ou outras mais proposies aceitas como ponto de partida do processo. O Argumento chamado de premissa e o valor de concluso. As concluses so deduzidas a partir das premissas. Caso o estado das premissas esteja vazio, ento a concluso dita ser o axioma da lgica. Regras de inferncia so regras sintticas que produzem enunciados vlidos em um sistema formal. A partir de um conjunto de proposies podemos derivar outras seguindo estas regras. Regras de inferncia tm as seguintes caractersticas:
o o o o o
Se a Hiptese for verdadeira, ento a Concluso verdadeira Verificao de tipos baseada em inferncia. Se E1 e E2 tem certos tipos, ento E3 tem um certo tipo. Regras de inferncia so uma notao compacta para comandos de implementao. Inicia-se com um sistema simplificado de regras ao qual adiciona-se novas caractersticas gradualmente As premissas so regras sem hipteses
Na lgica formal, as regras de inferncia so normalmente determinadas nas seguinte forma: premissa 1 premissa 2 ... premissa n --------------concluso
A validade das regras de inferncia pode ser comprovada facilmente com o uso das tabelas-verdade. Com o auxlio destas formas elementares de argumentos podemos construir estruturas argumentativas muito complexas.
7.2.1 Modus Ponens (MP)
PQ P -------Q Se o antecedente de um condicional for verdadeiro, o seu consequente necessariamente verdadeiro. Por esta razo, esta regra tambm chamada de afirmao do antecedente. A validade desta regra comprovada simplesmente observando a tabela verdade das proposies condicionais. Violaes desta regra resultam nas falcias afirmao do consequente e negao do antecedente, onde a concluso no segue necessariamente das premissas.
7.2.2 Modus Tollens (MT)
PQ ~Q -------~P Ao contradizer o consequente, somos obrigados a contradizermos tambm o antecedente. Novamente isto pode ser verificado simplesmente olhando a tabela verdade das proposies condicionais. Esta regra tambm chamada de contradio do consequente.
7.2.3 Silogismo Hipottico (SH)
PQ QR --------PR A implicao possui a propriedade transitiva, isto , se A implica B e B implica C, ento A implica C atravs de B.
7.2.4 Silogismo Disjuntivo (SD)
PvQ ~Q ------P Se uma disjuno verdadeira e uma das proposies componentes se revela falsa, ento a outra proposio necessariamente verdadeira.
7.2.5 Dilema Construtivo (DC)
(P Q) ^ (R S) PvR ----------------------QvS
Dilemas so situaes em que somos obrigados a aceitar uma de duas consequncias que no so muito agradveis. Deixando a agradabilidade de lado, esta regra de inferncia se baseia na regra Modus Ponens. Tomando apenas a primeira parte da conjuno da primeira premisa, (p > q), afirmamos p, e pela regra Modus ponens, somos obrigados a concluir q. Fazendo o mesmo procedimento com o outro lado da conjuno da primeira premissa, conclumos que s. Ento o dilema consiste em que, ao afirmar p ou r, somos obrigados a concluir q ou s.
7.2.6 Dilema Destrutivo (DD)
(P Q) ^ (R S) ~Q v ~S ----------------------~P v ~R exatamente o oposto do Dilema Construtivo. Baseia-se na regra Modus Tollens.

7.2.7 Absoro (ABS)
PQ -------------P (P ^ Q) Dada uma condicional, pode-se deduzir dela uma condicional que tem como antecedente o mesmo antecedente da primeira e como consequente uma conjuno as duas proposies que figuravam na primeira condicional. Uma reflexo sobre a tabela verdade das condicionais capaz de mostrar como esta inferncia vlida.
7.2.8 Simplificao (SIMP)
P^Q ------P Em uma conjuo verdadeira, pode-se concluir que cada um dos seus componentes verdadeiro de forma independente. Muito simples.
7.2.9 Conjuno (CONJ)
P Q ------P^Q Praticamente o inverso da regra anterior, se dois enunciados so verdadeiros independentemente, isso condio suficiente para que juntos formem uma conjuno verdadeira.
7.2.10 Adio (AD)
P ------PvQ Dada uma proposio verdadeira, a partir dele pode-se deduzir uma disjuno verdadeira com qualquer outro enunciado que escolhermos. Isto tem ligao com a regra Silogismo
Disjuntivo, pois se o enunciado que escolhermos, q, porventura for falso, em nada afetar a verdade da proposio p e da disjuno por elas formada.
7.2.11 Exemplo
Usando as regras de inferncia devidamente explicadas, pode-se analisar o argumento apresentado abaixo:

Se os 8 casos suspeitos de Nova York forem gripe suna, ento o governo dever tomar medidas efetivas para conter a disseminao da doena. E se o governo deve tomar medidas para conter a disseminao da doena, ento as escolas de NY sero fechadas. (Quer dizer,) se os 8 casos suspeitos forem de gripe suna, ento as escolas de NY sero fechadas. Os suspeitos podem ter gripe Influenza do tipo A ou ter gripe suna. (Foi descoberto que) a gripe dos suspeitos no Influenza do tipo A. Logo, as escolas de NY sero fechadas.
P: os 8 casos suspeitos de Nova York so de gripe suna Q: o governo deve tomar medidas efetivas para conter a disseminao da doena R: as escolas de NY sero fechadas S: os suspeitos podem ter gripe Influenza do tipo A
Variveis proposicionais:
Traduo formal:
PQ QR PR SP ~S -----R
Primeira regra usada:
Silogismo Hipottico (SH) PQ QR --------PR
Segunda regra usada:
Silogismo Disjuntivo (SD)
SvP ~S ------P Explicao:

No argumento, a concluso p do Silogismo Disjuntivo ficou subentendida. Da, de repente, concluiu-se que r. A razo desta grande omisso, frequente na vida real, que se a negao de s resulta em p, e, como visto no Silogismo Hipottico, p resulta em r, conclui-se definitivamente que a negao de s resulta em r.
7.2.12 Reviso
REGRAS DE INFERNCIA.: A frmula implica tautologicamente a frmula e indicamos se e somente se a frmula uma tautologia .
Regras Modus Ponens Modus Tollens Silogismo Hipottico Silogismo Disjuntivo Simplificao Adio Eliminao Prova por Casos MP MT SH SD SM AD EL CS Frmulas Atmicas p (p q) q q(pq)p (p q) ( q r) (p r) (p q) p q pqp ppq (p (q r) ) q p r (p r) ( q r) (p q) r Frmulas Compostas A, A B / B B, A B / A A B, B C / A C A, A B / B AB/A A/AB B , (A (B C) / A C A C, B C / (A B ) C
7.2.13 Exerccios resolvidos
Na coluna direita esto indicadas as linhas e as regras de inferncia que produziram a frmula da coluna esquerda.
a) Derive U das seguintes premissas:
1. P (Q R) 2. (Q R) S 3. S (T ( T U)) 4. P 5. T 6. (Q R) 7. S 8. (T ( T U)) 9. ( T U) 10. U

b) Derive (R S)
premissa premissa premissa premissa premissa
1,4 Modus Ponens 2,6 Modus Ponens 3,7 Modus Ponens 5,8 Silogismo Disjuntivo 5,9 Modus Ponens
Pgina 60
1. 2. 3. 4. 5. 6. 7. 8. 9.
P Q ( R S) T Q T P T Q T Q Q (R S)
premissa premissa premissa premissa
3 Bicondicional 1,4 Silogismo Disjuntivo 5,6 Modus Ponens 7 Dupla Negao 2,8 Modus Ponens
c) Derive P R
1. 2. 3. 4. 5. 6.
P Q Q R |P | Q | R P R
premissa premissa Hiptese
1,3 Modus Ponens 2,4 Modus Ponens 3-5 Regra de prova condicional
d) Derive (P Q)
1. 2. 3. 4. 5. 6. 7.
P Q |PQ |P | Q |Q | Q Q (P Q)
premissa Hiptese (por contradio)
2 Simplificao 1,3 Modus Ponens 2 Simplificao 4,5 Conjuno 2-6 Reduo ao Absurdo
e) Derive (P Q) (P R)
1. 2. 3. 4. 5 6. 7.
(P Q) R RP P PQ .R PR (P Q) (P R)
premissa premissa
2 Simplificao 3 Adio 1,4 Modus Ponens 3,5 Conjuno 4,6 Conjuno

Pgina 61
`
7.3 Exerccios
a) p q, p r q b) p q, p r s p s. c) p (q r), p q, p r d) p q r, (r q) (p s t)), p s s t
7.3.1 Verificar a validade dos seguintes argumentos
7.3.2 Demonstrar a validade do argumento P1: Se Pedro tem a mesma altura que Joo ento Joo tem a mesma altura que Luis. P2: Se Pedro tem a mesma altura que Luis ento Pedro tem a mesma altura que Antnio. P3: Ou Pedro tem a mesma altura que Joo ou a altura de Pedro 1,80 m. P4: Se a altura de Pedro 1,80 m ento a altura de Pedro mais 0,20 m = 2,00 m. P5: Mas a altura de Pedro mais 0,20 no igual a 2,00m. Portanto: Pedro tem a mesma altura que Antnio.
Pgina 62
SISTEMAS DE NUMERAO
Os sistemas de numerao tem por objetivo prover smbolos e convenes para representar quantidades, de forma a registrar a informao quantitativa e poder process-la. A representao de quantidades se faz com os nmeros. Na antiguidade, duas formas de representar quantidades foram inventadas. Inicialmente, os egpcios, criaram um sistema em que cada dezena (uma mo-cheia de nosso exemplo anterior) era representada por um smbolo diferente. Usando por exemplo os smbolos # para representar uma centena, & para representar uma dezena e @ representando uma unidade (smbolos escolhidos ao acaso), teramos que ###&&@ representaria 321. Relembremos ainda um outro um sistema, o sistema de numerao romano. Eram usados smbolos (letras) que representavam as quantidades, como por exemplo: I ( valendo 1), V (valendo 5), X (valendo 10), C (valendo 100), etc. A regra de posicionamento determinava que as letras que representavam quantidades menores e precediam as que representavam quantidades maiores, seriam somadas; se o inverso ocorresse, o menor valor era subtrado do maior (e no somado). Assim, a quantidade 128 era representada por CXXVIII = 100 + 10 + 10 + 5 + 1 + 1 + 1 = 128. Por outro lado, a quantidade 94 era representada por XCIV = (-10 + 100) + (-1 + 5) = 94. Nesses sistemas, os smbolos tinham um valor intrnseco, independente da posio que ocupavam na representao (sistema numrico no-posicional). Um grande problema desse sistema a dificuldade de realizar operaes com essa representao. Experimente multiplicar CXXVIII por XCIV! Assim, posteriormente foram criados sistemas em que a posio dos algarismos no nmero passou a alterar seu valor (sistemas de numerao posicionais). Nos sistemas de numerao posicionais (ver adiante Sistemas de Numerao Posicionais), o valor representado pelo algarismo no nmero depende da posio em que ele aparece na representao. O primeiro sistema desse tipo foi inventado pelos chineses. Eram usados palitos, sendo 1 a 5 palitos dispostos na vertical para representar os nmeros 1 a 5; de 6 a 9 eram representados por 1 a 4 palitos na vertical, mais um palito na horizontal (valendo 5) sobre os demais. Cada nmero era ento representado por uma pilha de palitos, sendo uma pilha de palitos para as unidades, outra para as dezenas, outra para as centenas, etc. Esse sistema, com as pilhas de palitos dispostas em um tabuleiro, permitia a realizao das quatro operaes aritmticas. No existia representao para o zero (o espao relativo ficava vazio).O tabuleiro aritmtico (chamado swan-pan), alm das quatro operaes, era usado na lgebra e na soluo de equaes. Essa tcnica era chamada de Mtodo do Elemento Celestial. O Alfabeto e o baco No Oriente Mdio, por esses tempos, criou-se uma das mais importantes invenes da humanidade: o alfabeto. Na antigidade, usava-se um smbolo para representar cada conceito ou palavra. Assim, eram necessrios milhares de smbolos para representar todos os objetos, aes, sentimentos, etc - como so ainda hoje algumas linguagens. Como decorar todos? O grande achado foi decompor a linguagem em alguns poucos smbolos e regras bsicas. Uma conseqncia de fundamental importncia para nossos estudos de informtica foi possibilitar a ordenao alfabtica (essa uma tarefa tpica dos computadores). Nessa poca, foi tambm criado o baco - uma calculadora decimal manual. Os Algarismos e o Zero Por volta do ano de 650, os hindus inventaram um mtodo de produzir papel (que antes j fora inventado pelos chineses) e seus matemticos criaram uma representao para os nmeros em que existiam diferentes smbolos para os as unidades, incluindo um smbolo para representar o zero. Essa simples criao permitiu que se processasse a aritmtica decimal e se fizesse contas - no papel! Bom, depois de milhares de anos em que todos os clculos eram feitos com calculadoras (bacos, swan-pan, etc) finalmente era possvel calcular sem auxlio mecnico, usando um instrumento de escrita e papel. A matemtica criada pelos
hindus foi aprendida pelos rabes (que depois foram copiados pelos europeus). Por volta de 830, um matemtico persa (chamado Al-khwarismi, que inspirou o nome algarismo) escreveu um livro (Al-gebr we'l Mukabala, ou lgebra) em que apresentava os algarismos hindus. E esse livro, levado para a Europa e traduzido, foi a base da matemtica do Renascimento.
8.1 Sistemas de Numerao Posicionais
Desde quando se comeou a registrar informaes sobre quantidades, foram criados diversos mtodos de representar as quantidades. O mtodo ao qual estamos acostumados usa um sistema de numerao posicional. Isso significa que a posio ocupada por cada algarismo em um nmero altera seu valor de uma potncia de 10 (na base 10) para cada casa esquerda. Por exemplo, no sistema decimal (base 10), no nmero 125 o algarismo 1 representa 100 (uma centena ou 102) , o algarismo 2 representa 20 (duas dezenas ou 1x101) e o algarismo 5 representa 5 mesmo (5 unidades ou 5x100). Assim, em nossa notao, 125 = 1x102 + 2x101 + 5x100 Base de um Sistema de Numerao A base de um sistema a quantidade de algarismos disponvel na representao. A base 10 hoje a mais usualmente empregada, embora no seja a nica utilizada. No comrcio pedimos uma dzia de rosas ou uma grosa de parafusos (base 12) e tambm marcamos o tempo em minutos e segundos (base 60). Os computadores utilizam a base 2 (sistema binrio) e os programadores, por facilidade, usam em geral uma base que seja uma potncia de 2, tal como 24 (base 16 ou sistema hexadecimal) ou eventualmente ainda 23 (base 8 ou sistema octal). Na base 10, dispomos de 10 algarismos para a representao do nmero: 0, 1, 2, 3, 4, 5, 6, 7, 8 e 9. Na base 2, seriam apenas 2 algarismos: 0 e 1. Na base 16, seriam 16: os 10 algarismos aos quais estamos acostumados, mais os smbolos A, B, C, D, E e F, representando respectivamente 10, 11, 12, 13, 14 e 15 unidades. Generalizando, temos que uma base b qualquer dispor de b algarismos, variando entre 0 e (b-1). A representao 125,3810 (base 10) significa 1x102 + 2x101 + 5x100 + 3x10-1 + 8x10-2 Generalizando, representamos uma quantidade N qualquer, numa dada base b, com um nmero tal como segue: Nb = an-1.bn-1 + .... + a2.b2 + a1.b1 + a0.b0 + a-1.b-1 + a-2.b-2 + .... + a-n.b-n sendo que an-1.bn-1 + .... + a2.b2 + a1.b1 + a0.b0 a parte inteira e a-1.b-1 + a-2.b-2 + .... + a-n.b-n a parte fracionria. Intuitivamente, sabemos que o maior nmero que podemos representar, com n algarismos, na base b, ser o nmero composto n vezes pelo maior algarismo disponvel naquela base (ou seja, b-1). Por exemplo, o maior nmero que pode ser representado na base 10 usando 3 algarismos ser 999 (ou seja, 103 - 1 = 999). Generalizando, podemos ver que o maior nmero inteiro N que pode ser representado, em uma dada base b, com n algarismos (n "casas"), ser N = bn - 1. Assim, o maior nmero de 2 algarismos na base 16 ser FF16 que, na base 10, equivale a 25510 = 162 - 1. Representao Binria Os computadores modernos utilizam apenas o sistema binrio, isto , todas as informaes armazenadas ou processadas no computador usam apenas DUAS grandezas, representadas pelos algarismos 0 e 1. Essa deciso de projeto deve-se maior facilidade de representao interna no computador, que obtida atravs de dois diferentes nveis de tenso. Havendo apenas dois algarismos, portanto dgitos binrios, o elemento mnimo de informao nos computadores foi apelidado de bit (uma contrao do ingls binary digit).
Na base 2, o nmero "10" vale dois. Mas se 102 = 210, ento dez igual a dois? No, dez no e nunca ser igual a dois! Na realidade, "10" no significa necessariamente "dez". Ns estamos acostumados a associar "10" a "dez" porque estamos acostumados a usar o sistema de numerao decimal. O nmero 102 seria lido "um-zero" na base 2 e vale 210 (convertido para "dois" na base dez), 105 seria lido "um-zero" na base 5 e vale 510 (convertido para "cinco" na base dez), 1010 pode ser lido como "um-zero" na base 10 ou ento como "dez" na base dez, 1016 seria lido "um-zero" na base 16 e vale 1610 (convertido para "dezesseis" na base dez), etc. Portanto, 10 s ser igual a dez se - e somente se - o nmero estiver representado na base dez! Uma curiosidade: o nmero "10b" vale sempre igual base, porque em uma dada base b os algarismos possveis vo sempre de 0 a (b - 1)! Como o maior algarismo possvel em uma dada base b igual a (b-1), o prximo nmero ser (b - 1 + 1 = b) e portanto ser sempre 10 e assim, numa dada base qualquer, o valor da base ser sempre representado por "10"! Obs.: Toda vez que um nmero for apresentado sem que seja indicado em qual sistema de numerao ele est representado, estenderemos que a base dez. Sempre que outra base for utilizada, a base ser obrigatoriamente indicada. Um dia pode ser que os computadores se tornem obrigatrios e sejamos todos forados por lei a estudar a aritmtica em binrio! Mas, mesmo antes disso, quem programa computadores precisa conhecer a representao em binrio! Vamos comear entendendo as potncias de dois:
Repr.Binria 1 10 100 1000 10000 100000 1000000 10000000 100000000 1000000000 10000000000 Potncia 2 2 2 2 2 2 2 2 2 2 2
0 1 2 3 4 5 6 7 8 9
Repr.Decimal 1 2 4 8 16 32 64 128 256 512 1.024
10
Depois (e s depois) de compreender bem a tabela acima, fazendo a devida correlao com a representao decimal, conveniente decorar os valores da tabela. As converses entre base dois e base dez e as potncias de dois so utilizadas a todo momento e seria perda de tempo estar toda hora convertendo. Da mesma forma que, uma vez entendido o mecanismo da multiplicao, decoramos a taboada, muito mais efetivo saber de cor a tabela acima que fazer as contas de converso toda vez que for necessrio. A representao binria perfeitamente adequada para utilizao pelos computadores. No entanto, um nmero representado em binrio apresenta muitos bits, ficando longo e passvel de erros quando manipulado por seres humanos normais como por exemplo os programadores, analistas e engenheiros de sistemas (bem, no to normais assim ...). Para facilitar a visualizao e manipulao por programadores de grandezas processadas em computadores, so usualmente adotadas as representaes octal (base 8) e principalmente hexadecimal (base 16). Ressaltamos
mais uma vez que o computador opera apenas na base 2 e as representaes octal e hexadecimal no so usadas no computador, elas se destinam apenas manipulao de grandezas pelos programadores. Representao em Octal e em Hexadecimal Em projetos de informtica (isto , nos trabalhos realizados pelos programadores, analistas e engenheiros de sistemas), usual representar quantidades usando sistemas em potncias do binrio (octal e principalmente hexadecimal), para reduzir o nmero de algarismos da representao e conseqentemente facilitar a compreenso da grandeza e evitar erros. No sistema octal (base 8), cada tres bits so representados por apenas um algarismo octal (de 0 a 7). No sistema hexadecimal (base 16), cada quatro bits so representados por apenas um algarismo hexadecimal (de 0 a F). A seguir, apresentamos uma tabela com os nmeros em decimal e sua representao correspondente em binrio, octal e hexadecimal:
Base 10 0 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 Base 2 0 1 10 11 100 101 110 111 1000 1001 1010 1011 1100 1101 1110 1111 Base 8 0 1 2 3 4 5 6 7 10 11 12 13 14 15 16 17 Base 16 0 1 2 3 4 5 6 7 8 9 A B C D E F
Nota: a base 16 ou sistema hexadecimal pode ser indicada tambm por um "H" ou "h" aps o nmero; por exemplo: FFH significa que o nmero FF (ou 255 em decimal) est em hexadecimal. No confundir o "H" ou "h" com mais um dgito, mesmo porque em hexadecimal s temos algarismos at "F" e portanto no existe um algarismo "H".
Exemplo: Como seria a representao do nmero 1610 em binrio, octal e hexadecimal? Soluo: Seria respectivamente 100002, 208 e 1016.
8.2
Converses entre Bases
Vamos analisar agora as regras gerais para converter nmeros entre duas bases quaisquer.
8.2.1 Converso entre bases 2, 8 e 16
As converses mais simples so as que envolvem bases que so potncias entre si. Vamos exemplificar com a converso entre a base 2 e a base 8. Como 23 = 8, separando os bits de um nmero binrio em grupos de tres bits (comeando sempre da direita para a esquerda) e convertendo cada grupo de tres bits para seu equivalente em octal, teremos a representao do nmero em octal. Por exemplo:
101010012 = 10.101.0012 (separando em grupos de 3, sempre comeando da direita para a esquerda) Sabemos que 0102 = 28 ; 1012 = 58 ; 0012 = 18 portanto 101010012 = 2518 Se voc ainda no sabe de cor, faa a converso utilizando a regra geral. Vamos agora exemplificar com uma converso entre as bases 2 e 16. Como 24 = 16, basta separarmos em grupos de 4 bits (comeando sempre da direita para a esquerda) e converter. Por exemplo: 110101011012 = 110.1010.11012 (separando em grupos de 4 bits, sempre comeando da direita para a esquerda) Sabemos que 1102 = 616; 10102 = A16 ; 11012 = D16 ; portanto 110101011012 = 6AD16 Vamos agora exercitar a converso inversa. Quanto seria 3F5h (lembrar que o H est designando "hexadecimal") em octal? O mtodo mais prtico seria converter para binrio e em seguida para octal. Por exemplo: 3F5h = 11.1111.01012 (convertendo cada dgito hexadecimal em 4 dgitos binrios) = = 1.111.110.1012 (agrupando de tres em tres bits) = = 17658 (convertendo cada grupo de trs bits para seu valor equivalente em octal).
8.2.2 Converso de Nmeros em uma base b qualquer para a base 10
Vamos lembrar a expresso geral j apresentada: Nb = an-1.bn-1 + .... + a2.b2 + a1.b1 + a0.b0 + a-1.b-1 + a-2.b-2 + .... + a-n.b-n A melhor forma de fazer a converso usando essa expresso. Tomando como exemplo o nmero 1011012, vamos calcular seu valor representado na base dez. Usando a expresso acima, fazemos: 1011012 = 1x25 + 0x24 + 1x23 + 1x22 + 0x21 + 1x20 = 32 + 0 + 8 + 4 + 0 + 1 = 4510 Podemos fazer a converso de nmeros em qualquer base para a base 10 usando o algoritmo acima. Exemplos: a) Converter 4F5H para a base 10. Soluo: Lembramos que o H significa que a representao hexadecimal (base 16). Sabemos ainda que F16=1510. Ento: 4x162 + 15x161 + 5x160 = 4x256 + 15x16 + 5 = 1024 + 240 + 5 = 126910 b) Converter 34859 para a base 10. Soluo: 3x93 + 4x92 + 8x91 + 5x90 = 3x729 + 4x81 + 8x9 + 5 = 2187 + 324 + 72 + 5 = 258810. c) Converter 7G16 para a base 10. Soluo: Uma base b dispe dos algarismos entre 0 e (b-1). Assim, a base 16 dispe dos algarismos 0 a F e portanto o smbolo G no pertence representao hexadecimal. d) Converter 1001,012 para a base 10. Soluo: 1x23 + 0x22 + 0x21 + 1x20 + 0x2-1 + 1x2-2 = 8 + 0 + 0 + 1 + 0 + 0,25 = 9,2510 e) Converter 34,35 para a base 10. Soluo: 3x51 + 4x50 + 3x5-1 = 15 + 4 + 0,6 = 19,610 f) Converter 38,38 para a base 10. Soluo: Uma base b dispe dos algarismos entre 0 e (b-1). Assim, a base 8 dispe dos algarismos 0 a 7 e portanto o algarismo 8 no existe nessa base. A representao 38,3 no existe na base 8.
Pgina 67
8.2.3
Converso de Nmeros da Base 10 para uma Base b qualquer
A converso de nmeros da base dez para uma base qualquer emprega algoritmos que sero o inverso dos acima apresentados. O algoritmo ser entendido melhor pelo exemplo que por uma descrio formal. Vamos a seguir apresentar os algoritmos para a parte inteira e para a parte fracionria: Parte Inteira: O nmero decimal ser dividido sucessivas vezes pela base; o resto de cada diviso ocupar sucessivamente as posies de ordem 0, 1, 2 e assim por diante at que o resto da ltima diviso (que resulta em quociente zero) ocupe a posio de mais alta ordem. Veja o exemplo da converso do nmero 1910 para a base 2: 19 2 1 9 2 1 4 2 0 2 2 0 1 2 1 0 Experimente fazer a converso contrria (retornar para a base 10) e ver se o resultado est correto. Parte Fracionria Se o nmero for fracionrio, a converso se far em duas etapas distintas: primeiro a parte inteira e depois a parte fracionria. Os algoritmos de converso so diferentes. O algoritmo para a parte fracionria consiste de uma srie de multiplicaes sucessivas do nmero fracionrio a ser convertido pela base; a parte inteira do resultado da primeira multiplicao ser o valor da primeira casa fracionria e a parte fracionria ser de novo multiplicada pela base; e assim por diante, at o resultado dar zero ou at encontrarmos o nmero de casas decimais desejado. Por exemplo, vamos converter 15,6510 para a base 2, com 5 e com 10 algarismos fracionrios: 15 1 2 7 2 1 3 2 1 1 1 0,65 0,30 0,60 0,20 0,40 x x x x x 2 2 2 2 2 = = = = = 2 0 1,30 0,60 1,20 0,40 0,80
19 = 010011
10
15 = 01111
10
0,65 = 10100
10
0,80 x 2 = 1,60 0,60 x 2 = 1,20 0,20 x 2 = 0,40 0,40 x 2 = 0,80 0,80 x 2 = 1,60
0,65 = 1010011001
10
15,65 = 1111,1010011001
10
Pgina 68
Obs.: Em ambos os casos, a converso foi interrompida quando encontramos o nmero de algarismos fracionrios solicitados no enunciado. No entanto, como no encontramos resultado 0 em nenhuma das multiplicaes, poderamos continuar efetuando multiplicaes indefinidamente at encontrar (se encontrarmos) resultado zero. No caso de interrupo por chegarmos ao nmero de dgitos especificado sem encontramos resultado zero, o resultado encontrado aproximado e essa aproximao ser funo do nmero de algarismos que calcularmos. Fazendo a converso inversa, encontraremos: a) Com 5 algarismos fracionrios: Parte inteira: 11112 = 1510 Parte fracionria: 0,101002 = 1x2-1 + 0x2-2 + 1x2-3 + 0x2-4 + 0x2-5 = 0,5 + 0,125 = 0,62510 b) Com 10 algarismos fracionrios: Parte inteira: 11112 = 1510 Parte fracionria: 0,10100110012 = 1x2-1 + 0x2-2 + 1x2-3 + 0x2-4 + 0x2-5 + 1x2-6 + 1x2-7 + 0x2-8 + 0x2-9 + 1x2-10 = 1/2 + 1/8 + 1/64 + 1/128 + 1/1024 = 0,5 + 0,125 + 0,015625 + 0,0078125 + 0,0009765625 = 0,649414062510 Ou seja, podemos verificar (sem nenhuma surpresa) que, quanto maior for a quantidade de algarismos considerados, melhor ser a aproximao.
Resumindo
Quanto a converso de valores com parte inteira e parte fracionria, deve-se realizar as operaes de forma separada. A converso da parte inteira obtida dividindo-se o nmero decimal pelo valor da base desejada; o resto encontrado o algarismo menos significativo do valor na base B (mais direita). Em seguida, divide-se o quociente encontrado pela base B; o resto o algarismo significativo seguinte ( esquerda); e assim sucessivamente, vo-se dividindo os quocientes pelo valor da base at se obter quociente de valor zero. Em cada diviso, o resto encontrado um algarismo significativo do nmero na nova base; o primeiro resto encontrado o valor do algarismo menos significativo (mais direita), e o ltimo resto ser o algarismo mais significativo (mais esquerda). Para a parte fracionria do nmero a ser convertido, seleciona a parte fracionria e multiplica pela base a ser convertida (B), e o valor encontrado constitudo de duas partes (a parte inteira, mesmo que seja zero e a parte fracionria). A parte inteira o primeiro algarismo procurado (o primeiro algarismo a direita da virgula) e a parte fracionria novamente multiplicada pela base e obtm-se um novo resultado (em duas partes distintas, a inteira e a fracionria), onde a inteira ser o segundo algarismo a direita da virgula e a parte fracionria novamente multiplicada pela base e assim sucessivamente.
8.2.4
Converso de Nmeros entre duas Bases quaisquer
Para converter nmeros de uma base b para uma outra base b' quaisquer (isso , que no sejam os casos particulares anteriormente estudados), o processo prtico utilizado converter da base b dada para a base 10 e depois da base 10 para a base b' pedida. Exemplo: Converter 435 para (?)9. 435 = (4 x 51 + 3 x 50)10 = 2310 ==> 23/9 = 2 (resto 5) logo 435 = 2310 = 259
Pgina 69
Nmeros com parte fracionria
Quando h uma parte fracionria no nmero a ser convertido, a melhor opo fazer a converso do nmero (parte inteira e fracionria) para a base 10 e depois fazer a converso da base 10 para a outra base, seguindo as instrues apresentadas anteriormente.
8.3 8.3.1 Aritmtica em Binrio Operao direta
A tabuada da soma aritmtica em binrio muito simples. So poucas regras: 0+0=0 0+1=1 1+0=1 1 + 1 = 0 (e "vai 1" para o dgito de ordem superior) 1 + 1 + 1 = 1 (e "vai 1" para o dgito de ordem superior) Exemplo: Efetuar 0111002 + 0110102 Observaes: a) Lembre-se: soma-se as colunas da direita para a esquerda, tal como uma soma em decimal. b) No exemplo, so usadas, em seqncia, da direita para a esquerda, todas as regrinhas acima. c) Na primeira linha, indicado o resultado do "vai um". d) Por simplicidade, no exemplo estamos considerando os dois nmeros positivos. Soluo: 11-----> "vai um" 011100 011010 + ---------110110 Vamos ver agora a tabuada da subtrao: 0-0=0 0 - 1 = 1 ("vem um do prximo") 1-0=1 1-1=0 Obs.: Como impossvel tirar 1 de zero, o artifcio "pedir emprestado" 1 da casa de ordem superior. Ou seja, na realidade o que se faz subtrair 1 de 10 e encontramos 1 como resultado, devendo ento subtrair 1 do dgito de ordem superior (aquele 1 que se "pediu emprestado"). Vamos lembrar que esse algoritmo exatamente o mesmo da subtrao em decimal a que j estamos acostumados desde o curso primrio. Exemplo: Efetuar 1111002 - 0110102 Observaes: a) Lembre-se: subtrai-se as colunas da direita para a esquerda, tal como uma subtrao em decimal.
Pgina 70
b) No exemplo, so usadas, em seqncia, da direita para a esquerda, todas as regrinhas acima. c) Na primeira linha, indicado o resultado do "vem um". d) Por simplicidade, no exemplo estamos considerando os dois nmeros positivos. Soluo: ----02-> "vem um" 11100 01010 ---------10010
8.3.2 Complemento a Base
A implementao do algoritmo da subtrao em computadores complexa, requerendo vrios testes. assim, em computadores a subtrao em binrio feita por um artifcio. O mtodo utilizado o "Mtodo do Complemento a Base" que consiste em encontrar o complemento do nmero em relao base e depois somar os nmeros. Os computadores funcionam sempre na base 2, portanto o complemento base ser complemento a dois. Computadores encontram o complemento a dois de um nmero atravs de um algoritmo que pode ser assim descrito: a) Se o nmero positivo, mantenha o nmero (o complemento de um nmero positivo o prprio nmero) b) Se o nmero negativo:

inverta o nmero negativo ou o subtraendo na subtrao (todo 1 vira zero, todo zero vira um); some 1 ao nmero em complemento ; some as parcelas (na subtrao, some o minuendo ao subtraendo) ; se a soma em complemento acarretar "vai-um" ao resultado, ignore o transporte final). mantm o minuendo inverte o subtraendo soma minuendo e subtraendo soma 1 ignora o "vai-um" ---> ---> ---> ---> ---> 1101 0011 10000 10001 0001
Como exemplo, vamos usar o algoritmo acima na subtrao 1101 - 1100 = 0001
8.3.3
Multiplicao em binrio
Vamos ver agora a tabuada da multiplicao: 0x0=0 0x1=0 1x0=0 1x1=1 No entanto, tambm a multiplicao em computadores feita por um artifcio: para multiplicar um nmero A por n, basta somar A com A, n vezes.
Pgina 71
Por exemplo, 4 x 3 = 4 + 4 + 4. E a diviso tambm pode ser feita por subtraes sucessivas! O que conclumos? Que qualquer operao aritmtica pode ser realizada em computadores apenas atravs de somas (diretas ou em complemento).
8.4 8.4.1 Aritmtica em outras bases Operao direta
A tabuada da soma aritmtica em uma base qualquer simples. Por exemplo, na base 4, as regras so: 0+0=0 0+1=1 1+0=1 1+1=2 2+0=2 ... 3 + 2 = 1 (5 4 (base) = 1 e "vai 1" para o dgito de ordem superior) 3 + 3 = 2 (6 4 (base) = 2 e "vai 1" para o dgito de ordem superior) Exemplo: Efetuar 02323 + 02110 Observaes:
o Lembre-se: soma-se as colunas da direita para a esquerda, tal como uma soma em decimal. o No exemplo, so usadas, em seqncia, da direita para a esquerda, todas as regrinhas acima. o Na primeira linha, indicado o resultado do "vai um". o Por simplicidade, no exemplo estamos considerando os dois nmeros positivos. Soluo:
11-----> "vai um" 02323 02110 + ---------11033 Vamos ver agora a tabuada da subtrao: 0-0=0 0 - 1 = 3 ("vem um do prximo", que igual a base: 4, logo 4 + 0 = 4, 4 1 = 3) 1-0=1 1-1=0 ... 2 3 = 3 ("vem um do prximo", que igual a base: 4, logo 4 + 2 = 6, 6 3 = 3) ... 32=1 33=0 Obs.: Como impossvel tirar 1 de zero, o artifcio "pedir emprestado" 1 da casa de ordem superior. Ou seja, na realidade o que se faz subtrair 1 de 10 e encontramos 3 como resultado (1 de ordem superior do tamanho da base, logo igual a 4), devendo ento subtrair 1 do
dgito de ordem superior (aquele 1 que se "pediu emprestado" e que vale 4). Vamos lembrar que esse algoritmo exatamente o mesmo da subtrao em decimal a que j estamos acostumados desde o curso primrio. Exemplo: Efetuar 21321 - 02310 Observaes:
o Lembre-se: subtrai-se as colunas da direita para a esquerda, tal como uma subtrao em decimal. o No exemplo, so usadas, em seqncia, da direita para a esquerda, as regrinhas acima. o Na primeira linha, indicado o resultado do "vem um". o Por simplicidade, no exemplo estamos considerando os dois nmeros positivos. Soluo:
15-----> "vem um" 21321 02310 ---------13011 As mesmas regras usada para as operaes em base 4 valem para as outras bases como 8, 16, 5, 7. Observando que o maior algarismo a base 1. Outros Exemplos: 11 3AC7816 26 44116 + ---------610B916 11 347238 233348 + --------602578
2 10 12 11 10 3 1 3 2 04 0 2 3 3 34 ------------------2 2 3 2 14
Pgina 73
BIBLIOGRAFIA:
ABE, J. M. & SCALZITTI, A. & SILVA FILHO, J.I. Introduo Lgica para a Cincia da Computao. Arte & Cincia, 2001. ALENCAR, E.A. Iniciao Lgica Matemtica. Editora Nobel, 1995. COPI, I.M. Introduo Lgica. Editora Mestre Jou, 1981. DAGHLIAN, J. Lgica e lgebra de Boole. Editora Atlas, 1995. IDOETA, I. I. & CAPUANO, F.G. Elementos de Eletronica Digital. Livros Erica Editora Ltda, 1999. JONOFON, S. Raciocnio Lgico, Vol. I, 9a Edio. Editora JONOFON, 2000. TONIN, N. Apostila de lgica para a computao. Erechim: Universidade Regional Integrada, 2008.
Nota do Professor:
Este trabalho um resumo do contedo da disciplina, para facilitar o desenvolvimento das aulas, devendo sempre ser complementado com estudos nos livros recomendados e o desenvolvimento dos exerccios indicados em sala de aula e a resoluo das listas de exerccios propostas.
Pgina 74

LMC Apo

Uploaded by

Document Information

Original Title

Copyright

Available Formats

Share this document

Share or Embed Document

Sharing Options

Did you find this document useful?

Is this content inappropriate?

Copyright:

Available Formats

LMC Apo

Uploaded by

Copyright:

Available Formats

Faculdades Pitgoras de Uberlndia

Lgica Matemtica e Computacional

Prof. Walteno Martins Parreira Jnior

Lgica Matemtica e Computacional

Prof. Walteno Martins Parreira Jnior

Prof. Walteno Martins Parreira Jnior

Lgica Matemtica e Computacional

Prof. Walteno Martins Parreira Jnior

Lgica Matemtica e Computacional

Lgica Matemtica e Computacional

e l-se: o valor lgico de P V

Lgica Matemtica e Computacional

v(P) = V v(Q) = F v(R) = V

Palavras No E Ou Se ... ento ... ... Se, e somente se ...

Lgica Matemtica e Computacional

Lgica Matemtica e Computacional

Prof. Walteno Martins Parreira Jnior

Lgica Matemtica e Computacional

PQ V F F F Q: Descartes era Francs v(PQ) = v(P) v(Q)

P: Pitgoras era Grego

P Q: Pitgoras era Grego e Descartes era Francs. v(P) = V e v(Q) = V v(P Q) = V

PQ V V V F v(PQ) = v(P) v(Q)

Lgica Matemtica e Computacional

A tabela-verdade: P V V F F Q V F V F PQ F V V F v(PQ) = v(P) v(Q)

Prof. Walteno Martins Parreira Jnior

Lgica Matemtica e Computacional

Prof. Walteno Martins Parreira Jnior

Lgica Matemtica e Computacional

Lgica Matemtica e Computacional

Prof. Walteno Martins Parreira Jnior

Lgica Matemtica e Computacional

1.4.12 - Construa a tabela-verdade de cada uma das seguintes proposies: a) p q p d) ~p ~q g) ~p q ~q p

c) p ~q f) p (~p ~q) i) p (~q p)

Lgica Matemtica e Computacional

1.4.13 - Construir as tabelas-verdade das seguintes proposies: a) ~ p r q ~ r c) p r q ~ r b) p (p ~ r) q r d) (p q r) (~ p q ~ r)

Prof. Walteno Martins Parreira Jnior

Lgica Matemtica e Computacional

TAUTOLOGIA, CONTINGNCIA E CONTRADIO

Prof. Walteno Martins Parreira Jnior

Lgica Matemtica e Computacional

Exemplo: a proposio p ~p uma contingncia, conforme se v na tabela-verdade: p V F 2.4 Exerccios ~p F V p ~p F V

Prof. Walteno Martins Parreira Jnior

Lgica Matemtica e Computacional

EQUIVALNCIA E IMPLICAO LGICA.

Conceito de implicao lgica

Demonstrao de implicao lgica, comparando-se tabelas-verdade verificar se p q p p V V F F q V F V F qp V V F V

Prof. Walteno Martins Parreira Jnior

Lgica Matemtica e Computacional

Demonstrao de implicao lgica, substituindo-se a relao pelo conectivo verificar se p q p p V V F q V F V qp V V F p q p V V V

Prof. Walteno Martins Parreira Jnior

Lgica Matemtica e Computacional

Provar, usando tabela-verdade as outras propriedades

Lgica Matemtica e Computacional

3.11 Equivalencias entre Implicaes a) p q ~q ~p b) p q ~ (p ~q) c) p q ~p q

Lgica Matemtica e Computacional

F F V F F V V Como as tabelas-verdade possuem resultados iguais, logo a relao verdadeira.

F F V V V V Como o resultado final da tabela-verdade uma Tautologia, logo a relao verdadeira.

Lgica Matemtica e Computacional

3.18 Equivalncias Notveis 3.18.1 - Dupla Negao ~~p p p V F ~p F V ~~p V F

Provar, usando tabela-verdade as outras propriedades

Lgica Matemtica e Computacional

resultam as duas equivalncia: p q ~q ~p q p ~p ~q 3.18.8 - Bicondicionais p q (p q) (q p) p V V F F q V F V F pq V F F V pq V F V V qp V V F V (p q) (q p) V F F V

iguais, logo equivalentes