Edgard de Alencar Filho3. Congo dbl wm reponse cOMPRY «0+ 4, ExempliBagao : 2 Ds 5 Yar ogo ea popsstocomposs am 6. Uso de parentesis Dae Z 7. Oxtros simbatos para os conectivos a indice Bxercicos on dai Caplio 4 "TAUTOLOGIAS, CONTRADIGOES E CONTINGENCIAS 1. Tautolog so es coves 8 ° +2, Principio de est uigae pata as aulogas meee ih 3, Contratig oath 6 4 Gonungsneia : ; CCapitilo $ Copitato. 1 IMPLICAGAO LOGICA coe AER 1, Defngto de implicagio lies. 4 1, Conceited propoiggo 22 o i 2, Propredades da impliagSo loca ” 2 Valores tgicos das proposigoes 620020001 2 3, Exeralifiogio 30 3. Proposgdes simples propsiyiescompontas meta 1 4, Tastee mpeg ok 5. A CoN verrssivsttisteneese ces i kxereiaos 8 5, Tahslawecdade mre B 6. Notte Baesioon : s Capito 6 5 EQUIVALENCIA LOGICA ss 1, Definigas sequen 5 caeent 2. Proridas dequalca Vig 5 OPERACOES LOGICAS SOBRE PROPOSICOES 3, Exemplificagto « . se oasea0 . auiolgias © equivalecia Yolen. free 5 i copia see == 4s See ee eee Seinen Be 4 Digjangio ee. ts ean 1M 16. Negagao conjunta de dnas proposigbes : 2 5; Digungio excusa . _ 7: Nao gt J dam prope 8 6 Condiionsl a Execicios 7, Bicondiiona fos Bxericios mean = Milo Capital 7 ALGEBRA DAS PROPOSICOES Capitulo 3 1, Propacdades da eonjungze oe sie a CONSTRUCAO DE TABELAS-VERDADE 2 Propriedades da disjungao .- a o 1. Tabelaswendade de uns proposige composta . 2» 2 Nieto de linhas de uma tabelaverdads TI ag3. Propiedaes da conju a unto « |. Negagdo da conticional 5. Negagfo da bicondicional Exereicios Capitulo 8 METODO DEDUTIVO Exemplifieayfo... * Redigio do ndmero de conectires . Forma nomal des proposes Forma novmal conjuntiva . Forma nomal dsjuntiva hen Prinoipio de dualidade ......2..eseeeesee Exereicios Capitulo 9 ARGUMENTOS, REGRAS DE INFERENCIA Definigio de argumente. z Valilae de um argumento, . 2 Citério de validade de um argumento . Condieional asociada 2 um argoment Argumen:os vides 4 3 4 Regus de inferimcia . : _ Exemplos do uso dis regres de inferencia. Exereicioe .. z Capital 10 ‘VALIDADE MEDIANTE TABELAS-VERDADE 2, Bxeimplifcagio 3, Prova de nowalidade xoreisios « Capitulo 11 ‘VALIDADE MEDIANTE REGRAS DE INFERENCIA 2 Exemplifieasdo Exersisios a 4 74 8 8 2 ® 88 108 0 ne 18 Capitulo 12 VALID ADE MEDIANTE REGRAS DE INFERENCIA E EQUIVALENCIAS Rogra de substitigio. 1 |, quivalncls notes ExemplifiesedO see ees veers nconsisténcia peers et Exorefelos eee e ees ts Sal Capito 13 DEMONSTRACAO CONDICIONAL E DEMONSTRAGAO INDIRETA 1. Deraonsrji conlisional 2 Bxempliieasio : 3. Demonstraga inieta 44. Excmpliianao Enerecios Capitulo 14 SENTENGAS ABERTAS 1. Sertengas aborts com um varivel 4 7 Conuntonensade de uma sntenga abst com ara veivel 55, Somtongas abertas com duas varéveis 4. Conuumtoaerdade de umasentenge bert com ds varivels 5. Semieigas abertas com: vanavels 6, Conjunto retdade de ura sentonca aberta com 0 variéveis, Exercicios Capitulo 15 OPERACOES LOGICAS SOBRE SENTENGAS ABERTAS 2 Comjungio + 3. Dijungio 4. Negagio mi 5, Condicioral =i 6 Bloondicional .. « Atgebra da sent aber Exercioion 19 29 81 Bs rt 145 146 49 150 13 156 156 133) 6 160 isi 162 1st 166 168 169 170 m 12