Matemática e Estatística para Computação

6º Aula

Lógica computacional

Sabe o que é lógica e de onde ela surgiu? Para que utilizamos

a lógica? Para que ela é importante?
Estas perguntas serão respondidas ao longo desta aula.
Confiram!
Bons estudos!

Objetivos de aprendizagem

Ao término desta aula, vocês serão capazes de:

• ter conhecimento sobre a lógica matemática;

• conhecer a lógica computacional.
 37
se refere à parte de abstração e raciocínio. Dessa forma, essa
Seções de estudo disciplina é necessária para o entendimento da linguagem e
do raciocínio dos algoritmos para os futuros programas que
irão trabalhar.
1 – Noções de Lógica Aqui, estudaremos a Lógica Formal, também conhecida
2 – Conectivos como Lógica Simbólica, que se preocupa, basicamente, com
a estrutura do raciocínio. Lida, diretamente, com a relação de
conceitos e trabalha com simbologias precisas e compactas.
1 - Noções de Lógica Veja alguns exemplos:
Exemplo 1:
Ao buscarmos no site Wikipedia sobre o assunto, Todo réptil é um animal.
verificamos que: Todo crocodilo é um réptil.
Portanto, todo crocodilo é um animal.
A lógica é uma ciência de índole
matemática e fortemente ligada à Filosofia. Exemplo 2:
Já que o pensamento é a manifestação do
O armário está fechado.
conhecimento, e que o conhecimento busca
O açúcar está dentro do armário.
a verdade, é preciso estabelecer algumas
regras para que essa meta possa ser atingida. Logo, para pegar o açúcar precisamos abrir o armário.
Assim, a lógica é o ramo da filosofia que
Exemplo 3:
cuida das regras do bem pensar, ou do pensar
correcto, sendo, portanto, um instrumento do Quem nasce no Espírito Santo é capixaba.
pensar. A aprendizagem da lógica não constitui Antonia nasceu no Espírito Santo.
um fim em si. Ela só tem sentido enquanto Logo, Antonia é capixaba.
meio de garantir que nosso pensamento
proceda corretamente a fim de chegar a Exemplo 4:
conhecimentos verdadeiros. Podemos, então, Para passar no concurso é necessário estudar.
dizer que a lógica trata dos argumentos, isto Rafael não estuda.
é, das conclusões a que chegamos através da Portanto, Rafael não passará no concurso.
apresentação de evidências que a sustentam.
O principal organizador da lógica clássica foi Dessa forma, podemos concluir que a lógica estuda as
Aristóteles, com sua obra chamada Organon. formas ou estruturas do pensamento, isto é, seu propósito é
Ele divide a lógica em formal e material. estudar e estabelecer propriedades das relações formais entre
Um sistema lógico é um conjunto de axiomas as proposições. Chamamos de proposições ou sentenças
e regras de inferência que visam representar os conjuntos de símbolos que representam ou exprimem
formalmente o raciocínio válido. Diferentes um determinado pensamento, dando sentido aos assuntos
sistemas de lógica formal foram construídos abordados.
ao longo do tempo quer no âmbito estrito da
Sendo assim, vejamos os exemplos:
Lógica Teórica, quer em aplicações práticas na
computação e em Inteligência artificial.
a) o curso de Tecnologia em Sistemas de Informação à
Tradicionalmente, lógica é também a distância é oferecido na UNIGRAN.
designação para o estudo de sistemas b) o Brasil é o maior país da América do Sul.
prescritivos de raciocínio, ou seja, sistemas que c) o curso de Tecnologia em Sistemas de Informação à
definem como se “deveria” realmente pensar distância tem duração de 4 anos.
para não errar, usando a razão, dedutivamente
e indutivamente. A forma como as pessoas É claro que vocês já perceberam que as proposições
realmente raciocinam é estudado nas outras podem assumir os valores de verdadeiros ou falsos, pois
áreas, como na psicologia cognitiva. elas expressam a descrição de uma realidade. Elas também
Como ciência, a lógica define a estrutura de representam informações enunciadas por uma frase, tais
declaração e argumento e elabora fórmulas como:
através das quais estes podem ser codificados.
Exemplo 1:
Implícita no estudo da lógica está a
compreensão do que gera um bom argumento
Ana Carolina é maior que Vinícius, ou podemos expressar
e de quais os argumentos que são falaciosos. também dizer:
Vinícius é menor que Ana Carolina.
O que é lógica?
Forbellone e Eberspächer (2005, p.1) afirmam que “o uso Exemplo 2:
corriqueiro da palavra lógica está normalmente relacionado à Patrícia está feliz porque terminou a faculdade, ou podemos
coerência e à racionalidade. Frequentemente se associa lógica dizer:
apenas à matemática, não se percebendo sua aplicabilidade e Patrícia se formou e por isto está feliz.
sua relação com as demais ciências”.
Em resumo, teremos dois princípios no caso das
A lógica é componente importante à Ciência da
proposições:
Computação que depende diretamente da Matemática no que
 Matemática e Estatística para Computação 38
