LGICA PARA COMPUTAO

Prof. Viviane Mller L. Alves

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

Pensamentos indutivos
Pensamentos dedutivos

Lgica

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

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 Arte de pensar Cincia das formas do pensamento o estudo de argumentos

ARGUMENTO

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

Lgica

Argumento uma sequencia de enunciados na qual

um dos enunciados a concluso e os demais so premissas, as quais servem para provar ou, pelo menos, fornecer alguma evidncia para a concluso.

Klaiton pas do planeta Stix. Todos os Xinpins so de Klaiton Logo, todos os Xinpins so Stixianos
Duas premissas e uma concluso

Lgica As premissas e a concluso de um argumento so sempre enunciados ou proposies. Os enunciados so espcies de idias verdadeiras ou falsas. Os no-enunciados, tais como interrogaes, comandos ou exclamaes, no so verdadeiros nem falsos.

Lgica 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 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 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 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

Exerccios exemplos

Ele Leo, pois nasceu na primeira semana de agosto.

Premissa: Ele nasceu na primeira semana de agosto Concluso: Ele Leo

Exerccios exemplos

Como a economia pode ser melhorada? O deficit comercial est crescendo todo dia.
Tecnicamente no um argumento pois a primeira sentena uma interrogao, mas a pergunta meramente retrica, sugerindo o seguinte argumento:
Premissa: O dficit comercial est crescendo todo dia Concluso: A economia no pode ser melhorada

Exerccios exemplos

Eu no quero ir para cama, mame. O filme ainda no acabou.

Premissa: O filme ainda no acabou. Concluso: Eu no quero ir para cama.

Exerccios exemplos

O edifcio estava em runas, coberto de fuligem marrom, numa regio abandonada. A fuga dos ratos ressoava pelos corredores.
No um argumento. No h como estabelecer uma evidncia para a concluso.

Exerccios exemplos

As pessoas talentosas como voc deveriam receber uma educao superior. V para a faculdade!
No um argumento. V para a faculdade! expressa um comando, no um enunciado. Todavia, o seguinte argumento sugerido: Premissa: As pessoas talentosas como voc deveriam receber uma educao superior. Concluso: Voc deveria ir para a faculdade.

Exerccios exemplos

H algum aqui que entende este documento?

No um argumento.

Argumento complexo

Todos os nmeros racionais podem ser expressos como quociente de dois inteiros. Contudo, no pode ser expresso como quociente de dois nmeros. Portanto, no um nmero racional. Evidentemente, um nmero. Logo, existe pelo menos um nmero noracional. Concluso: existe pelo menos um nmero no-racional (a saber, ).

Argumento complexo forma padro

Todos os nmeros racionais podem ser expressos como quociente de dois inteiros. no pode ser expresso como quociente de dois nmeros. no um nmero racional. um nmero. Existe pelo menos um nmero no-racional.

Indicadores de inferncia

So palavras ou frases utilizadas para assinalar a presena de um argumento. - Indicadores de concluso - Indicadores de premissas

Identificando argumentos Indicadores de concluso

portanto por conseguinte assim dessa maneira neste caso da logo de modo que ento consequentemente
assim sendo segue-se que o(a) qual implica que o(a) qual acarreta que o(a) qual prova que o(a) qual significa que do(da) qual inferimos que resulta que podemos deduzir que

Identificando argumentos Indicadores de premissa

pois desde que como porque assumindo que visto que admitindo que isto verdade porque a razo que em vista de como consequencia de

como mostrado pelo fato que dado que sabendo-se que supondo que

Argumentos exemplo

O composto ouro-argnio, provavelmente, no produzido no laboratrio, muito menos na natureza desde que difcil fazer o argnio reagir com qualquer outra coisa e desde que o ouro, tambm, forma poucos compostos.
Identificar: - Indicadores de inferncia (concluso e premissa) - Colocar colchete e enumerar cada enunciado - Escrever o argumento da forma padro

Argumentos exemplo

O composto ouro-argnio, provavelmente, no produzido no laboratrio, muito menos na natureza desde que difcil fazer o argnio reagir com qualquer outra coisa e desde que o ouro, tambm, forma poucos compostos.
Identificar: - Indicadores de inferncia (concluso e premissa) - Colocar colchete e enumerar cada enunciado - Escrever o argumento da forma padro

Argumentos exemplo
1

[O composto ouro-argnio, provavelmente, no produzido no laboratrio, muito menos na natureza] 2 desde que [ difcil fazer o argnio reagir com 3 qualquer outra coisa] e desde que [o ouro, tambm, forma poucos compostos.]
Identificar: - Indicadores de inferncia (concluso e premissa) - Colocar colchete e enumerar cada enunciado - Escrever o argumento da forma padro

Argumentos exemplo
1

[O composto ouro-argnio, provavelmente, no produzido no laboratrio, muito menos na natureza] 2 desde que [ difcil fazer o argnio reagir com 3 qualquer outra coisa] e desde que [o ouro, tambm, forma poucos compostos.]
Identificar: - Indicadores de inferncia (concluso e premissa) - Colocar colchete e enumerar cada enunciado - Escrever o argumento da forma padro

Argumentos exemplo
1

[O composto ouro-argnio, provavelmente, no produzido no laboratrio, muito menos na natureza] 2 desde que [ difcil fazer o argnio reagir com 3 qualquer outra coisa] e desde que [o ouro, tambm, forma poucos compostos.]
difcil fazer o argnio reagir com qualquer outra coisa. O ouro, tambm, forma poucos compostos. O composto ouro-argnio, provavelmente, no produzido no laboratrio, muito menos na natureza.

