Favoritos by https://padlet.com/keven01david/Bookmarks Criado com um passe de mágica en-us 2021-08-25 23:43:56 UTC 2021-08-26 00:09:37 UTC hello@padlet.com Lógica Formal keven01david https://padlet.com/keven01david/Bookmarks/wish/1697000543 A lógica é chama de formal quando analisa e representa a forma de qualquer argumento para que possa ser válido para alguma conclusão.
 Lógica dedutiva
A lógica dedutiva busca analisar várias informações em busca de um único resultado, partindo-se do geral para o específico. Por exemplo: temos que descobrir a cor de determinado lápis que foi tirado da segunda gaveta de um armário. Também é aquela que parte de premissas afirmativas ou leis mais gerais permitindo a obtenção de verdades menos gerais ou particulares.

 Lógica indutiva se preocupa com argumentos que permitem conclusões gerais a partir de casos pessoais, É pautado no papel das premissas que fornecem um forte apoio à conclusão. Mas, no que diz respeito à verdade da conclusão já não se garante. Isso acontece porque se trata de um tipo de raciocínio que não faz uso das leis universais – tais como as leis da lógica – para que seja possível chegar a uma solução para o problema determinado inicialmente.]]> 2021-08-25 23:50:43 UTC https://padlet.com/keven01david/Bookmarks/wish/1697000543 Lógica Computacional keven01david https://padlet.com/keven01david/Bookmarks/wish/1697033212 A lógica computacional é a linguagem por trás das funções de um computador. Ela usa elementos da lógica tradicional e da computação para criar comandos e desenvolver softwares ou algoritmos.

Nesse sentido, é preciso seguir um raciocínio organizado e complexo, o qual faz parte do pensamento computacional. Este, por sua vez, envolve os recursos necessários para encontrar soluções a partir da tecnologia.

Ainda que pareça algo muito específico, a lógica computacional desenvolve habilidades importantes em nosso cotidiano e trabalha com ferramentas já presentes em nossa vida, por exemplo, o computador e o celular. Dessa forma, possibilita aprender a resolver os problemas de maneira organizada e objetiva, sendo essencial ao bom desenvolvimento.]]> 2021-08-26 00:08:29 UTC https://padlet.com/keven01david/Bookmarks/wish/1697033212