Lógica Computacional by Eduardo Bochnia Ferreira https://padlet.com/eduardoardo_bf/4tgmmbsqkmuazbef en-us 2022-10-10 22:56:22 UTC 2022-10-10 23:22:42 UTC hello@padlet.com O que é lógica? eduardoardo_bf https://padlet.com/eduardoardo_bf/4tgmmbsqkmuazbef/wish/2334271684
A palavra lógica pode denotar tanto um conjunto de regras racionais para a obtenção de um conhecimento quanto a área da filosofia que estuda a validade formal das proposições linguísticas e matemáticas.]]> 2022-10-10 22:57:18 UTC https://padlet.com/eduardoardo_bf/4tgmmbsqkmuazbef/wish/2334271684 O que é proposição? eduardoardo_bf https://padlet.com/eduardoardo_bf/4tgmmbsqkmuazbef/wish/2334274865 A noção de proposição pode ter diferentes alcances específicos. No que diz respeito à matemática, as proposições são enunciados que podem ser verdadeiros ou falsos. A verdade da proposição já pode aparecer demonstrada ou é precisamente aquilo que se pretende demonstrar.
Para a gramática, uma proposição é uma unidade lógica e semântica que conta com um sentido completo. Pode associar-se o termo à ideia de oração, embora com acepções diferentes.
Em todos os casos, pode-se dizer que uma proposição é uma entidade que acarreta um valor de verdade. Trata-se de uma construção lógica que é comunicada através da linguagem (seja coloquial, simbólico ou formal).]]> 2022-10-10 23:03:46 UTC https://padlet.com/eduardoardo_bf/4tgmmbsqkmuazbef/wish/2334274865 O que são premissas? eduardoardo_bf https://padlet.com/eduardoardo_bf/4tgmmbsqkmuazbef/wish/2334276377 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.]]> 2022-10-10 23:06:33 UTC https://padlet.com/eduardoardo_bf/4tgmmbsqkmuazbef/wish/2334276377 O que são argumentos? eduardoardo_bf https://padlet.com/eduardoardo_bf/4tgmmbsqkmuazbef/wish/2334277099 Argumentos são ideias lógicas relacionadas entre si e com o propósito de esclarecer e resolver determinada situação ou dúvida. Os argumentos são normalmente baseados em premissas que ajudam a construir uma conclusão.]]> 2022-10-10 23:07:38 UTC https://padlet.com/eduardoardo_bf/4tgmmbsqkmuazbef/wish/2334277099 O que é silogismo? eduardoardo_bf https://padlet.com/eduardoardo_bf/4tgmmbsqkmuazbef/wish/2334279015 Silogismo nada mais é do que um argumento constituído de proposições das quais se infere uma conclusão.
Assim, não se trata de conferir valor de verdade ou falsidade ás proposições 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.]]> 2022-10-10 23:10:53 UTC https://padlet.com/eduardoardo_bf/4tgmmbsqkmuazbef/wish/2334279015 O que é falácia? eduardoardo_bf https://padlet.com/eduardoardo_bf/4tgmmbsqkmuazbef/wish/2334280032 Falácia é um raciocínio que parece lógico e verdadeiro, porém existe alguma falha que o faz ser falso.]]> 2022-10-10 23:12:35 UTC https://padlet.com/eduardoardo_bf/4tgmmbsqkmuazbef/wish/2334280032 O que é inferência? eduardoardo_bf https://padlet.com/eduardoardo_bf/4tgmmbsqkmuazbef/wish/2334285492 Inferência é uma dedução feita com base em informações ou um raciocínio que usa dados disponíveis para se chegar a uma conclusão.
Inferir é deduzir um resultado, por lógica, com base na interpretação de outras informações. Inferir também pode significar chegar a uma conclusão a partir de outras percepções ou da análise de um ou mais argumentos.
As inferências podem ser divididas em dois tipos: imediatas e mediatas.
a) 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.
b) 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-10 23:21:33 UTC https://padlet.com/eduardoardo_bf/4tgmmbsqkmuazbef/wish/2334285492