Técnico
12855 palavras
52 páginas
Universidade do Vale do Rio dos Sinos - UNISINOSApostila da Disciplina de
Lógica
Prof. João Carlos Gluz São Leopoldo, março de 2009
UNISINOS
Lógica
Apostila 1
Sumário
CAPÍTULO 1 LÓGICA PROPOSICIONAL.....................................................................................................................1 1.1. PROPOSIÇÕES E OPERADORES LÓGICOS......................................................................................................1 1.2. IMPLICAÇÃO MATERIAL E EQUIVALÊNCIA LÓGICA.......................................................................................3 1.3. FÓRMULAS E PRECEDÊNCIA......................................................................................................................4 1.4. CONSTRUÇÃO DE TABELAS-VERDADE PARA FÓRMULAS................................................................................5 1.5. TAUTOLOGIAS E CONTRADIÇÕES...............................................................................................................6 1.6. EQUIVALÊNCIAS TAUTOLÓGICAS E LEIS DE DEMORGAN..............................................................................7 1.7. SIMBOLIZAÇÃO DE PROPOSIÇÕES...............................................................................................................8 1.8. EXERCÍCIOS SOBRE PROPOSIÇÕES, FÓRMULAS E TAUTOLOGIAS......................................................................9 CAPÍTULO 2 DEDUÇÃO NA LÓGICA PROPOSICIONAL ......................................................................................11 2.1. ARGUMENTOS VÁLIDOS.........................................................................................................................11 2.2. DEMONSTRAÇÕES..................................................................................................................................12 2.3. REGRAS DE DEDUÇÃO