Lgica para a computao

LGICA
A lgica de programao necessria para pessoas que desejam
trabalhar com desenvolvimento de sistemas e programas, ela permite definir a
sequncia lgica para o desenvolvimento.
Ento o que lgica?
Lgica de programao a tcnica de encadear pensamentos para
atingir determinado objetivo.
SEQUNCIA LGICA
Sequncia Lgica so passos executados at atingir um objetivo ou
soluo de um problema.
INSTRUES
Na linguagem comum, entende-se por instrues um conjunto de
regras ou normas definidas para a realizao ou emprego de algo.
Em informtica, porm, instruo a informao que indica a um
computador uma ao elementar a executar.
Por exemplo, se quisermos fazer uma omelete de batatas, precisaremos
colocar em prtica uma srie de instrues: descascar as batatas, bater os
ovos, fritar as batatas, etc...
evidente que essas instrues tm que ser executadas em uma ordem
adequada no se pode descascar as batatas depois de frit-las.
FUNDAMENTOS DE LGICA
PREMISSAS
As premissas so as evidncias que servem como base para uma
concluso. Podemos tambm definir como uma proposio usada num
argumento para defender uma concluso, assim premissa uma funo
atribuda a uma sentena num contexto silogstico.
ARGUMENTAO
A noo de argumento fundamental para a lgica. Argumento um
conjunto de enunciados que esto relacionados uns com os outros. Argumento
um raciocnio lgico.
Um argumento um conjunto de proposies em que se pretende que
uma delas (a concluso) seja apoiada pelas outras (as premissas). Podemos
assim inferir que um argumento sempre apresenta uma ou mais premissas e
uma concluso.
Para que o argumento seja vlido, no basta que a concluso seja
verdadeira. preciso que as premissas e a concluso estejam relacionadas
corretamente. Distinguir os raciocnios corretos dos incorretos a principal
tarefa da lgica.
Vejamos alguns exemplos:
Todo molusco invertebrado. premissa
O caracol um molusco. premissa
Logo, o caracol invertebrado. Concluso
Todos os portugueses so europeus.
Logo, alguns europeus so portugueses.
PROPOSIO
Denomina-se proposio a toda frase declarativa, expressa em
palavras ou smbolos, que exprima um juzo ao qual se possa atribuir, dentro
de certo contexto, somente um de dois valores lgicos possveis: verdadeiro
ou falso.
So exemplos de proposies as seguintes sentenas declarativas:
1) Existe um nmero mpar menor que dois.
2) O co late e o gato mia.
3) 2 + 8 = 45
4) 5 > 7
5) Amanda quer um sapatinho novo ou uma bicicleta.
6) Pedro estuda e trabalha.
7) Duas retas de um plano so paralelas ou incidentes.
8) Se Pedro estuda, ento tem xito na escola.
9) Vou ao cinema se e somente se conseguir dinheiro.
10) A lua e um satlite da terra.
11) O filho do Presidente do Brasil, em 1970, era medico.
3 x 5 = 5 x 3
No so proposies:
1-Sentenas como as interrogativas: Qual o seu nome?
2-Sentenas exclamativas: Que linda essa mulher!
3-Sentenas imperativas: Estude menos.
4-Sentenas sem verbo: O caderno de Ana.
5-Poemas:
Um pouco mais de sol eu era brasa
Um pouco mais de azul eu era alm.
(Fragmento do poema Quase, de Mrio de S Carneiro)
6-Sentenas abertas (o valor lgico da sentena depende do valor (do nome)
atribudo a varivel):
x maior que 2;
x+y = 10;
Z a capital do Chile.
7-Sentenas paradoxais (nem pode ser V nem F):
Esta frase falsa.
Mais Exemplos
Onde voc mora?
Que belo jardim e o desta praa! (exclamativa)
Escreva um verso.
Quem est l? (Interrogao)
Bla Bla Bla Bla. (Interjeio, insignificante)
Faa! (imperativo, comando)
Sim, no sei, talvez... (vago)
1+2 (Expresso sem valor falso/verdadeiro)
PROPOSIES SIMPLES E PROPOSIES COMPOSTAS
As proposies podem se classificadas como simples ou compostas. A
proposio simples aquela que no contem nenhuma outra proposio como
parte integrante de si mesma. Ex.:
1- Carlos careca.
2- Pedro estudante.
A proposio composta e formada pela combinao de duas ou mais
proposies simples atravs de um elemento de ligao denominada
conectivo. Ex.:
1 -Carlos careca e Pedro estudante.
2 -Carlos careca ou Pedro estudante.
3 -Se Carlos careca ento infeliz.
Valores Lgicos das Proposies:
Diz-se que o valor logico de uma proposio p e verdade quando p e
verdadeiro e falsidade quando p e falso. Os valores lgicos verdade e falsidade
de uma proposio designam-se abreviadamente pelas letras V e F ou pelos
smbolos 1 e 0,respectivamente.
Assim, o que os princpios da no-contradio e do terceiro excludo
afirmam e que:
Toda proposio pode assumir um, e somente um, dos dois valores: F
ou V ( 0 ou 1 respectivamente).
Afinal o que so os conectivos?
Conectivos so palavras ou smbolos os quais obtemos novas
proposies a partir de proposies j existentes. So conhecidos tambm
como "operadores lgicos".
Definio: Chamam-se conectivos as palavras usadas para formar
proposies compostas a partir de proposies simples.
Temos 1 conectivo unrio e 4 conectivos binrios. Ex.:
P: O numero 6 e par e o numero 8 o cubo do numero 2
Q: O triangulo ABC retngulo ou o triangulo ABC isscele
R: No esta chovendo
S: Se Jorge e engenheiro, ento sabe matemtica.
T: O triangulo ABC equiltero se e somente se equingulo
(subentende.. o triangulo ABC...)
Podemos considerar como conectivos usuais da logica as palavras
grifadas, isto e:
E, Ou, No, Se ... Ento..., ... Se e somente se... (sse)
CONECTIVOS LGICOS
Referncias:
LGICA PARA CINCIA DA COMPUTAO - Joo Nunes de Souza - Ed. Campus 2002
INTRODUO LGICA PARA CINCIA DA COMPUTAO Jair Minoro Abe / Alexandre
Scalzitti / Joo Incio da Silva Filho Ed. Arte & Cincia 2001
LGICA DE PROGRAMAO - PUGA, SANDRA E RISSETTI, GERSON 2003