Disciplina: Lógica para Computação

Prof.a Etelvira Leite

O que é a Lógica?

Conhecimento cuja a aplicação se faz desde quando

os primeiros pensadores, os filósofos, utilizavam a
lógica para distinguir o argumento correto do
incorreto, até a nossa atualidade, com todas as
tecnologias da informação que nos cercam – a base de
funcionamento de um computador está na eletrônica e
na lógica. A lógica possibilita educar na forma de
pensar, de estruturar suas ideias e concepções.

Lógica para Computação

 Segundo o dicionário Aurélio, lógica significa
“coerência de raciocínio, de ideias. Modo de raciocinar
peculiar a alguém, ou a um grupo. Sequência
coerente, regular e necessária de acontecimentos, de
coisas”.
Um outro conceito seria: segundo o filósofo Régis
Jolivet, “[...] a ciência das leis ideais do pensamento e
a arte de aplicá-las corretamente no processo de
investigação e demonstração da verdade”.

Lógica para Computação

 A Lógica é ciência da demonstração.
(Aristóteles)
A lógica se dedica ao estudo dos conceitos de
prova e verdade. Um dos objetivos da lógica é
determinar se a argumentação utilizada por alguém
para se chegar a uma certa conclusão é válida ou não
(ZENI, 2006). E um outro objetivo é a mecanização do
raciocínio, isto é: a obtenção de nova informação a
partir de informações prévias por meio de recursos
que podem ser controlados e automatizados.

Lógica para Computação

 Portanto, podemos definir a lógica afirmando que
ela representa o aperfeiçoamento do pensamento, a
arte de pensar corretamente. O ato de pensar
corretamente antes de executar qualquer ação é
favorável para que tal tarefa seja executada com total
sucesso. Criar estratégias, relacionar informações e
levantar hipóteses são habilidades essenciais para
diversas situações do cotidiano (MIRANDA, 2013).

Lógica para Computação

 No nosso dia a dia nos deparamos com vários
problemas, nos quais, usamos a “lógica” de forma
“consciente” para resolvê-los, isto é, um raciocínio
detalhista, minucioso, com bastante clareza, ou,
raciocinamos de forma lógica sem tomarmos
conhecimento, intuitivamente. Para que fique claro,
criemos uma situação.

Você está viajando e fura um pneu de seu carro.

Encosta-o e para. Será que você é capaz de descrever todos
os passos desde a parada do carro até o pneu trocado?

Lógica para Computação

Se você tentou, agora responda algumas perguntas:
• Você desligou o carro?
• Você ligou o alerta?
• Você puxou o freio de mão?
• Você levou a chave para abrir o porta-malas?
• Você verificou se o socorro estava cheio?
• etc.
Teríamos N detalhes que muitas vezes fizemos
intuitivamente e não nos preocupamos com isso,
no entanto, quando os descrevemos chegamos a
esquecer muitos deles. A lógica seria a sequência
detalhada e clara do fato.
Lógica para Computação
 A lógica é aplicada em diversas áreas como:
 Projeto de circuitos digitais;
 Inteligência artificial: o método dedutivo é um dos
fundamentos dos sistemas especialistas;
 Teoria de autômatos: usados em processamento de
texto, compiladores e projeto de hardware;
 Teoria de bancos de dados relacionais: a definição é
baseada na lógica de predicados e na teoria dos
conjuntos;
 Teoria de linguagens;
 Teoria de sistemas distribuídos.
Lógica para Computação
 Lógica e Linguagem

Todo sistema lógico consiste de uma linguagem

usada para descrever ou representar situações através
de proposições ou fórmulas. Normalmente, quando
escrevemos proposições, temos alguma interpretação
relacionada à elas. Por exemplo, uma proposição pode
expressar alguma propriedade que deve se verificar
(ser verdadeira) em um banco de dados ou em um
programa. Isso implica que uma proposição tem um
significado (ou semântica) associado.
Lógica para Computação
 Lógica e Linguagem

