Lógica
LÓGICA MATEMÁTICA
VITÓRIA
2009
Governo Federal
Ministro de Educação
Fernando Haddad
Ifes – Instituto Federal do Espírito Santo
Reitor
Dênio Rebello Arantes
Pró-Reitora de Ensino
Cristiane Tenan Schlittler dos Santos
Coordenadora do CEAD – Centro de Educação a Distância
Yvina Pavan Baldo
Coordenadoras da UAB – Universidade Aberta do Brasil
Yvina Pavan Baldo
Maria das Graças Zamborlini
Curso de Licenciatura em Informática
Coordenação de Curso
Giovany Frossard Teixeira
Designer Instrucional
Jonathan Toczek Souza
Professor Especialista/Autor
Ronaldo Barbosa Alvim
Catalogação da fonte: Rogéria Gomes Belchior - CRB 12/417
A475l Alvim, Ronaldo Barbosa
Lógica matemática / Ronaldo Barbosa Alvim. – 2009. Cachoeiro de Itapemirim:
Ifes, 2009. 106 folhas.
Material do curso de Licenciatura de Informática à Distância – Instituto
Federal do Espírito Santo, Campus Cachoeiro de Itapemirim, 2009.
1. Matemática - Lógica. 2. Lógica - Operações. 3. Álgebra da proposição. I. Título
CDD 005.43
DIREITOS RESERVADOS
Ifes – Instituto Federal do Espírito Santo
Av. Vitória – Jucutuquara – Vitória – ES - CEP - (27) 3331.2139
Créditos de autoria da editoração
Capa: Juliana Cristina da Silva
Projeto gráfico: Juliana Cristina da Silva / Nelson Torres
Iconografia: Nelson Torres
Editoração eletrônica: Dua Translations
Revisão de texto:
Zenas Vieira Romano
COPYRIGHT – É proibida a reprodução, mesmo que parcial, por qualquer meio, sem autorização escrita dos autores e do detentor dos direitos autorais.
Olá, Aluno(a)!
É um prazer tê-lo conosco.
O Instituto Federal do Espírito Santo - Ifes oferece a você, em parceria com as Prefeituras e com o Governo Federal, o Curso de Licenciatura em
Informática, na modalidade à distância. Apesar de este curso ser ofertado à distância, esperamos que haja proximidade entre nós, pois, hoje, graças aos recursos da tecnologia da informação (e-mails, chat, videoconferênca,
etc.),