Forum 1 - Lógica Computacional by Luiz Felipe https://padlet.com/lffgoulart/logica_computacional en-us 2022-10-18 01:42:14 UTC 2022-10-18 02:32:33 UTC hello@padlet.com O que é lógica? lffgoulart https://padlet.com/lffgoulart/logica_computacional/wish/2344295373 Para o conceito de lógica temos dois significados: 

Primeiramente pode ser considerada o uso de raciocínio para alguma atividade específica, o estudo normativo, filosófico do raciocínio válido. 

Já em outro sentido temos a lógica como o raciocínio desenvolvido com o intuito de solucionar um problema em meios matemáticos ou em meios de desenvolvimento de programas assim como na engenharia de software.]]> 2022-10-18 02:14:47 UTC https://padlet.com/lffgoulart/logica_computacional/wish/2344295373 O que é proposição? lffgoulart https://padlet.com/lffgoulart/logica_computacional/wish/2344295552 Proposição pode ser definido pelo conjunto de palavras ou caracteres que definam um sentido. Uma proposição não pode ser falsa e verdadeira ao mesmo tempo. O intuito dela é chegar a uma conclusão.]]> 2022-10-18 02:14:56 UTC https://padlet.com/lffgoulart/logica_computacional/wish/2344295552 O que são premissas? lffgoulart https://padlet.com/lffgoulart/logica_computacional/wish/2344295753 As premissas podem ser consideradas como um conjunto de proposições, contendo informações e sentidos de valores com o intuito de justificar uma possível conclusão.]]> 2022-10-18 02:15:05 UTC https://padlet.com/lffgoulart/logica_computacional/wish/2344295753 O que são argumentos? lffgoulart https://padlet.com/lffgoulart/logica_computacional/wish/2344296125 Um argumento pode ser definido como uma sequência de proposições a fim de justificar uma conclusão. 

Na programação, argumentos são as variáveis que contem valores passadas para funções a fim de carregar certa informação para uma execução específica.]]> 2022-10-18 02:15:21 UTC https://padlet.com/lffgoulart/logica_computacional/wish/2344296125 O que é silogismo? lffgoulart https://padlet.com/lffgoulart/logica_computacional/wish/2344296777 O silogismo é a construção de um raciocino a fim de encontrar os argumentos lógicos que seguem uns aos outros com o intuito de chegar em uma possível solução. Pode-se também conter o sentido de ser a conclusão da dedução das premissas segundo Aristóteles.]]> 2022-10-18 02:15:49 UTC https://padlet.com/lffgoulart/logica_computacional/wish/2344296777 O que é Falácia? lffgoulart https://padlet.com/lffgoulart/logica_computacional/wish/2344297029 A falácia pode ser caracterizada como argumentos lógicos que se tornam redundantes e incorretos, que por sua vez não cumprem com o objetivo.]]> 2022-10-18 02:16:00 UTC https://padlet.com/lffgoulart/logica_computacional/wish/2344297029 O que é inferência? Quais os tipos? lffgoulart https://padlet.com/lffgoulart/logica_computacional/wish/2344297416 Inferência é caracterizada como a operação mental em que temos uma ou mais proposições outra ou outras que nela estava já implicitamente contida. As inferências podem ser divididas em dois tipos sendo imediatas e mediatas.

1) A inferência imediata consiste em extrair de uma só proposição outra proposição, à qual se atribui o valor de verdade ou falsidade. A inferência imediata pode ser obtida por oposição ou conversão.

2) A inferência mediata consiste numa conclusão obtida a partir de duas ou mais proposições. Este tipo de inferências podem ser de três tipos: analógicas, indutivas e dedutivas. 
]]> 2022-10-18 02:16:20 UTC https://padlet.com/lffgoulart/logica_computacional/wish/2344297416