Lógica para Computação
Prof. Celso Antônio Alves Kaestner, D.E.E.
celsokaestner (at) utfpr (dot) edu (dot) br
Lógica para Computação (IF61B)
Introdução
Três citações extraídas de “Logique: Méthodes pour l´informatique fondamentale”, de Paul Gochet e Pascal Gribomont, Hermes, Paris, 1990:
1.É razoável esperar que a relação entre a computação e a lógica matemática produza tantos frutos ... quanto a que se instalou entre a Análise Matemática e a Física no curso do século XIX (John McCarthy).
11/04/23Prof. Celso A A Kaestner
2
Lógica para Computação (IF61B)
Introdução
2. Ao longo da maior parte do século XX, a Lógica Matemática foi principalmente utilizada para a introspecção. Como ferramenta para a criação de provas na prática cotidiana, ainda não teve sua chance. Para que possa realizar todas as potencialidades parece ser necessário conceber o objetivo da Lógica como sendo não de mimetizar o pensamento humano, mas como o de fornecer um substituto a este último na forma de um cálculo (Edsger Dijkstra).
11/04/23Prof. Celso A A Kaestner
3
Lógica para Computação (IF61B)
Introdução
3. As conexões entre a Lógica e a Informática crescem e se aprofundam rapidamente. Ao lado da demonstração automática, da programação em lógica, da especificação e verificação de programas, outros setores revelam uma fascinante interação mútua com a Lógica, como a teoria de tipos, a teoria do paralelismo, a inteligência artificial, a teoria da complexidade, as bases de dados, a semântica operacional e as técnicas de compilação (José Meseguer).
11/04/23Prof. Celso A A Kaestner
4
Lógica para Computação (IF61B)
Introdução
História da Lógica:http://pt.wikipedia.org/wiki/História_da_lógica
Lógica:http://pt.wikipedia.org/wiki/Lógica
11/04/23Prof. Celso A A Kaestner
5
Lógica para Computação (IF61B)
IntroduçãoO que é Lógica ?
1. O estudo da Lógica é o estudo dos métodos e princípios usados para distinguir o raciocínio correto do incorreto (“Introdução à Lógica”, Irving M. Copi, Ed. Mestre Jou, São Paulo, 1968);
2. A Lógica formal é uma ciência que determina as formas corretas (ou válidas) de raciocínio (“Noções de Lógica Formal”, Joseph Dopp, Ed. Herder, São Paulo, 1970);
11/04/23Prof. Celso A A Kaestner
6
Lógica para Computação (IF61B)
Introdução
3. Lógica é o estudo de argumentos. Um argumento é uma sequencia de enunciados na qual um dos enunciados é a conclusão e os demais são premissas, as quais servem para provar, ou pelo menos fornecer alguma evidência para a conclusão (“Lógica”, John Nolt e Dennis Rohatyn, Makron Books, São Paulo, 1991).
11/04/23Prof. Celso A A Kaestner
7
Lógica para Computação (IF61B)
Introdução
4. Lógica, hoje, designa uma vasta área do conhecimento, com implicações em praticamente todas os demais domínios da investigação. Da antiga disciplina que estudava "o raciocínio correto", ou as "formas válidas de inferência (ou de raciocínio)", a lógica transformou-se em uma disciplina que alcançou resultados que, em termos de complexidade e profundidade, nada ficam devendo aos maiores resultados da matemática. Alias, a lógica é, presentemente, uma disciplina de características matemáticas... (Newton C.A. da Costa).
11/04/23Prof. Celso A A Kaestner
8
Lógica para Computação (IF61B)
Introdução Outros conceitos:
Termos gerais (ou universais) X termos singulares (ou individuais);
Designação por intenção X por extensão;• Intenção: qualidades ou propriedades que
constituem o conceito;
• Extensão: consiste dos elementos (exemplos) que constituem o conceito.
11/04/23Prof. Celso A A Kaestner
9
Lógica para Computação (IF61B)
Introdução
Conceito de proposição (desde Platão): Combinação de um substantivo e de um verbo,
constituindo um sentença declarativa à qual se pode atribuir um valor verdade (no caso clássico, verdadeiro ou falso):
“O homem aprende”;
“O céu é azul”;
“Hoje é terça-feira”. Observe que estão excluídas, entre outras,
sentenças interrogativas, autoreferentes, etc.
11/04/23Prof. Celso A A Kaestner
10
Lógica para Computação (IF61B)
Lógica Aristotélica A tradição aristotélica: lógica é o estudo da
concepção, do julgamento, e do raciocínio;• Os conceitos são expressos por termos gerais;
• Os julgamentos são expressos por proposições;
• Os raciocínios são sequencias de proposições.
Em Aristóteles as proposições são constituídas por dois termos gerais ligados pelo verbo ser na forma “ é ” ou “ não é ” (cópula lógica).
As proposições são relacionadas logicamente de acordo com o “quadrado lógico” ou “ tábua de oposições”.
11/04/23Prof. Celso A A Kaestner
11
Lógica para Computação (IF61B)
Lógica Aristotélica
11/04/23Prof. Celso A A Kaestner
12
Tábua de oposições
A
OI
E
contraditóriascontraditórias
contrárias
subcontrárias
suba
ltern
as
subalternas
Lógica para Computação (IF61B)
Lógica Aristotélica
Tipos de proposições e exemplos:• A: afirmação universal (todo homem é mortal);
• E: negação universal (nenhum homem é mortal);
• I: afirmação particular (algum homem é mortal);
• O: negação particular (algum homem não é mortal).
11/04/23Prof. Celso A A Kaestner
13
Lógica para Computação (IF61B)
Lógica Aristotélica
Relacionamento entre proposições :• A e E são ditos contrários; se a proposição A é
verdadeira então E é falsa;
• A e O e também E e I são contraditórios: não podem ser nem verdadeiros nem falsos conjuntamente;
• I e O são subcontrários: não podem ser ambos falsos;
• I é subalterno de A, e O é subalterno de E; se A é verdadeira, I também o é, e se E é verdadeira então O também o é.
11/04/23Prof. Celso A A Kaestner
14
Lógica para Computação (IF61B)
Lógica Aristotélica
Relacionamento entre proposições:• A existência de quatro tipos de proposições não é
coincidência: representam as quatro relações possíveis entre as extensões dos termos gerais;
• O matemático Euler representou as quatro relações lógicas na forma de diagramas de conjuntos (diagramas de Venn-Euler).
Se S é o termo sujeito e se P é um predicado então as proposições correspondem aos diagramas a seguir.
11/04/23Prof. Celso A A Kaestner
15
Lógica para Computação (IF61B)
Lógica Aristotélica
Proposição A: inclusão total(todo S é P)
Proposição E: exclusão total(nenhum S é P)
Proposição I: inclusão parcial de S em P(algum S é P)
Proposição O: exclusão parcial de S em P(algum S não é P)
11/04/23Prof. Celso A A Kaestner
16
SP
P
P
S
S
S
P
Lógica para Computação (IF61B)
Lógica Aristotélica
Os raciocínios lógicos ocorrem na forma de sequencias de proposições geradas por inferências imediatas obtidas da tábua de oposições;
Um silogismo é um discurso no qual, estando dadas certas proposições premissas, uma nova proposição conclusão é obtida necessariamente e unicamente a partir das premissas;
11/04/23Prof. Celso A A Kaestner
17
Lógica para Computação (IF61B)
Lógica Aristotélica
Os silogismos são apresentados da seguinte forma:
• Premissa maior
• Premissa menor
• Conclusão
O termo menor (S) é o sujeito da conclusão, o termo maior (P) é o predicado da conclusão, e o termo comum às premissas é o termo médio (M).
11/04/23Prof. Celso A A Kaestner
18
Lógica para Computação (IF61B)
Lógica Aristotélica Exemplos:
• Todos os mamíferos são vertebrados (premissa maior)• Todos os homens são mamíferos (premissa menor)• portanto• Todos os homens são vertebrados (conclusão).
Neste caso o termo menor S é “todos os homens”, o termo maior P é “vertebrados”, e o termo médio M é “mamíferos”.
Este silogismo tem portanto a forma:
Todas as proposições são do tipo A.
11/04/23Prof. Celso A A Kaestner
19
MPSMSP
Lógica para Computação (IF61B)
Lógica Aristotélica Considerando que há 4 tipos de proposições (A,E,I e O)
então há 43 = 64 silogismos por figura (ver abaixo) , ou seja 256 silogismos no total;
As figuras do silogismo são:
1ª figura 2ª figura 3ª figura 4ª figura
Premissa maior MP PM MP PM
Premissa menor SM SM MS MS
Conclusão SP SP SP SP
11/04/23 Prof. Celso A A Kaestner 20
Lógica para Computação (IF61B)
Lógica Aristotélica
Nem todos os silogismos são válidos; o estudo da Lógica por Aristóteles, e posteriormente na idade média, buscou separar os silogismos válidos, ou seja, aqueles em que a conclusão segue necessariamente das premissas;
Pode-se deduzir a validade ou não de um silogismo a partir dos diagramas de Venn-Euler correspondentes;
11/04/23 Prof. Celso A A Kaestner 21
Lógica para Computação (IF61B)
Lógica Aristotélica Exemplo:
• Nenhum peixe (M) é mamífero (P) <tipo E>;
• Todos os robalos (S) são peixes (M) <tipo A>;
• portanto
• Nenhum robalo (S) é mamífero (P) <tipo E>.
Ou, esquematicamente:
11/04/23 Prof. Celso A A Kaestner 22
S
M
P
MP <E>SM <A>SP <E>
Lógica para Computação (IF61B)
Lógica Aristotélica Exemplo:
• Todos os animais venenosos (M) são perigosos (P) <tipo A>;
• Algumas serpentes (S) são animais venenosos (M) <tipo I>;
• portanto
• Algumas serpentes (S) são perigosas (P) <tipo I>.
Esquematicamente:
11/04/23 Prof. Celso A A Kaestner 23
SM
P
MP <A>SM <I>SP <I>
Lógica para Computação (IF61B)
Lógica Aristotélica Em alguns casos os diagramas de Venn-Euler apresentam
o inconveniente de admitir, para um mesmo silogismo, várias representações geométricas;
Exemplo:
11/04/23 Prof. Celso A A Kaestner 24
SM PMP <E>SM <I>SP <O>
SM P
SM P
Lógica para Computação (IF61B)
Lógica Aristotélica Verdade e validade (ou correção):
• Um silogismo é válido (correto) se e somente se (sse) a verdade da conclusão segue necessariamente da verdade das premissas;
• Os silogismos portanto “transmitem” a verdade das premissas à conclusão;
• Esta definição exclui a possibilidade de que um silogismo válido possa ter premissas verdadeiras e conclusão falsa;
• Isto não exclui a possibilidade de que a conclusão de um silogismo válido seja falsa; neste caso alguma das premissas é falsa.
11/04/23 Prof. Celso A A Kaestner 25
Lógica para Computação (IF61B)
Lógica Aristotélica
Exemplo:• Todos os animais marinhos são peixes;• Todas as baleias são animais marinhos;• portanto• Todas as baleias são peixes.
11/04/23 Prof. Celso A A Kaestner 26
Lógica para Computação (IF61B)
Lógica Aristotélica Indique a forma do silogismo (termos, figura,
diagrama), e indique se mesmo é válido ou não:a) Todos os gregos são homens;
Todos os atenienses são gregos;Todos os atenienses são homens.
b) Todos os socialistas são marxistas; Alguns governantes são marxistas;
Alguns governantes são socialistas.
c) Todas as ações penais são atos cruéis;Todos os processos por homicídio são ações
penais;Todos os processos por homicídio são atos
cruéis.
11/04/23 Prof. Celso A A Kaestner 27
Lógica para Computação (IF61B)
Lógica Aristotélicad) Alguns papagaios não são animais nocivos;
Todos os papagaios são animais de estimação;
Nenhum animal de estimação é nocivo.
e) Nenhum ator dramático é um homem feliz;
Alguns comediantes não são homens felizes;
Alguns comediantes não são atores dramáticos.
f) Todos os coelhos são corredores muito velozes;
Alguns cavalos são corredores muito velozes;
Alguns cavalos são coelhos.
11/04/23 Prof. Celso A A Kaestner 28
Lógica para Computação (IF61B)
Lógica AristotélicaExercício similar, porém com a necessidade de determinar as proposições:
a)Nenhum submarino de propulsão nuclear é um navio mercante, assim nenhum vaso de guerra é navio mercante, visto que todos os submarinos de propulsão nuclear são vasos de guerra;
b)Alguns conservadores não são defensores de tarifas elevadas, porque todos os defensores de tarifas elevadas são republicanos, e alguns republicanos não são conservadores;
c)Nenhum indivíduo obstinado que jamais admite um erro é bom professor; portanto, como algumas pessoas bem informadas são indivíduos obstinados que nunca admitem um erro, alguns bons professores não são pessoas bem informadas.
11/04/23 Prof. Celso A A Kaestner 29
Lógica para Computação (IF61B)
Introdução Atividades complementares:
1. Consulte os links indicados e navegue sobre assuntos relacionados à história da Lógica e à sua definição;
2. Pesquise a definição de paradoxo e exemplifique este conceito;
3. Encontre uma “charada lógica” e apresente sua solução.
11/04/23 Prof. Celso A A Kaestner 30