54048458 Apostila Logica Unisinos 2009

Universidade do Vale do Rio dos Sinos - UNISINOS

Apostila 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 NATURAL............................................................................................................13