Argumentos
Identificar: - Indicadores de inferncia (concluso e premissa) - Colocar colchete e enumerar cada enunciado - Escrever o argumento da forma padro

DIAGRAMAR

ARGUMENTO

Diagramas de argumentos
Hoje tera-feira ou quarta-feira. Mas no pode ser quartafeira, pois o consultrio do mdico estava aberto esta manh, e aquele consultrio est sempre fechado s quartas. Portanto, hoje deve ser tera-feira.

Identificar: - Indicadores de inferncia (concluso e premissa) - Colocar colchete e enumerar cada enunciado - Escrever o argumento da forma padro

Diagramas de argumentos
Hoje tera-feira ou quarta-feira. Mas no pode ser quartafeira, pois o consultrio do mdico estava aberto esta manh, e aquele consultrio est sempre fechado s quartas. Portanto, hoje deve ser tera-feira.

Identificar: - Indicadores de inferncia (concluso e premissa) - Colocar colchete e enumerar cada enunciado - Escrever o argumento da forma padro

Diagramas de argumentos
1

[Hoje tera-feira ou quarta-feira]. Mas [no pode ser quarta-feira], pois 3 [o consultrio do mdico estava aberto esta manh], e 4 [aquele consultrio est sempre fechado s quartas]. Portanto, 5 [hoje deve ser tera-feira].

Identificar: - Indicadores de inferncia (concluso e premissa) - Colocar colchete e enumerar cada enunciado - Escrever o argumento da forma padro - Fazer o Diagrama do argumento

Diagramas de argumentos
1

[Hoje tera-feira ou quarta-feira]. Mas [no pode ser quarta-feira], pois 3 [o consultrio do mdico estava aberto esta manh], e 4 [aquele consultrio est sempre fechado s quartas]. Portanto, 5 [hoje deve ser tera-feira].

O consultrio do mdico estava aberto esta manha O consultrio est sempre fechado s quartas Hoje no pode ser quarta-feira Hoje tera-feira ou quarta-feira Hoje deve ser tera-feira

Diagramas de argumentos
1

[Hoje tera-feira ou quarta-feira]. Mas [no pode ser quarta-feira], pois 3 [o consultrio do mdico estava aberto esta manh], e 4 [aquele consultrio est sempre fechado s quartas]. Portanto, 5 [hoje deve ser tera-feira].

3+4
1+2 5

Diagramas de argumentos
Watts est em Los Angeles e est, portanto, nos Estados Unidos e logo faz parte de uma nao plenamente industrializada. Assim, ele no faz parte do Terceiro Mundo, pois o Terceiro Mundo caracterizado por naes em desenvolvimento e naes em desenvolvimento no esto, por definio, plenamente industrializadas. - Indicadores de inferncia (concluso e premissa) - Colocar colchete e enumerar cada enunciado - Escrever o argumento da forma padro - Fazer o Diagrama do argumento

Diagramas de argumentos
1 2

[Watts est em Los Angeles] e [est, portanto, nos Estados Unidos] e logo 3 [faz parte de uma nao plenamente industrializada]. Assim, [ele no faz parte do Terceiro Mundo], pois 5 [o Terceiro Mundo caracterizado por naes em desenvolvimento] e 6 [naes em desenvolvimento no esto, por definio, plenamente industrializadas].

1 2 3+5+6

Locues
H locues que ligam duas ou mais sentenas em componentes que podem ser tradados como um s ao se analisar um argumento.
ou ... ou se ... ento somente se contanto que se e somente se nem ... nem a menos que at quando antes que

Locues
Ou os UFOs so armas secretas russas, ou eles so naves espaciais extraterrestres. Se eles so armas russas, ento a tecnologia russa enormemente superior nossa (contrrio ao pensamento corrente). Se eles so naves espaciais extraterrestres, ento eles mostram uma tecnologia muito avanada, alm do que podemos imaginar. Em qualquer caso, portanto, seus construtores so mais sofisticados, tecnologicamente, do que ns.

Locues
Ou os UFOs so armas secretas russas, ou eles so naves espaciais extraterrestres. Se eles so armas russas, ento a tecnologia russa enormemente superior nossa (contrrio ao pensamento corrente). Se eles so naves espaciais extraterrestres, ento eles mostram uma tecnologia muito avanada, alm do que podemos imaginar. Em qualquer caso, portanto, seus construtores so mais sofisticados, tecnologicamente, do que ns.

1+2+3
4

Argumentos convergentes
Vrias etapas de raciocnio que sustentam a mesma concluso (final ou intermediria).

Os Benson devem estar em casa. A porta da frente est aberta. O carro est na entrada da garagem e a televiso est ligada, pois eu posso ver a sua luminosidade atravs da janela.

Argumentos convergentes
1 [Os 2

Benson devem estar em casa]. [A porta da frente est aberta], 3 [o carro est na entrada da garagem] e 4 [a televiso est ligada], pois 5 [eu posso ver a sua luminosidade atravs da janela].

5
2 3 4 1

Enunciados implcitos
1 2

[Karla atia], o que somente mostra que [voc no tem que acreditar em Deus para ser uma boa pessoa]. [Karla uma boa pessoa.]

1+3

Exerccios