Unidade I Aulas 01.pdf

Esta é uma pré-visualização de arquivo. Entre para ver o arquivo original

Lógica para Computação 
Unidade I – Aula 01 
Profª MSc. Patricia Medyna Lauritzen de Lucena Drumond 
patriciamedyna@ufpi.edu.br 
Universidade Federal do Piauí 
Centro de Ensino Aberto e a Distância 
Curso de Sistemas de Informação 
Aula 01 
 
A origem da Lógica 
Origem da Lógica 
• Na Grécia Antiga, 342 a.C, em meio a embates 
filosóficos, Aristóteles sistematizou a Lógica com o 
intuito de verificar que argumentos eram válidos, 
elevando-a assim à categoria de ciência. 
 
• Em sua obra chamada Organum (“ferramenta para o 
correto pensar”), estabeleceu princípios tão gerais e 
sólidos que até hoje são considerados válidos. 
Origem da Lógica 
• Por volta de 1666, Leibniz usou em vários trabalhos 
o que chamou de Calculus Rationator, ou Lógica 
Matemática ou ainda Logística. 
 
• No século XVIII, Leonhard Euler introduziu a 
representação gráfica das relações entre sentenças 
ou proposições, mais tarde ampliada por John Venn, 
Veitch e Karnaugh . 
 
Origem da Lógica 
• Em 1847, Augustus DeMorgan publicou um tratado 
Formal Logic envolvendo-se em uma discussão 
pública com o filósofo escocês William Hamilton, 
conhecido por sua aversão à Matemática . 
 
• Em 1848, George Boole escreveu “The Mathematical 
Analysis of Logic”. O período de desenvolvimento da 
Lógica culminou com a publicação do “Principia 
Mathematica” por Alfred North-Whitehead e por 
Bertand Russel. 
Origem da Lógica - Argumento 
• Antigamente, a Lógica era tão somente uma técnica 
utilizada principalmente pela Filosofia e pelas 
ciências humanas. 
 
• Aristóteles se preocupava com as formas de 
raciocínio que, a partir de conhecimentos 
considerados verdadeiros, permitiam obter novos 
conhecimentos. 
 
Origem da Lógica - Argumento 
• A partir dos conhecimentos tidos como verdadeiros, 
caberia à Lógica a formulação de leis gerais de 
encadeamentos de conceitos e juízos que levariam à 
descoberta de novas verdades. 
 
• Essa forma de encadeamento é chamada, em Lógica, 
de argumento. 
 
Origem da Lógica - Argumento 
• Atualmente, o computador representa uma máquina 
capaz de processar muitos cálculos de forma correta 
e a grande velocidade. 
 
• Os computadores passaram a ser utilizados na busca 
de soluções para os mais diversos problemas da 
natureza utilizando as técnicas da lógica, no 
ordenamento de raciocínio considerados 
verdadeiros. 
Origem da Lógica - Argumento 
• Um argumento é uma sequência de proposições 
(declarações/afirmações) na qual uma delas é a 
conclusão e as demais são premissas. 
 
• Uma proposição (ou declaração/afirmação) é uma 
sentença que pode ser verdadeira ou falsa. 
 
• O objeto de estudo da lógica é determinar se a 
conclusão de um argumento é ou não uma 
consequência lógica das premissas. 
 
Construção de sentenças 
 Uma sentença ou proposição é uma expressão de uma 
dada linguagem que pode ser classificada como 
verdadeira ou falsa, de maneira exclusiva, em um 
contexto. 
 
– Teresina é uma cidade quente. 
– A Amazônia é um deserto. 
– O Papa é romano ou não. 
– George Bush é e não é americano. 
Construção de sentenças 
 As sentenças imperativas, interrogativas ou exclamativas 
não serão consideradas em nosso estudo. As expressões 
a seguir não são exemplos de sentenças: 
 
– Estude para a prova de Lógica! 
– Qual foi a sua nota na prova de Lógica? 
– Que saudade de Amélia! 
Construção de sentenças 
 Uma característica importante das sentenças é que elas 
podem ser combinadas para construir outras sentenças, 
envolvendo expressões como e, ou, se ... então, se e 
somente se, que são aplicadas a duas sentenças. 
 
– Barack Obama é e não é americano 
– O Papa é romano ou não. 
– A Amazônia é um deserto mas Barack Obama não é 
americano. 
– Se o Papa é romano então Teresina é uma cidade quente. 
Construção de sentenças 
 Também é possível construir sentenças aplicando as 
expressões não e é possível que, não é verdade que. 
Neste caso elas podem ser aplicadas a uma única 
sentença, diferente da forma como se constroem 
sentenças utilizando outras expressões que necessitam 
de duas sentenças. 
 
– A Amazônia não é um deserto. 
– É possível que o Papa seja romano. 
– Não é verdade que o Piauí é quente. 
Construção de sentenças 
 Embora as expressões não, e, ou, se ... então, se e 
somente se e é possível que não possuam a mesma 
classificação gramatical, do ponto de vista da Lógica, 
todas elas possuem a mesma função que é construir 
sentenças a partir de uma ou mais sentenças 
previamente dadas. 
 
 No estudo da Lógica, estas expressões têm uma 
denominação especial, são chamadas de conectivos. 
 
Construção de sentenças 
Dadas as sentenças “5 é ímpar” e “4 < 2”, utilizando 
conectivos podemos formar as seguintes sentenças: 
 
– 5 é ímpar e 4 < 2. 
– 5 é ímpar ou 4 < 2. 
– Se 5 é ímpar, então 4 < 2. 
– 5 é ímpar se, e somente se 4 < 2 
– 5 não é ímpar. 
 
Construção de sentenças 
 Uma sentença é chamada atômica se ela não tem 
qualquer conectivo. As sentenças seguintes são atômicas: 
 
– 5 é primo. 
– O rio Parnaíba é perene. 
– João Pessoa é a capital da Paraíba. 
– A terra é um planeta. 
Construção de sentenças 
 Uma sentença é molecular se ela não for atômica, ou seja, 
se tiver pelo menos um conectivo. As sentenças a seguir 
são moleculares: 
 
– 5 não é primo. 
– João Pessoa é a capital da Paraíba e a terra é um planeta. 
– O sol é uma estrela ou a terra é um planeta. 
– Se a terra é um planeta então o sol é uma estrela.