Apostila de logica

Disponível somente no TrabalhosFeitos
  • Páginas : 11 (2575 palavras )
  • Download(s) : 0
  • Publicado : 9 de julho de 2012
Ler documento completo
Amostra do texto
LÓGICA DE PROGRAMAÇÃO

Criação de Algoritmos

Lucas Criscoullo Fernandez e Thiago Borges Campos

INTRODUÇÃO

O objetivo principal da Lógica de Programação é demonstrar técnicas para resolução de problemas e consequentemente automatização de tarefas.

Aprender a Lógica é essencial para formação de um bom programador, servindo como base para o aprender todas as linguagens de programação.De um modo geral esses conhecimentos serão de grande importância pois ajudarão no cotidiano, desenvolvendo um raciocínio rápido.

Mas o que séria lógica?

Não há consenso quanto à definição da lógica. Alguns autores definem-na como o estudo do processos válidos e gerais pelos quais atingimos a verdade, outros como a ciência das leis do pensamento, ou somente como o estudo dos princípios dainferência válida. Esta pluralidade de definições dá-nos conta da diversidade de estudos que são abrangidos pela Lógica.
“A lógica foi criada por Aristóteles, no século IV a.C., como uma ciência autônoma que se dedica ao estudo dos atos do pensamento - Conceito, Juízo, Raciocínio, Demonstração- do ponto de vista da sua estrutura ou forma lógica, sem ter em conta qualquer conteúdo material. É poresta razão que esta lógica aristotélica se designa também por lógica formal.
Em contraposição a este conceito de lógica formal, surgiu um outro - o de lógica material - para designar o estudo do raciocínio no que ele depende quanto ao seu conteúdo ou matéria.”
Esta distinção entre lógica formal e lógica material permite-nos agora perceber porque:
Tendo em conta a sua forma, o raciocínio écorreto ou incorreto ( válido ou invalido). Mas se atendermos à sua matéria, a conclusão pode ser verdadeira ou falsa.
Exemplo 1:

| Nenhum homem sabe dançar  | Este dançarino é homem | |
Logo, | Este dançarino não sabe dançar |

Este raciocínio é formalmente correto, uma vez que a conclusão está corretamente deduzida. Mas a conclusão é falsa, uma vez que é falsaa primeira proposição ("Nenhum homem sabe dançar"). Estamos perante um raciocínio que tem validade formal, mas não tem validade material. Logo temos que concluir que é falso.

Exemplo 2:

| O jogo precisa de pelos de uma placa de video com 1 giga para poder rodar. | Minha placa de vídeo tem 256 mb . | |
Logo, | Este jogo não roda no meu computador. |

Exemplo3:

| O programa espera o usuário digitar um número. | O usuário digita uma letra. | |
Logo, | O programa não funciona como esperado. |

Proposição

Proposição é um termo usado em lógica para descrever o conteúdo de asserções. Uma asserção é um conteúdo que pode ser tomado como verdadeiro ou falso. Asserções são abstrações de sentenças não linguísticas que aconstituem. A natureza das proposições é altamente controversa entre filósofos, muitos dos quais são céticos sobre a existência de proposições. Muitos lógicos preferem evitar o uso do termo proposição em favor de usar sentença.

Exemplo :

O Superman é um personagem fictício . Verdadeiro.
O ser humano precisa de ar para viver . Indefinido.
Goku foi um famoso presidente do Brasil. Falso.Lei do Meio Excluído | Um proposição é falsa (F) ou verdadeira (V): não há meio termo. |
Lei da Contradição | Uma proposição não pode ser, simultaneamente, V e F. |
Lei da Funcionalidade | O valor lógico (V ou F) de uma proposição composta é unicamente determinada pelos valores lógicos de suas proposições constituintes. |

Sinais de proposição :

! - O sinal “!” fazcom que uma proposição que era falsa ficar verdadeira.

Exemplo :

!O Superman é um personagem fictício . |
Quer dizer que o Superman não é um personagem fictício, logo é uma proposição falsa. |

| RESULTADO |
VERDADEIRA | VERDADEIRA |
FALSA | FALSA |
! VERDADEIRA | FALSA |
! FALSA | VERDADEIRA |

&& - O sinal...
tracking img