Lógica Computacional by Paulo Victor Santos Magalhães https://padlet.com/paulomagalhaes1206/p51px9fk1g3015r2 Engenharia de Software en-us 2021-08-07 12:24:16 UTC 2021-08-07 12:30:21 UTC hello@padlet.com Origem paulomagalhaes1206 https://padlet.com/paulomagalhaes1206/p51px9fk1g3015r2/wish/1671656813 Sua origem vem de Aristóteles (filósofo grego - 342 a.C) que sistematizou os conhecimentos existentes, elevando-os à categoria de ciência. Em sua obra chamada Organum ("ferramenta para o correto pensar"), estabeleceu princípios tão gerais e tão sólidos que até hoje são considerados válidos. Aristóteles se preocupava com as formas de raciocínio que, a partir de conhecimentos considerados verdadeiros, permitiam obter novos conhecimentos. A partir dos conhecimentos tidos como verdadeiros, caberia à Lógica de Programação a formulação de leis gerais de encadeamentos lógicos que levariam à descoberta de novas verdades. Essa forma de encadeamento é chamada, em Lógica de Programação, de Argumento.]]> 2021-08-07 12:27:10 UTC https://padlet.com/paulomagalhaes1206/p51px9fk1g3015r2/wish/1671656813 paulomagalhaes1206 https://padlet.com/paulomagalhaes1206/p51px9fk1g3015r2/wish/1671657303 A base da estruturação de um algoritmo e/ou programação é o Argumento usado, ou seja, a "busca da verdade" e seus fundamentos lógicos.
Um argumento é uma sequência de proposições que nada mais é que as sentenças afirmativas que podem ser verdadeiras ou falsas, na qual uma delas é a conclusão e as demais são premissas. As premissas justificam a conclusão.
O objetivo de um argumento é justificar uma afirmação que se faz, ou dar as razões para certa conclusão obtida. Pode-se dizer que é uma reconstrução explícita do raciocino efetuado
É necessário expor todas as razões que levaram a conclusão lógica como forma de convencimento, ou seja, mostrar o fundamento do argumento.
]]> 2021-08-07 12:29:23 UTC https://padlet.com/paulomagalhaes1206/p51px9fk1g3015r2/wish/1671657303 paulomagalhaes1206 https://padlet.com/paulomagalhaes1206/p51px9fk1g3015r2/wish/1671657479 Quando se fala em Validade de um Argumento, as premissas são consideradas provas evidentes da verdade da conclusão, caso contrário não é válido. Considera-se válido quando, podemos dizer que a conclusão é uma consequência lógica das premissas, ou ainda que a conclusão seja uma inferência decorrente das premissas.
Vale ressaltar que há uma grande diferença em argumentos validos e verdadeiros. Se numa frase as premissas estão bem específicas e de forma que as frases tenham alguma conclusão, não necessariamente o resultado é verdadeiro.

]]> 2021-08-07 12:30:10 UTC https://padlet.com/paulomagalhaes1206/p51px9fk1g3015r2/wish/1671657479