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 primeira aula. Confi ram!! Segundo Wikipedia,
A lógica é uma ciência de índole matemática e fortemente ligada à Filosofi a. Já que o pensamento é a manifestação do conhecimento, e que o conhecimento busca a verdade, é preciso estabelecer algumas regras para que essa meta possa ser atingida. Assim, a lógica é o ramo da fi losofi a que cuida das regras do bem pensar, ou do pensar correcto, sendo, portanto, um instrumento do pensar. A aprendizagem da lógica não constitui um fi m em si. Ela só tem sentido enquanto meio de garantir que nosso pensamento proceda corretamente a fi m de chegar a conhecimentos verdadeiros. Podemos, então, dizer que a lógica trata dos argumentos, isto é, das conclusões a que chegamos através da apresentação de evidências que a sustentam. O principal organizador da lógica clássica foi Aristóteles, com sua obra chamada Organon. Ele divide a lógica em formal e material.
Aula 01
INTRODUÇÃO À LÓGICA
DE PROGRAMAÇÃO
Um sistema lógico é um conjunto de axiomas e regras de inferência que visam representar formalmente o raciocínio válido. Diferentes sistemas de lógica formal foram construídos ao longo do tempo quer no âmbito estrito da Lógica Teórica, quer em aplicações práticas na computação e em Inteligência artifi cial.
Tradicionalmente, lógica é também a designação para o estudo de sistemas prescritivos de raciocínio, ou seja, sistemas que defi nem como se “deveria” realmente pensar para não errar, usando a razão, dedutivamente e indutivamente. A forma como as pessoas realmente raciocinam é estudado nas outras áreas, como na psicologia cognitiva.
Como ciência, a lógica defi ne a estrutura de declaração e argumento e elabora fórmulas através das quais estes podem ser codifi cados. Implícita no estudo da lógica está a compreensão do que gera um bom argumento e de quais os argumentos que são falaciosos.
O QUE É LÓGICA?
Forbellone e Eberspächer (2005, p.1), afi rmam que “o uso corriqueiro da palavra lógica está normalmente relacionado à coerência e à racionalidade. Frequentemente se associa lógica apenas à matemática, não se percebendo sua aplicabilidade e sua relação com as demais ciências”.
A lógica é componente importante à Ciência da Computação que depende diretamente da Matemática no que se refere a parte de abstração e raciocínio. Desta forma, esta disciplina é necessária para o entendimento da linguagem e raciocínio dos algoritmos para os futuros programas que irão trabalhar.
Aqui, estudaremos a Lógica Formal, também conhecida 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.
Veja alguns exemplos:
Exemplo 1:
Todo réptil é um animal. Todo crocodilo é um réptil.
Portanto, todo crocodilo é um animal.
Exemplo 2:
O armário está fechado.
O açúcar está dentro do armário.
Logo, para pegar o açúcar precisamos abrir o armário.
Exemplo 3:
Quem nasce no Espírito Santo é capixaba. Antonia nasceu no Espírito Santo.
Logo, Antonia é capixaba.
Exemplo 4:
Para passar no concurso é necessário estudar. Rafael não estuda.
Portanto, Rafael não passará no concurso.
Desta forma podemos concluir que a lógica estuda as formas ou estruturas do pensamento, isto é, seu propósito é estudar e estabelecer propriedades das relações formais entre as proposições. Chamamos de proposições ou sentenças os conjuntos de símbolos que representam ou exprimem um determinado pensamento, dando sentido aos assuntos abordados.
Sendo assim, vejamos os exemplos:
a) O curso de Tecnologia em Sistemas de Informação à distância é oferecido na
UNIGRAN.
b) O Brasil é o maior país da América do Sul.
c) O curso de Tecnologia em Sistemas de Informação à distância tem duração de 4 anos.
É claro que você já percebeu que as proposições podem assumir os valores de verdadeiros ou falsos, pois elas expressam a descrição de uma realidade. Elas também representam informações enunciadas por uma frase, tais como:
Exemplo 1:
Ana Carolina é maior que Vinícius, ou podemos também dizer: Vinícius é menor que Ana Carolina.
Exemplo 2:
Patrícia está feliz porque terminou a faculdade, ou podemos dizer: Patrícia se formou e por isto está feliz.
Em resumo, teremos dois princípios no caso das proposições:
1 – Princípio da não-contradição:
Uma proposição não pode ser verdadeira e falsa simultaneamente. Ou ela é verdadeira ou ela é falsa.
2 – Princípio do Terceiro Excluído:
Uma proposição só pode ter dois valores verdades, isto é, é verdadeiro (V) ou falso (F), não podendo ter outro valor.
Logo, voltando ao exemplo anterior temos:
a) “O Curso de Tecnologia em Sistemas de Informação à distância é oferecido na UNIGRAN” é uma proposição verdadeira.
b) “O Brasil é o maior país da América do Sul” é uma proposição verdadeira. c) “O curso de Tecnologia em Sistemas de Informação à distância tem duração de 4 anos”, é uma proposição falsa.
As proposições são representadas por letras (maiúsculas ou minúsculas) do alfabeto: a, b, c, d, e, f,... As proposições simples combinam, entre si, com outras, ou são modifi cadas por alguns operadores que chamamos de conectivos. Temos alguns conectivos que estudaremos durante esta disciplina e que nos darão base para a próxima disciplina que abordará algoritmos. Os conectivos são: “não” (~), “e” (^), “ou” (v), entre outros.
Conectivos são “palavras que são usadas para formar novas proposições “não” , “e”,
“se ... então”, ...se e somente se...”, “ou”.” Sendo assim, a partir de uma proposição podemos construir uma outra correspondente com a sua negação; e com duas ou mais, podemos formar:
• Conjunções (e) a ^ b
• Disjunções (ou) a v b
• Condicionais (se) a b
Exemplo 1:
Seja a sentença:
“Se Ana Carolina é vaidosa então ela passará no SPA” Sejam as proposições:
p = “Ana Carolina é vaidosa” q = “Ela passará no SPA”
Daí, poderemos representar a sentença da seguinte forma:
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:
q = “Ele economizará”
Daí, poderemos representar a sentença da seguinte forma:
Se p então q
Exemplo 3:
Seja a sentença:
“Se Lourdes tem medo de água então ela não entrará no rio” Sejam as proposições:
p = “Lourdes tem medo de água” q = “Ela não entrará no rio”
Daí, poderemos representar a sentença da seguinte forma:
Se p então q
Utilizando as proposições p e q, veja a construção de frases com os conectivos a seguir:
p = Ana é inteligente
q = Ana passará no vestibular
p ^ q = Ana é inteligente E passará no vestibular. p v q = Ana é inteligente OU passará no vestibular. ~p ^ q = Ana NÃO é inteligente E passará no vestibular. ~p v q = Ana NÃO é inteligente OU passará no vestibular. p ^ ~q = Ana é inteligente e NÃO passará no vestibular. p v ~q = Ana é inteligente OU NÃO passará no vestibular. ~p ^ ~q = Ana NÃO é inteligente e NÃO passará no vestibular. ~p v ~q = Ana NÃO é inteligente OU NÃO passará no vestibular.
~(p ^ q) = NÃO É VERDADE que Ana é inteligente E passará no vestibular. ~(p v q) = NÃO É VERDADE que Ana é inteligente OU passará no vestibular.
ATIVIDADES
As atividades referentes a esta aula estão disponibilizadas na ferramenta “Sala Virtual - Atividades”. Após respondê-las, enviem-nas por meio do Portfólio- ferramenta do ambiente de aprendizagem UNIGRANet. Em caso de dúvidas, utilize as ferramentas apropriadas para se comunicar com o professor.
