Curso Tcnico em Informtica 2013 / Turma 13

Lgica, Algoritmos e Mtodos de Desenvolvimento

Prof. Luiz Elcides Prof. Tatiane Lauer luizelcides@gmail.com tatiane_lauer@yahoo.com.br
Lgica e Algoritmos

Lgica
A Lgica surgiu na Grcia Antiga, numa poca em que era necessrio, com urgncia, colocar ordem no raciocnio humano. Naquela poca havia uma prtica chamada Sofismo, atravs da qual pessoas bem treinadas utilizavam o raciocnio para comprovar em juzo fatos que beneficiariam aos interesses de alguns, sem nenhum compromisso com a verdade.

Lgica e Algoritmos

Lgica
Para se contrapor a esta forma de conduzir o raciocnio e permitir a obteno de concluses verdadeiras, surgiu a Lgica, que pode ser resumidamente conceituada como a arte de pensar corretamente.

Lgica e Algoritmos

Lgica
Seu fundador e primeiro sintetizador foi o filsofo grego Aristteles, que criou determinadas regras lgicas, que conduzem a concluses acertadas, quase como se fossem um clculo. Tais regras constituem o Silogismo, cujo exemplo clssico :
Todo homem mortal, Scrates homem, Logo, Scrates mortal.
Lgica e Algoritmos

Lgica
O silogismo caracteriza-se por iniciar com uma sentena que afirme uma propriedade de uma classe, que uma verdade maior (Todo homem mortal), a sentena seguinte apresenta um indivduo pertencente classe (Scrates mortal) e a terceira sentena conclui que o indivduo possue a propriedade da classe ( Logo,Scrates mortal)

Lgica e Algoritmos

Lgica
Outro exemplo:
Todos os metais so bons condutores de eletricidade, O mercrio um metal, Logo, o mercrio conduz bem a eletricidade.

Lgica e Algoritmos

Lgica
Foi a Matemtica, dentre todas as cincias, aquela que mais aproximou-se da Lgica, por ser baseada no raciocnio dedutivo. Vejamos como exemplo, as duas proposies abaixo e a deduo que lhes segue:
3 + 1 = 4; 2 + 2 = 4; Logo, 3 + 1 = 2 + 2
Lgica e Algoritmos

Lgica
Do silogismo de Aristteles a Lgica evoluiu posteriormente para a teoria clssica dos juzos que ao invs de perguntar o que a verdade ? preocupa-se em avaliar quando uma proposio ou juzo verdadeiro.

Lgica e Algoritmos

Lgica
Tomemos como exemplo a afirmao Carlos estudante, que exprime um estado mental (juzo) que ser verdadeiro se estiver de acordo com o fato externo de Carlos estudar. Um juzo falso se exprime ou une mentalmente o que na realidade est separado. Utilizando ento a Lgica, poderamos escrever as instrues para o cobrador de entradas em um cinema:

Lgica e Algoritmos

Lgica
Se Carlos estudante Ento cobre meia entrada Seno cobre entrada inteira.

Lgica e Algoritmos

Lgica de Programao
A lgica de programao necessria para pessoas que desejam trabalhar com desenvolvimento de sistemas e programas. Ela permite definir a seqncia lgica para o desenvolvimento.

Lgica e Algoritmos

Lgica de Programao
Ento o que lgica? Lgica de programao a tcnica de encadear pensamentos para atingir determinado objetivo. Pensamentos indutivos

Pensamentos dedutivos

Lgica e Algoritmos

Lgica de Programao
Pensamentos indutivos so aqueles com que, a partir dos dados, se chega a uma resposta por meio da analogia, ou seja, pela comparao com algo conhecido, porm esse tipo de raciocnio no oferece certeza de que a resposta ser de fato verdadeira. Exemplo: Ontem no havia nuvem no cu e no choveu. Hoje no h nuvens no cu, portanto no vai chover.
Lgica e Algoritmos

Lgica de Programao
Pensamentos dedutivos so aqueles cuja concluso obtida como consequncia das premissas, isto , por meio da anlise das situaes ou fato, pode-se obter a resposta. Exemplo: Carlos um homem. Os homens so seres humanos. Logo, Carlos um ser humano.
Lgica e Algoritmos

Lgica de Programao
A lgica estuda argumentos. Um argumento uma sequencia de enunciados na qual um dos enunciados a concluso e os demais so as premissas. As premissas servem para provar ou fornecer alguma evidncia para concluso.

Todo mamfero um animal. Todo cavalo um mamfero Portanto, todo cavalo um animal
Duas premissas e uma concluso
Lgica e Algoritmos

Lgica de Programao
O raciocnio lgico utilizado pelo homem, desde os tempos primitivos. A descoberta da roda fez uso do racioccio lgico. Exemplos:
Uma pessoa adulta, para tomar banho, primeiro tira a roupa para no molh-la e tambm para estabelecer contato direto entre sua pele e a gua. Uma criana, desde pequena, aprende que, para chupar uma bala, preciso tir-la da embalagem.
Lgica e Algoritmos

Lgica de Programao
A lgica est presente no nosso dia-a-dia. A gaveta est fechada. A caneta est dentro da gaveta. Como fazemos para pegar a caneta?

Lgica e Algoritmos

Lgica de Programao
A lgica est presente no nosso dia-a-dia. Anacleto mais velho que Felisberto. Felisberto mais velho que Marivaldo. Portanto, Anacleto

Lgica e Algoritmos

Lgica de Programao
A lgica aplicada em todas as reas da informtica, para construo e funcionamento do hardware e software.
Exemplo: Na construo de um circuito integrado para o teclado, trabalha-se com o conceito de portas lgicas para verificao da passagem ou no de pulsos eltricos, a fim de que seja estabelecida uma comunicao entre os componentes.

Lgica e Algoritmos

Lgica de Programao
Exemplo: Na construo de software, por meio do raciocnio lgico que o homem constri algoritmos que podem ser transformados em programas de computador capazes de solucionar problemas cada vez mais complexos.

Lgica e Algoritmos

Lgica de Programao - Variveis

Gerson cientista. Todo cientista estudioso. Logo, Gerson estudioso. Substituindo Gerson por A e estudioso por B: A cientista. Todo cientista B. Logo, A B. A e B so premissas variveis
Lgica e Algoritmos

Lgica de Programao
O raciocnio lgico nos conduz a uma resposta que pode ser verdadeira ou falsa. Exemplo: Dados dois valores quaisquer, deseja-se saber qual o maior.

A maior do que B????? Se a resposta verdadeira, A o maior valor. Se a resposta falsa, B o maior valor.
Lgica e Algoritmos

Exerccios
1Alguns artistas no so geniais. Todos os artistas so pessoas criativas. Logo, algumas pessoas criativas no so geniais. 2Alguns portugueses so lisboetas. Todos os lisboetas so mexicanos. Logo, alguns mexicanos so portugueses.

3Todo o habitante natural da Lua um extraterrestre. Todo o selenita um habitante natural da Lua. Logo, algum selenita um extraterrestre.
Lgica e Algoritmos