Copyright © 2015. Todos os direitos reservados desta edição à UAB/UECE.
Nenhuma
parte deste
material poderá ser reproduzida, transmitida e gravada, por qualquer meio
eletrônico, por fotocópia
e outros, sem a prévia autorização, por escrito, dos autores.
Editora Filiada à
Presidenta da República
Dilma Vana Rousseff
Ministro da Educação
Renato Janine Ribeiro
Presidente da CAPES
Carlos Afonso Nobre
Diretor de Educação a Distância da CAPES
Jean Marc Georges Mutzig
Governador do Estado do Ceará
Camilo Sobreira de Santana
Reitor da Universidade Estadual do Ceará
José Jackson Coelho Sampaio
Vice-Reitor
Hidelbrando dos Santos Soares
Pró-Reitora de Graduação
Marcília Chagas Barreto
Coordenador da SATE e UAB/UECE
Francisco Fábio Castelo Branco
Coordenadora Adjunta UAB/UECE
Eloísa Maia Vidal
Diretor do CCT/UECE
Luciano Moura Cavalcante
Coordenador da Licenciatura em Informática
Francisco Assis Amaral Bastos
Coordenadora de Tutoria e Docência em Informática
Maria Wilda Fernandes
Editor da EdUECE
Erasmo Miessa Ruiz
Coordenadora Editorial
Rocylânia Isidio de Oliveira
Projeto Gráfico e Capa
Roberto Santos
Diagramador
Francisco José da Silva Saraiva
Conselho Editorial
Antônio Luciano Pontes
Eduardo Diatahy Bezerra de Menezes
Emanuel Ângelo da Rocha Fragoso
Francisco Horácio da Silva Frota
Francisco Josênio Camelo Parente
Gisafran Nazareno Mota Jucá
José Ferreira Nunes
Liduina Farias Almeida da Costa
Lucili Grangeiro Cortez
Luiz Cruz Lima
Manfredo Ramos
Marcelo Gurgel Carlos da Silva
Marcony Silva Cunha
Maria do Socorro Ferreira Osterne
Maria Salete Bessa Jorge
Silvia Maria Nóbrega-Therrien
Conselho Consultivo
Antônio Torres Montenegro (UFPE)
Eliane P. Zamith Brito (FGV)
Homero Santiago (USP)
Ieda Maria Alves (USP)
Manuel Domingos Neto (UFF)
Maria do Socorro Silva Aragão (UFC)
Maria Lírida Callou de Araújo e Mendonça (UNIFOR)
Pierre Salama (Universidade de Paris VIII)
Romeu Gomes (FIOCRUZ)
Túlio Batista Franco (UFF)
Dados Internacionais de Catalogação na Publicação
Sistema de Bibliotecas
Luciana Oliveira – CRB-3 / 304
Bibliotecário
C198n Campos, Gustavo Algusto Lima de.
Noções de Lógica / Gustavo Augusto Lima de Campos , Jer
f
ferson Teixeira de Souza. : – 3. ed. – Fortaleza : EdUECE, 015.
95 p. : il. ; 20,0cm x 25,5cm. (Computação)
Inclui bibliografia.
ISBN: 978-85-7826-445-1
1. Computação. 2. Lógica – Computação. I. Souza, Jerffeson
II. Título.
CDD 511.3
Editora da Universidade Estadual do Ceará – EdUECE
Av. Dr. Silas Munguba, 1700 – Campus do Itaperi – Reitoria – Fortaleza – Ceará
CEP: 60714-903 – Fone: (85) 3101-9893
Internet: [Link] – E-mail: eduece@[Link]
Secretaria de Apoio às Tecnologias Educacionais
Fone: (85) 3101-9962
Sumário
Apresentação ......................................................................
...................5
Parte 1 – Lógica
Proposicional ............................................................7
Capítulo 1 – Introdução à
Lógica .........................................................9
Introdução ........................................................................
.........................9
Capítulo 2 – Lógica
Proposicional .....................................................13
1. Definição de uma Linguagem
Proposicional .........................................13
2. E, Ou, Não e Tabelas
Verdade ............................................................14
2.1. Conectivo
E .................................................................................
.14
2.2. Conectivo
Ou ...............................................................................1
5
2.3. Conectivo
Não .............................................................................16
2.4. Tabelas
Verdade...........................................................................1
7
3. Implicação e o Bi-
condicional .............................................................20
3.1. Equivalência
Lógica .....................................................................20
3.2.
Implicação ........................................................................
............21
3.3. Bi-
condicional .......................................................................
........23
4.
Tautologias .......................................................................
...................25
5.
Argumentos ........................................................................
.................32
5.1. Validade de
Argumentos ..............................................................34
6. Validade, Programação e o Princípio da Demonstração ....................38
7. Validade, Programação e a Extensão do Princípio .............................40
Parte 2 – Lógica de
Predicados .........................................................43
Capítulo 3 – Linguagem lógica de predicados .................................45
Introdução ........................................................................
.......................45
1. Linguagem Lógica de
Predicados .......................................................46
Capítulo 4 –
Quantificadores ..............................................................49
Introdução ........................................................................
.......................49
1. Quantificando a função proposicional
p. .............................................49
2. Negação de funções proposicionais quantificadas .............................51
2.1. Funções proposicionais quantificadas em linguagem natural .....51
2.2. Negação de funções proposicionais quantificadas
em
português .........................................................................
......52
3. Sentenças declarativas que envolvem mais de um quantificador ......53
4. Equivalências
lógicas ..........................................................................5
3
5. Implicações
lógicas ...........................................................................
..54
Capítulo 5 – Representação do conhecimento
e programação em
lógica ...................................................................57
Introdução ........................................................................
.......................57
1. Programa em Linguagem natural e sua representação
em Linguagem Lógica de
Predicados ................................................58
2. Consulta em Linguagem natural e sua representação
em Linguagem Lógica de
Predicados ................................................58
Capítulo 6 – Funções e Predicados Computáveis e a
Noção de
Igualdade .........................................................................
....63
Introdução ........................................................................
.......................63
1. Programa em Linguagem natural e sua representação
em Linguagem Lógica de
Predicados ................................................64
2. Consulta em Linguagem natural e sua representação
em Linguagem Lógica de
Predicados: ................................................65
3. Método de busca de respostas: Raciocínio a partir do
objetivo para
trás. .............................................................................
...65
Parte 3 –
Resolução .........................................................................
...69
Capítulo 7 – Conversão para Forma Clausal ....................................71
Introdução ........................................................................
.......................71
1. Algoritmo Conversão para forma
Clausal ...........................................72
2. Converter a fórmula abaixo para Forma
Clausal ................................73
3. Aplicação do algoritmo ao programa que nos fala
sobre o mundo de Marcos e
César .....................................................74
4. Novo
programa ..........................................................................
..........75
Capítulo 8 – Algoritmo da
Unificação ................................................77
Introdução ........................................................................
.......................77
Capítulo 9 – Algoritmo da
Resolução ................................................83
Introdução ........................................................................
.......................83
1. Situações nas quais a Resolução pode detectar que
não existe
contradição .......................................................................
.86
2. Resolução lidando com Funções e Predicados
Computáveis e a Noção de
Igualdade ................................................87
Sobre os
autores ...........................................................................
......95
Apresentação
Este livro destaca algumas das principais noções presentes no estudo da ci
ência do Raciocínio Lógico. Primeiramente, o livro enfatiza o uso da linguagem
Lógica na representação do conhecimento e os princípios que são empregados
na demonstração da validade de argumentos. Posteriormente, enfatiza a auto
mação dos processos envolvidos na demonstração de validade e sua utilização
no contexto da programação em lógica. O conteúdo do livro foi divido em três
unidades: Lógica Proposicional, Lógica de Predicados e Resolução.
A Parte 1 apresenta informalmente os conceitos de proposições e proposi-
ções compostas, de teoria e raciocínio, e de sistemas formais. Em seguida,
apresenta o sistema formal Lógica Proposicional em duas partes. A primeira parte
apresenta a linguagem formal lógica proposicional, a semântica dos conectivos
lógicos e as tabelas verdade, as noções de equivalência lógica e implicação lógica,
de tautologia e contradição. A segunda parte apresenta a noção de argumento e o
processo de demonstração de validade de um argumento.
A Parte 2 apresenta a linguagem Lógica de Predicados, a geração de
fórmulas bem formadas na linguagem e a semântica de proposições envol
vendo quantificadores. Essa Unidade enfatiza a representação de proposi
ções em Lógica de Predicados e identifica a analogia entre o processo de
demonstração de validade de argumentos e a noção de programação em
lógica, onde o conceito de computação se confunde com o conceito de dedu
ção, que, na Unidade, é exemplificada com o método do raciocínio para trás a
partir do objetivo a ser demonstrado, ou seja, de uma consulta a ser respondi
da por um programa em lógica.
A Parte 3 apresenta idéias e algoritmos associados à prova automá
tica de argumentos empregando o método da Resolução para a Lógica de
Predicados. São detalhados o algoritmo da Resolução e os algoritmos de
Conversão para a Forma Clausal, que é o tipo de fórmula bem formada mani
pulada pela Resolução, e o algoritmo da Unificação, que é necessário durante
o processo de resolução e para a obtenção de respostas para consultas en
volvendo variáveis.
Os Autores