Lógica Computacional by Bruno Cunha https://padlet.com/brunoxyt2016/lcdc13odh9og1vah Criado com uma piscada e um sorriso en-us 2021-08-06 23:14:38 UTC 2021-08-06 23:40:31 UTC hello@padlet.com CONCEITOS brunoxyt2016 https://padlet.com/brunoxyt2016/lcdc13odh9og1vah/wish/1671412356 Para melhorar o entendimento da lógica, é necessário conhecer as definições de alguns termos importantes e muito utilizados na lógica.
Iremos separá-las em cinco tópicos.]]> 2021-08-06 23:29:02 UTC https://padlet.com/brunoxyt2016/lcdc13odh9og1vah/wish/1671412356 Proposição: brunoxyt2016 https://padlet.com/brunoxyt2016/lcdc13odh9og1vah/wish/1671412986 Consiste em um enunciado, uma frase declarativa.]]> 2021-08-06 23:31:08 UTC https://padlet.com/brunoxyt2016/lcdc13odh9og1vah/wish/1671412986 Premissas: brunoxyt2016 https://padlet.com/brunoxyt2016/lcdc13odh9og1vah/wish/1671413130 Consistem em proposições que são utilizadas como base para um raciocínio. Pode-se dizer que são as proposições do silogismo.]]> 2021-08-06 23:31:37 UTC https://padlet.com/brunoxyt2016/lcdc13odh9og1vah/wish/1671413130 Argumento: brunoxyt2016 https://padlet.com/brunoxyt2016/lcdc13odh9og1vah/wish/1671413349 Conjunto de enunciados que se relacionam uns com os outros.]]> 2021-08-06 23:32:24 UTC https://padlet.com/brunoxyt2016/lcdc13odh9og1vah/wish/1671413349 Silogismo: brunoxyt2016 https://padlet.com/brunoxyt2016/lcdc13odh9og1vah/wish/1671413472 Consiste em um raciocínio dedutivo (premissas) e possibilita a dedução de uma conclusão a partir das premissas.]]> 2021-08-06 23:32:48 UTC https://padlet.com/brunoxyt2016/lcdc13odh9og1vah/wish/1671413472 Falácia: brunoxyt2016 https://padlet.com/brunoxyt2016/lcdc13odh9og1vah/wish/1671413561 Consiste em argumentos que logicamente estão incorretos.]]> 2021-08-06 23:33:06 UTC https://padlet.com/brunoxyt2016/lcdc13odh9og1vah/wish/1671413561 Lógica Formal brunoxyt2016 https://padlet.com/brunoxyt2016/lcdc13odh9og1vah/wish/1671413870 Começa nos estudos de Aristóteles, na Grécia Antiga. A lógica é dita formal quando analisa e representa a forma de qualquer argumento para que possa ser considerado válido para alguma conclusão. 

Para se entender a lógica formal e como formamos nosso raciocínio é importante ter em mente alguns conceitos. Uma proposição é um pensamento em forma de frase declarativa. Essa proposição pode ser verdadeira ou falsa. A lógica não permite concluir se uma proposição ou afirmação é verdadeira ou falsa, ela apenas garante que, com base em premissas verdadeiras, seja possível chegar a conclusões verdadeiras. 

Portanto, temos que as premissas podem ser verdadeiras ou falsas.

]]> 2021-08-06 23:34:14 UTC https://padlet.com/brunoxyt2016/lcdc13odh9og1vah/wish/1671413870 Lógica dedutiva brunoxyt2016 https://padlet.com/brunoxyt2016/lcdc13odh9og1vah/wish/1671414565 É aquela que parte de premissas afirmativas ou leis mais gerais permitindo a obtenção de verdades menos gerais ou particulares. Vamos a um exemplo de inferência dedutiva ou dedução?

Todo o analista de sistemas sabe programar.

Mariana é analista de sistemas.

Portanto, Mariana sabe programar.

 Aqui, partimos de uma informação geral sobre as habilidades dos analistas de sistemas para concluir sobre as habilidades de Mariana. Com base na afirmativa geral, tomada como verdadeira, a conclusão é inevitável. Chamamos Silogismo esse tipo de argumentação lógica.

]]> 2021-08-06 23:36:37 UTC https://padlet.com/brunoxyt2016/lcdc13odh9og1vah/wish/1671414565 Lógica indutiva brunoxyt2016 https://padlet.com/brunoxyt2016/lcdc13odh9og1vah/wish/1671414941 Se preocupa com argumentos que permitem conclusões gerais a partir de casos particulares. Vamos a um exemplo de inferência indutiva ou indução?

 Mariana é analista de sistemas e sabe programar.

Enzo é analista de sistemas e sabe programar.

Sabrina é analista de sistemas e sabe programar.

(...)

Portanto, todos os analistas de sistemas sabem programar.

Observe que, ao consultar dezenas ou centenas de analistas de sistemas, chegamos a uma conclusão geral com relação a eles. Um cuidado a ser tomado com a lógica indutiva é que um único contraexemplo é capaz de invalidar todo um raciocínio.

]]> 2021-08-06 23:37:58 UTC https://padlet.com/brunoxyt2016/lcdc13odh9og1vah/wish/1671414941