1 – Princípio da não contradição: Exemplo 3:
Uma proposição não pode ser verdadeira e falsa simultaneamente. Seja a sentença:
Ou ela é verdadeira ou ela é falsa. “Se Lourdes tem medo de água então ela não entrará no rio”.
Sejam as proposições:
2 – Princípio do Terceiro Excluído: p = “Lourdes tem medo de água”
Uma proposição só pode ter dois valores verdades, isto é, é verdadeiro q = “Ela não entrará no rio”
(V) ou falso (F), não podendo ter outro valor. Daí, poderemos representar a sentença da seguinte
forma:
Logo, voltando ao exemplo anterior temos:
Se p então q
a) “O Curso de Tecnologia em Sistemas de Informação a distância
Esse conteúdo está sendo disponibilizado para que vocês
é oferecido na UNIGRAN” é uma proposição verdadeira.
comecem a entender a questão lógica dentro do processo de
b) “O Brasil é o maior país da América do Sul” é uma
montagem de algoritmos. Nas próximas aulas veremos isso um
proposição verdadeira.
pouco mais a fundo. Agora é necessário que pratiquem essa
c) “O curso de Tecnologia em Sistemas de Informação à distância
aula nas atividades disponibilizadas na plataforma. Vamos lá?!
tem duração de 4 anos”, é uma proposição falsa.
Retomando a aula
2 - Conectivos

As proposições são representadas por letras (maiúsculas Parece que estamos indo bem! Então, para encerrar
ou minúsculas) do alfabeto: a, b, c, d, e, f,... As proposições esse tópico, vamos recordar:
simples combinam, entre si, com outras, ou são modificadas
por alguns operadores que chamamos de conectivos. Temos
alguns conectivos que estaremos estudando durante esta 1 – Noções de Lógica
disciplina e que nos darão base para próxima disciplina que Estudamos os conceitos de lógica e suas aplicações.
abordará algoritmos. Os conectivos são: “não” (~), “e” (^), Foi apresentado como a lógica matemática participa,
“ou” (v), entre outros. integralmente, no aprendizado para a formação de conceitos
do aluno de algoritmo e de que forma isso deve ser visualizado
Conectivos são “palavras que são usadas para formar diante das informações que são apresentadas.
novas proposições “não”, “e”, “se ... então”, ...se e somente
se...”, “ou”.” (LÓGICA PARA INFORMÁTICA). 2 – Conectivos
Conhecemos sobre os conectivos que são
Sendo assim, a partir de uma proposição podemos disponibilizados e utilizados na lógica computacional. Vimos
construir outra correspondente com a sua negação, e com vários exemplos que têm a composição das proposições por
duas ou mais, podemos formar: meio de conjunções, disjunções, condicionais e bicondicionais
• Conjunções (e) a ^ b e de que forma isso modifica na composição de cada uma
• Disjunções (ou) a v b delas.
• Condicionais (se) a→b
• Bicondicionais (se e somente se) a↔b Vale a pena

Exemplo 1:
Seja a sentença:
“Se Ana Carolina é vaidosa então ela passará no SPA” Vale a pena ler
Sejam as proposições:
p = “Ana Carolina é vaidosa” FORBELLONE, André Luiz Villar; EBERSPÄCHER,
q = “Ela passará no SPA” Henri Frederico. Lógica de programação: a construção de
Daí, poderemos representar a sentença da seguinte algoritmos e estruturas de dados. 3. ed. São Paulo: Pearson
forma: Prentice Hall, 2005.
Se p então q

Exemplo 2:
Seja a sentença:
“Se Pedro quer comprar um computador então ele economizará.”
Sejam as proposições: Vale a pena acessar
p = “Pedro quer comprar um computador”
q = “Ele economizará” Lenderbook. Disponível em: [Link]
Daí, poderemos representar a sentença da seguinte com/logica/[Link]. Acesso em: 10/07/2017.
forma: Proposição. Disponível em: [Link]
Se p então q net/qieducacao/proposiox. Acesso em: 10/07/2017.