https://padlet.com/feemites1/wow4tw42sfcp9nj5 Fórum de Lógica Computacional en-us 2022-08-12 21:41:39 UTC 2022-08-12 22:23:10 UTC hello@padlet.com https://padlet.net/icons/png/1f92a.png feemites1 https://padlet.com/feemites1/wow4tw42sfcp9nj5/wish/2260124527 FILOSOFIA
Parte da filosofia que trata das formas do pensamento em geral (dedução, indução, hipótese, inferência etc.) e das operações intelectuais que visam à determinação do que é verdadeiro ou não.
POR METONÍMIA
Tratado, compêndio de lógica.

]]> 2022-08-12 21:45:18 UTC https://padlet.com/feemites1/wow4tw42sfcp9nj5/wish/2260124527 feemites1 https://padlet.com/feemites1/wow4tw42sfcp9nj5/wish/2260126524 Uma proposição é uma sentença declarativa que admite um e somente um dos dois valores lógicos – V ou F. Observe alguns exemplos de proposições: Curitiba é a capital do Paraná. É uma proposição cujo valor lógico é V.]]> 2022-08-12 21:52:04 UTC https://padlet.com/feemites1/wow4tw42sfcp9nj5/wish/2260126524 feemites1 https://padlet.com/feemites1/wow4tw42sfcp9nj5/wish/2260128029 Premissa significa a proposição, o conteúdo, as informações essenciais que servem de base para um raciocínio, para um estudo que levará a uma conclusão. Em lógica a premissa significa cada uma das proposições de um silogismo.
As premissas são sentenças consideradas como verdades que não podemos necessariamente comprovar, pois elas dependem de fatores externos. Podemos, por exemplo, considerar como premissa do projeto Construção de um prédio a seguinte frase: “Não irá faltar operário durante a obra”.]]> 2022-08-12 21:56:46 UTC https://padlet.com/feemites1/wow4tw42sfcp9nj5/wish/2260128029 feemites1 https://padlet.com/feemites1/wow4tw42sfcp9nj5/wish/2260129112 Um argumento representa o valor que você passa para um parâmetro de procedimento, quando você chama o procedimento. O código de chamada fornece os argumentos quando chama o procedimento. A maioria dos programadores utiliza estes termos sem distinção de significado.]]> 2022-08-12 22:00:33 UTC https://padlet.com/feemites1/wow4tw42sfcp9nj5/wish/2260129112 feemites1 https://padlet.com/feemites1/wow4tw42sfcp9nj5/wish/2260130839 Silogismo, que tem origem na palavra grega syllogismos (“conclusão” ou “inferência”), é uma forma de raciocínio baseada na dedução. Esta linha de pensamento, criada pelo filósofo Aristóteles, utiliza duas preposições iniciais para se chegar a uma terceira, que no caso é a conclusão.

O chamado silogismo aristotélico é formado por três principais características: mediado, dedutivo e necessário.

1ª Regra: somente três termos (menor, médio e maior). 2ª Regra: os termos maior e menor nunca devem ter maior extensão na conclusão do que nas premissas. 3ª Regra: o termo médio nunca deve aparecer na conclusão. 4ª Regra: o termo médio deve ser tomado universalmente ao menos uma vez.

]]> 2022-08-12 22:06:14 UTC https://padlet.com/feemites1/wow4tw42sfcp9nj5/wish/2260130839 feemites1 https://padlet.com/feemites1/wow4tw42sfcp9nj5/wish/2260131691 Falácia: consiste em argumentos que logicamente estão incorretos.
A falácia é um tipo de argumento utilizado com a intenção de parecer correto, porém quem opta por esse recurso geralmente omite algumas informações por trás do discurso. Por definição, a falácia se refere a qualquer ideia equivocada ou falsa crença em algo. Como, por exemplo, na frase “nenhum homem presta”.]]> 2022-08-12 22:08:58 UTC https://padlet.com/feemites1/wow4tw42sfcp9nj5/wish/2260131691 feemites1 https://padlet.com/feemites1/wow4tw42sfcp9nj5/wish/2260135116 A inferência de tipos é uma técnica usada por linguagens tipadas estaticamente, em que os tipos de variáveis podem ser inferidos do contexto pelo compilador. As linguagens variam no uso e interpretação da inferência de tipos, que geralmente fornece ao programador uma opção, não uma obrigação.
A inferência de tipos é uma técnica usada por linguagens tipadas estaticamente, em que os tipos de variáveis podem ser inferidos do contexto pelo compilador. As linguagens variam no uso e interpretação da inferência de tipos, que geralmente fornece ao programador uma opção, não uma obrigação.]]> 2022-08-12 22:21:43 UTC https://padlet.com/feemites1/wow4tw42sfcp9nj5/wish/2260135116