Lógica Computacional by carlos rezende https://padlet.com/rezendepqdt/ztnmfrnev4fk171q UNOPAR - Fórum 2º Período en-us 2021-08-25 01:01:35 UTC 2021-08-25 02:59:31 UTC hello@padlet.com O que é Logica computacional? rezendepqdt https://padlet.com/rezendepqdt/ztnmfrnev4fk171q/wish/1694850107 A logica computacional é a linguagem por trás das funçoes de um computador. Usando elementos da lógica tradicional e da computação criando assim comandos, software e algoritimos. ]]> 2021-08-25 01:41:12 UTC https://padlet.com/rezendepqdt/ztnmfrnev4fk171q/wish/1694850107 Tabela verdade rezendepqdt https://padlet.com/rezendepqdt/ztnmfrnev4fk171q/wish/1694876621  Tabela verdade é um dispositivo utilizado no estudo da lógica matemática. Em lógica, as proposições representam pensamentos completos e indicam afirmações de fatos ou ideias.
Para combinar proposições simples e formar proposições compostas são utilizados conectivos lógicos.]]> 2021-08-25 01:49:23 UTC https://padlet.com/rezendepqdt/ztnmfrnev4fk171q/wish/1694876621 Tabela verdade: Principais conectivos rezendepqdt https://padlet.com/rezendepqdt/ztnmfrnev4fk171q/wish/1694898403 2021-08-25 01:57:00 UTC https://padlet.com/rezendepqdt/ztnmfrnev4fk171q/wish/1694898403 Lógica rezendepqdt https://padlet.com/rezendepqdt/ztnmfrnev4fk171q/wish/1695031024  Segundo Forbellone (2005, p. 1), lógica é a “arte de bem pensar”, que é a “ciência das formas do pensamento”. Visto que a forma mais complexa do pensamento é o raciocínio, a lógica estuda a correção do raciocínio; podemos então enxergá-la simplesmente como uma maneira dos seres humanos raciocinarem ou mesmo como um encadeamento de fatos ou uma organização de técnica ou ciência pura, como, por exemplo, a matemática. ]]> 2021-08-25 02:43:17 UTC https://padlet.com/rezendepqdt/ztnmfrnev4fk171q/wish/1695031024 Lógica para Aristóteles rezendepqdt https://padlet.com/rezendepqdt/ztnmfrnev4fk171q/wish/1695069001 Para Aristóteles, a lógica não é ciência e sim um instrumento (órganon) para o correto pensar. O objeto da lógica é o silogismo.

Silogismo nada mais é do que um argumento constituído de proposições das quais se infere (extrai) uma conclusão. Assim, não se trata de conferir valor de verdade ou falsidade às proposições (frases ou premissas dadas) nem à conclusão, mas apenas de observar a forma como foi constituído. É um raciocínio mediado que fornece o conhecimento de uma coisa a partir de outras coisas (buscando, pois, sua causa).



]]> 2021-08-25 02:56:36 UTC https://padlet.com/rezendepqdt/ztnmfrnev4fk171q/wish/1695069001