Fórum de Lógica Computacional by Anderson Alves Edição https://padlet.com/webtvtx/sa50r4zszljrx9x5 en-us 2022-10-17 22:55:31 UTC 2022-10-17 23:16:48 UTC hello@padlet.com O que é lógica? webtvtx https://padlet.com/webtvtx/sa50r4zszljrx9x5/wish/2344073006 A lógica computacional pode ser entendida como a relação entre a lógica formal, mais tradicional, e a computação. Trata-se de um modo de pensar e estruturar ideias para escrever um software ou um algoritmo.]]> 2022-10-17 22:59:41 UTC https://padlet.com/webtvtx/sa50r4zszljrx9x5/wish/2344073006 O que é Proposição? webtvtx https://padlet.com/webtvtx/sa50r4zszljrx9x5/wish/2344073901 Proposição: É uma sentença declarativa, seja ela expressa de forma afirmativa ou negativa, na qual podemos atribuir um valor lógico “V” (verdadeiro) ou “F”(falso). Uma proposição também pode ser expressa por símbolos.]]> 2022-10-17 23:01:04 UTC https://padlet.com/webtvtx/sa50r4zszljrx9x5/wish/2344073901 O que são Premissas? webtvtx https://padlet.com/webtvtx/sa50r4zszljrx9x5/wish/2344074652 PREMISSA: Uma afirmação usada num argumento para sustentar uma conclusão. Por exemplo, a premissa do argumento "O aborto não é permissível porque a vida é sagrada" é a afirmação "A vida é sagrada".]]> 2022-10-17 23:02:14 UTC https://padlet.com/webtvtx/sa50r4zszljrx9x5/wish/2344074652 O que são Argumentos? webtvtx https://padlet.com/webtvtx/sa50r4zszljrx9x5/wish/2344077632 Os argumentos são normalmente baseados em premissas que ajudam a construir uma conclusão. No entanto, todas as premissas devem ter como alicerce um sentido lógico, caso contrário o resultado final pode não ser verdadeiro ou válido.]]> 2022-10-17 23:07:01 UTC https://padlet.com/webtvtx/sa50r4zszljrx9x5/wish/2344077632 O que é Silogismo? webtvtx https://padlet.com/webtvtx/sa50r4zszljrx9x5/wish/2344078328 O silogismo é a estrutura básica de um argumento ou um raciocínio dedutivo, o qual é formado por três proposições que estão interligadas.

Na filosofia, o silogismo é parte integrante da lógica aristotélica e está baseado na dedução. Ou seja, parte de afirmações verdadeiras para uma nova afirmação também verdadeira.

]]> 2022-10-17 23:08:07 UTC https://padlet.com/webtvtx/sa50r4zszljrx9x5/wish/2344078328 O que é Falácia? webtvtx https://padlet.com/webtvtx/sa50r4zszljrx9x5/wish/2344079076 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.]]> 2022-10-17 23:09:11 UTC https://padlet.com/webtvtx/sa50r4zszljrx9x5/wish/2344079076 O que é inferência? Quais os tipos? webtvtx https://padlet.com/webtvtx/sa50r4zszljrx9x5/wish/2344081022 Uma inferência é uma conclusão ou opinião alcançada levando em consideração evidências ou fatos conhecidos. Na lógica, uma inferência é definida como o processo de derivar consequências lógicas das suposições assumidas.

Uma premissa também é definida como uma afirmação dada como verdadeira e da qual é tirada uma conclusão.

Os 3 tipos de inferência

1- Dedução
Dedução é o processo de derivar uma conclusão dos axiomas e fatos dados. Ou seja, tire uma conclusão com base nos conhecimentos e observações disponíveis.

A conclusão pode ser tirada aplicando a regra do modus ponens . Esta regra de inferência afirma que, se for sabido que P e P → Q são verdadeiros, pode-se concluir que Q também deve ser verdadeiro. Inferência por dedução também é conhecida como inferência lógica.

2- Indução
Por outro lado, indução implica derivar uma regra geral (também chamada axioma) de observações particulares ou específicas.

Esse tipo de raciocínio é o oposto do dedutivo. Basicamente, significa extrair conclusões ou inferências de vários dados, indo do específico para o geral. Os cientistas usam o raciocínio indutivo para formar hipóteses e teorias.

3- Rapto
Esse tipo de inferência começa com um conjunto incompleto de observações, resultando na explicação mais provável possível.

Baseia-se na criação e teste de hipóteses, utilizando as melhores informações disponíveis. Geralmente envolve fazer uma suposição após observar um fenômeno para o qual não há uma explicação clara.



]]> 2022-10-17 23:12:04 UTC https://padlet.com/webtvtx/sa50r4zszljrx9x5/wish/2344081022