Edgard de Alencar FilhoIndice Capitulo 1 PROPOSICOES. CONECTIVOS Concsito de proposigio . Valowes ligeos das propeniges 1 2. 3: Prope spl popes composes 4, Concctivas _ i 6 Tabeloverdade Nowgto Exercicios Capitulo 2 OPERAGOES LOGICAS SOBRE PROPOSICOES Negagzo Conjungio Disungao Disjungzo exclusiva + Condicional . . Bicondicional Exercicios Capitulo 3 CONSTRUCAO DE TABELAS-VERDADE 1. Tabels-verdade de ums propesido composta . 2. Nimero de linha de uma tabela-verdade u 2 2 B B 5 15 3. Construgio da tabelawerdade de uma proposigio compost 4. Exemplilicagdo 5. Valor lgico de uma proposigde composta . 6, Uso de paréntess : 4, Outs simbolas para os conectivos Exercicios < Capitulo 4 ‘TAUTOLOGIAS, CONTRADIGOES E CONTINGENCIAS 1. Tautologa “7 prnefpio de sibstulgdo para w tantologas 3. Contradigzo 7 4, Contingincia 4 Exeieios Capitulo § IMPLICACAO LOGICA 1, Definigdo de implicagdo logica 2: Propedades dimples per 3. Exempliieagio 4 Talos imple esa Exereieios Capitulo 6 EQUIVALENCIA LOGICA 1, Definigdo de equivalénela lOpica Propriedades da equivalncta logics Exemplificayfo sess |. Taatotogas © equialéneia Lica [Negagio conjunta de duss propesigses. Negagdo disjunta do duas proposigbes Exereiclos s+ - Capitulo 7 ALGEBRA DAS PROPOSICOES 1. Propriedades da conjungo. . 2. Propriedades da disungdo - = Proposigdes associadas « uma condicional. - 30 30 38 9 39 a 45 46 a7 48 55 55 37 59 a a or o3. Proprio da conju de dno 44, Negucio da condicional ‘ 5, Negagio ds bicondicional . : Pxercicios 1g 6 Capitulo 8 METODO DEDUTIVO, Exemplificagdo megan Redugio 60 ndmero de conectivos Forma nomal das proposigaes Forma normal eonjuntiva ee Forma normal dsjuntiva 2.0.00... 00 7. Prineipio de dualidade . Beenie, ...:4248-.ncee esses Capitulo 9 ARGUMENTOS. REGRAS DE INFERENCIA Definigdo de argurmento. Validade de um argumento. Critério de vaidade de um argumento Condicional asociada a um srgumento 5. Argumentos vilidos fundamentals. Regia de inforéncia .. : Exemplos do uso das regres de inferénea Capitulo 10 \VALIDADE MEDIANTE TABELAS-VERDADE 2. Exemplifcap0 3. Prova de naowalidade Exereicios Capitulo 11 ‘VALIDADE MEDIANTE REGRAS DE INFERENCIA 2. Exemplifespo. “ Bxorsicios eee eee n ” " 05 18 31 a 2 8s 8 87 8 % 90 ot ” 99 108 0 12 us Capitulo 12 ‘VALIDADE MEDIANTE REGRAS DE INFERENCIA E EQUIVALENCIAS. 1, Regra de substituigao 2, Equivaléncias notivels o. ++ - cose 3, Exemplificagzo 4, Inconsisténeia Exercicios Capitulo 13, DEMONSTRAGAO CONDICIONAL E DEMONSTRACAO INDIRETA 1. Demonstracso conilicional Hxempifieasio | Demonst ago indies Exemplificagao Exoreicios Capitulo 14 SENTENGAS ABERTAS Sentengas abertas com uma varivel Conjunto-verdade de uma sentenga aberta cum ums variivel Seinengas abertas com dus vastveis Conjunto-tendade de uma sentenga abe Sentengas abertas com n varive’s CConjunto-verdade de uma sentenga aberta com 1 varies, Exercicios com duis varivels Capitulo 15 OPERACOES LOGICAS SOBRE SENTENGAS ABERTAS Conjungio Disjungao So Sane Negagao * o Condicional * aoe ‘Bicondicional ‘ipebra das sentengas aborts Exercicios no 19 BI 13s ML M45 146 149 150 153 136 136 138 159 160) 161 162 164 166 168 169) 170 m