logia

Jair Minoro Abe
Alexandre Scalzitti
João Inácio da Silva Filho

Introdução à Lógica para a
Ciência da Computação

1

Jair Minoro Abe
Alexandre Scalzitti
João Inácio da Silva Filho

Introdução à Lógica para a
Ciência da Computação

2.001

©2001, by Editora Arte & Ciência
Direção Geral
Henrique Villibor Flory
Editor e Projeto Gráfico
Aroldo José Abreu Pinto / Karel H. Langermans
Editoração Eletrônica
Alain Ferreira do Nascimento
Capa
Karel H. Langermans

Dados Internacionais de Catalogação na Publicação (CIP)
(Biblioteca de F.C.L. - Assis - UNESP)

Índice para catálogo sistemático:
1.
2.
3.

Editora Arte & Ciência
Rua Treze de Maio, 71 – Bela Vista
São Paulo – SP - CEP 01327-000
Tel/fax: (0XX11) 257-5871
Na internet: http://www.arteciencia.com.br

Dedico este trabalho ao Rusky (1990-2000) que me ensinou muitas coisas, aprendi muitas coisas, por uma linguagem não falada.
Jair Minoro Abe

Prefácio
Este texto foi elaborado pelos autores tendo por base os diversos cursos de Lógica que os mesmos têm lecionado nos últimos anos.
A presente monografia é destinada a introduzir o leitor neste fascinante ramo do conhecimento humano que é a moderna Lógica Matemática.
O trabalho foi redigido para atender um número maior de leitores, englobando estudantes de diversas áreas, tais como, Ciência da Computação, Análise de Sistemas, Processamento de Dados, Inteligência Artificial, as diversas
Engenharias, Matemática, Ciências Biológicas, Economia, Psicologia, Filosofia, Direito, enfim todo estudioso interessado no assunto.
A Lógica se converteu nos últimos anos em disciplina de primeira necessidade para os diversos cursos, e isto não é surpreendente, pois, disse o pensador norte americano W. Quine : “A Lógica é o denominador comum das Ciências Especiais ...”.
Não se exige, praticamente, pré-requisito algum para sua leitura; com efeito, a exposição do texto está detalhada tanto quanto possível com notas
explicativas