Lógica computacional by Michael Santos https://padlet.com/michaelvsantos17/twwqzn8wf29xk8ms Feito para explicar alguns conceitos de lógica en-us 2022-08-22 10:35:08 UTC 2022-08-22 11:06:57 UTC hello@padlet.com Lógica: michaelvsantos17 https://padlet.com/michaelvsantos17/twwqzn8wf29xk8ms/wish/2267261644 Lógica tem origem na palavra grega logos, que significa razão, argumentação ou fala. A ideia de falar e argumentar pressupõe que o que está sendo dito possua um sentido para aquele que ouver. Esse sentido fundamenta-se na estrutura lógica, quando algo "tem lógica" que dizer que faz sentido, é uma argumentação racional]]> 2022-08-22 10:42:23 UTC https://padlet.com/michaelvsantos17/twwqzn8wf29xk8ms/wish/2267261644 Preposição: michaelvsantos17 https://padlet.com/michaelvsantos17/twwqzn8wf29xk8ms/wish/2267263094 É uma sentença declarativa, seja ela espressada de forma afirmativa ou negativa, na qual podemos atribuir um valor lógico "verdadeiro' ou "falso".]]> 2022-08-22 10:45:39 UTC https://padlet.com/michaelvsantos17/twwqzn8wf29xk8ms/wish/2267263094 Premissa: michaelvsantos17 https://padlet.com/michaelvsantos17/twwqzn8wf29xk8ms/wish/2267265180 É um conjunto de uma ou mais de uma sentença declarativa que é acompanhada de uma outra frase declarativa que é a conclusão. A verdade da conclusão é uma consequência lógica das premissas que antecederam. Portanto, as premissas são as proposições que justificam a conclusão obtida.]]> 2022-08-22 10:49:44 UTC https://padlet.com/michaelvsantos17/twwqzn8wf29xk8ms/wish/2267265180 Argumentação: michaelvsantos17 https://padlet.com/michaelvsantos17/twwqzn8wf29xk8ms/wish/2267266887
Um argumento é uma construção lógica resultante de dois tipos de declarações: Premissas e conclusões.
Todo argumento é formado por uma ou mais premissas (que são um tipo de declaração) e por UMA ÚNICA conclusão.
As premissas são as declarações que tentam determinar o grau de veracidade da conclusão (que, por sua vez, é uma outra declaração).

]]> 2022-08-22 10:52:55 UTC https://padlet.com/michaelvsantos17/twwqzn8wf29xk8ms/wish/2267266887 Silogismo: michaelvsantos17 https://padlet.com/michaelvsantos17/twwqzn8wf29xk8ms/wish/2267268271 Silogismos lógicos nada mais são do que um conjunto de três proposições sendo duas delas chamadas premissas e a outra a conclusão. Na verdade silogismos são argumentos dedutivos válidos, isto é, argumentos nos quais sendo as premissas verdadeiras é impossível que a conclusão também não a seja.]]> 2022-08-22 10:55:25 UTC https://padlet.com/michaelvsantos17/twwqzn8wf29xk8ms/wish/2267268271 Falácia: michaelvsantos17 https://padlet.com/michaelvsantos17/twwqzn8wf29xk8ms/wish/2267269323 Uma falácia lógica é um erro de raciocínio. Falácias lógicas são como truques ou ilusões de pensamento, e são frequentemente utilizadas muito sorrateiramente por políticos ou pela mídia para influenciar pessoas.]]> 2022-08-22 10:57:06 UTC https://padlet.com/michaelvsantos17/twwqzn8wf29xk8ms/wish/2267269323 Inferência: michaelvsantos17 https://padlet.com/michaelvsantos17/twwqzn8wf29xk8ms/wish/2267275826 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 é reduzir um resultado, por lógica, com base na interpretação de outras informaçoes.
Existem 3 tipos de Inferência que são:

1-Dedução. Dedução é o processo de derivar uma conclusão dos axiomas e fatos dados. ...
2-Indução. Por outro lado, indução implica derivar uma regra geral (também chamada axioma) de observações particulares ou específicas.
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.
]]> 2022-08-22 11:06:35 UTC https://padlet.com/michaelvsantos17/twwqzn8wf29xk8ms/wish/2267275826