Na Lógica, definimos o significado de uma

proposição como o seu valor-verdade: uma proposição
pode ser verdadeira ou falsa, mas não ambos. O
conceito de verdade introduzido por Tarski, nos
permite dizer que uma fórmula é verdadeira se ela é
satisfeita em uma interpretação.

Lógica para Computação

 O objeto da lógica é a proposição, que exprime,
através da linguagem, os juízos formulados pelo
pensamento. A proposição é a atribuição de um
predicado a um sujeito. O encadeamento dos juízos
constitui o raciocínio e este se exprime logicamente
através da conexão de proposições, chamada silogismo
(que é uma forma de raciocínio dedutivo).
Assim, pode-se dizer que o juízo é a forma central
de todo o pensamento. A expressão verbal de um juízo
é a proposição.

Lógica para Computação

 A proposição se compõe dos seguintes termos:
- Sujeito – é o ser de que se afirma ou nega alguma coisa.
- Predicado – é o que se afirma ou nega do sujeito.
- Verbo – é o elo, pois liga ou desliga os dois termos –
sujeito e predicado.

Para ser proposição, uma frase deve,

necessariamente, apresentar esses termos.

Lógica para Computação

Exemplos de proposições:
- A Lua é o único satélite do planeta Terra. (V)
- A cidade de Natal é capital do estado da Paraíba. (F)
- O número 10 é ímpar. (F)

Exemplos que não são proposições:

- Silêncio!
- Quer jogar futebol?

Lógica para Computação

 Nem toda sentença da língua portuguesa pode ser
atribuída um valor-verdade, V ou F, como por exemplo,
sentenças exclamativas; sentenças imperativas; sentenças
interrogativas; sentenças sem verbo; sentenças abertas, não
são em geral consideradas como sentenças lógicas. Por
outro lado, as sentenças declarativas, isto é, sentenças as
quais podem ser atribuída um valor lógico, são reconhecidas
como sentenças lógicas e, formam junto com os conectivos
lógicos, o “Cálculo de Proposições”, uma linguagem para o
raciocínio lógico.

Lógica para Computação

 Uma vez o conceito de verdade tenha sido definido,
a questão seguinte é investigar se é possível encontrar
métodos algoritmos para decidir em um número finito
de passos se uma fórmula é verdadeira (válida) ou
não.
Portanto, a lógica estuda os elementos que
constituem uma proposição, os tipos de proposições e
de silogismos, e os princípios necessários a que toda
proposição e todo silogismo devem obedecer para
serem verdadeiros.
Lógica para Computação
Exemplo mais famoso de silogismo:
Todos os homens são mortais.
João é homem.
Logo, João é mortal.

Portanto, a idéia geral da dedução ou inferência

silogística é:
A é verdade de B.
B é verdade de C.
Logo, A é verdade de C.

Lógica para Computação

 Lógica proposicional (operações lógicas, análise das
proposições, álgebra das proposições);
 Técnicas de dedução (argumentos e suas validades,
regras de inferência, demonstração condicional,
demonstração indireta ou redução ao absurdo,
tableaux semântico - sistema de refutação);
 Lógica de Predicados (sentenças abertas,
quantificadores
 Álgebra de Boole (simplificação de circuitos);
 Lógica Digital (portas lógicas, circuitos digitais,
mapa de karnaugh).
Lógica para Computação
 MIRANDA, Carmen Suely Cavalcanti de. Raciocínio lógico.
Carmen Suely Cavalcanti de Miranda e Ivickson Ricardo de
Miranda Cavalcanti –Salvador: UNIFACS, 2013. 152 p. : il. ; 24
cm. ISBN 978-85-87325-33-4 1. Lógica. I. Cavalcanti,
Ivickson Ricardo de Miranda, II. Título. CDD: 160.
 ZENI, José Ricardo R. Introdução à Lógica. Departamento de
Matemática - UNESP – Campus de Guaratinguetá. Ano de
publicação: 2006.

Lógica para Computação