Log de computação

Universidade Estadual do Rio Grande do Sul - UERGS
Unidade de Guaíba
Curso de Engenharia em Sistemas Digitais

Apostila da Disciplina de

Lógica para Computação

Prof. João Carlos Gluz
Guaíba, 2003

UERGS

Lógica para Computação

Apostila 1

Sumário
CAPÍTULO 1
1.1.
1.2.
1.3.
1.4.
1.5.
1.6.
1.7.

PROPOSIÇÕES E OPERADORES LÓGICOS .....................................................................................1
IMPLICAÇÃO MATERIAL E EQUIVALÊNCIA LÓGICA ....................................................................2
FÓRMULAS E PRECEDÊNCIA .......................................................................................................3
CONSTRUÇÃO DE TABELAS-VERDADE PARA FÓRMULAS ...........................................................3
TAUTOLOGIAS ............................................................................................................................5
EQUIVALÊNCIAS TAUTOLÓGICAS E LEIS DE DEMORGAN ...........................................................5
EXERCÍCIOS SOBRE PROPOSIÇÕES, FÓRMULAS E TAUTOLOGIAS ................................................6

CAPÍTULO 2
2.1.
2.2.
2.3.
2.4.
2.5.
2.6.

LÓGICA PROPOSICIONAL.................................................................................1

DEDUÇÃO NA LÓGICA PROPOSICIONAL .....................................................8

ARGUMENTOS VÁLIDOS .............................................................................................................8
DEMONSTRAÇÕES ......................................................................................................................9
REGRAS DE EQUIVALÊNCIA E DEDUÇÃO ..................................................................................10
REGRA DO MÉTODO DEDUTIVO ...............................................................................................12
ARGUMENTOS VERBAIS