LÓGICA APLICADA À
COMPUTAÇÃO
Profª Dr. Tatiana Simões
A LÓGICA E O NOSSO CONTEXTO
O que é Lógica?
O que significa estudar lógica?
“É a Ciência que estuda
princípios e métodos de
inferência tendo o objetivo
principal de determinar em que
condições certas coisas se
seguem (são consequência), ou
não de outras” (Mortari, 2001)
2
A LÓGICA E O NOSSO CONTEXTO
“A Lógica é a análise de métodos
de raciocínio”
O que é Lógica?
O que significa estudar lógica?
3
A LÓGICA E O NOSSO CONTEXTO
“A Lógica é a análise de métodos
de raciocínio”
O que é Lógica?
O que significa estudar lógica?
No estudo desses métodos a Lógica
está interessada principalmente na
forma e não no conteúdo dos
ARGUMENTOS.
4
APRENDER
LÓGICA!
É aprender a pensar de
forma mais estruturada.
5
A LÓGICA E O NOSSO CONTEXTO
Exemplos de argumentos
Do ponto de vista da Lógica,
esses argumentos têm a mesma
estrutura ou forma.
Todo homem é
mortal. Sócrates é
um homem.
Portanto, é mortal.
Todo X é Y .

Z é X .
Portanto Z é Y .

Todo cão late.
Totó é um cão.
Portanto, Totó late.
A Lógica é o estudo de tais estruturas.
E é base para – Banco de dados, Análise de algoritmos, ...
6
Outras definições …
Definição I
Definição II
Definição III
Estudo do raciocínio
Estudo do pensamento
correto e verdadeiro.
Regras para
demonstração científica
verdadeira.
Definição VI
Definição V
Definição VI
Regras para a
verificação da verdade
ou falsidade de um
pensamento
Regras sobre o modo
de expor o
conhecimento.
Regras para
pensamentos não
científicos.
7
Portanto!
Temos que tais definições são
muito gerais e sintéticas ...
não é fácil definir de forma
precisa o que é Lógica, um tema
tão amplo.
8
Por que estudar Lógica?
✓Aumentar a capacidade de análise crítica dos argumentos
mentais utilizados na organização das ideias e dos
processos criativos;
✓Tomar consciência dos elementos fundamentais à
capacidade de argumentar e expor suas ideias;
✓Tornar mais capaz na racionalização e organização de
suas ideias;
✓Estudar como as pessoas devem raciocinar;
✓Em suma, para saber adequadamente e concretizar os
sonhos, o primeiro passo é tomar consciência da natureza
do raciocínio, como devemos raciocinar.
9
ONDE A LÓGICA É ÚTIL NO MEU CURSO?
Programação de uma
modo geral
Construção de expressões
lógicas.
Banco de Dados
Programação Lógica
PROLOG, LISP.
SQL utiliza lógica de predicados
Circuitos lógicos
Portas lógicas, otimização de
circuitos lógicos.
Inteligência Artificial
Teoria da computação
Provas automáticas de teoremas,
resolução de problemas.
Noções de computabilidade.
10
“
A afirmação abaixo é verdadeira.
A afirmação acima é falsa.
11
1.
CURSO
Lógica Aplicada a Computação
12
CURSO
AULAS
AVALIAÇÕES
-
-
-
Teóricas expositivas (presenciais)
Complementação da carga horária
por meio de atividades
assíncronas
Provas.
Atividades,
Trabalhos - PROLOG.
Listas de exercício
Leitura de material
Atividades
13
CURSO
AULAS
AVALIAÇÕES
-
-
-
Teóricas expositivas (presenciais)
Complementação da carga horária
por meio de atividades
assíncronas
Provas.
Atividades,
Trabalhos – PROLOG (é uma
linguagem declarativa).
Listas de exercício
Leitura de material
Atividades
14
“
Histórico. Lógicas de ordem 0 (proposições) e 1 (predicados).
Sistemas dedutivos. Interpretações, modelos e provas.
Teoremas sobre decidibilidade, satisfabilidade, completeza e
soundness (validade). Dedução automática: polaridade,
skolemização, unificação, resolução, igualdade. Fundamentos
da programação em lógica.
15
16