Introdução à Lógica Matemática - CILP Aula #4

Curso Iniciação em Lógica de Programação

Introdução à Lógica Matemática - Aula #4

Bom, pra começar, precisamos conceituar algumas coisas.

Primeiro, argumento. Argumento nada mais é que um conjunto de palavras dos quais um é a conclusão e os demais premissas (proposição que ajuda a chegar em uma conclusão). Existem dois tipos principais: argumentos dedutivo e indutivo.

ARGUMENTO DEDUTIVO : Premissas verdadeiras, conclusão verdadeira.

• Premissa 1 = "Todo homem é mortal"
• Premissa 2 = "João é um homem"
• Conclusão = "João é mortal"

ARGUMENTO INDUTIVO : Premissas verdadeiras não dão certeza da verdade da conclusão.

• Premissa 1 = "É comum após a chuva ficar nublado"
• Premissa 2 = "Está chovendo"
• Conclusão = "Ficará nublado"

Bem, tendo esses conceitos em mente podemos perceber assim várias coisas que nos foram passadas em matemática, principalmente na escola como, por exemplo:

a + b = b + a

a + b = e E c + d = e, LOGO a + b = c + d

E outras coisas do tipo...

É fato. A matemática é lógica pura, baseada principalmente nessas duas linhas de raciocínio que tivemos, a dedutiva e a indutiva.

E, em programação, precisamos muito dessas linhas de raciocínio para assim avaliarmos se nossa rotina esta bem estruturada ou se o resultado é realmente o que se é esperado.

Muito bem, o exercício de lógica é bem simples. MENTIRA!!! Não é nem um pouco simples, mas é bom. É o teste de QI de Einstein, muito bom para testar as Lógicas.

Clique aqui para jogar.

Outra dica é jogar jogos de lógica, pra quem é meio preguiçoso, clica aqui para abrir a pesquisa do Google :D

Abraços

Lucas Amparo

Twitter.