Lógica Computacional by https://padlet.com/guilhermesalvador/7ife6lzll4pevywn en-us 2022-08-11 14:09:30 UTC 2025-12-07 13:25:02 UTC hello@padlet.com O que é Lógica? guilhermesalvador https://padlet.com/guilhermesalvador/7ife6lzll4pevywn/wish/2259089750 Lógica Formal

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. 

]]> 2022-08-11 14:11:47 UTC https://padlet.com/guilhermesalvador/7ife6lzll4pevywn/wish/2259089750 O que é proposição? guilhermesalvador https://padlet.com/guilhermesalvador/7ife6lzll4pevywn/wish/2259091441 Consiste em um enunciado, uma frase declarativa. São sentenças as quais se aplicam os qualificativos “Falso” ou “Verdadeiro” 

]]> 2022-08-11 14:13:50 UTC https://padlet.com/guilhermesalvador/7ife6lzll4pevywn/wish/2259091441 O que são premissas? guilhermesalvador https://padlet.com/guilhermesalvador/7ife6lzll4pevywn/wish/2259092793 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. As premissas justificam a conclusão. As premissas são consideradas provas evidentes da verdade da conclusão, caso contrário não é válido. Considera-se válido quando, podemos dizer que a conclusão é uma consequência lógica das premissas, ou ainda que a conclusão seja uma inferência decorrente das premissas.


]]> 2022-08-11 14:15:29 UTC https://padlet.com/guilhermesalvador/7ife6lzll4pevywn/wish/2259092793 O que são Argumentos? guilhermesalvador https://padlet.com/guilhermesalvador/7ife6lzll4pevywn/wish/2259094476 É conjunto de enunciados que se relacionam uns com os outros. Um argumento é uma sequência de proposições que nada mais é que as sentenças afirmativas que podem ser verdadeiras ou falsas, na qual uma delas é a conclusão e as demais são premissas. As premissas justificam a conclusão.


]]> 2022-08-11 14:17:38 UTC https://padlet.com/guilhermesalvador/7ife6lzll4pevywn/wish/2259094476 O que é Silogismo? guilhermesalvador https://padlet.com/guilhermesalvador/7ife6lzll4pevywn/wish/2259096268 Consiste em um raciocínio dedutivo (premissas) e possibilita a dedução de uma conclusão a partir das premissas.  É 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.]]> 2022-08-11 14:19:54 UTC https://padlet.com/guilhermesalvador/7ife6lzll4pevywn/wish/2259096268 O que é falácia? guilhermesalvador https://padlet.com/guilhermesalvador/7ife6lzll4pevywn/wish/2259100349 Consiste em argumentos que logicamente estão incorretos, designa-se por falácia um raciocínio errado com aparência de verdadeiro. 
Na lógica e na retórica, uma falácia é um argumento logicamente incoerente, sem fundamento, inválido ou falho na tentativa de provar eficazmente o que alega.
]]> 2022-08-11 14:24:50 UTC https://padlet.com/guilhermesalvador/7ife6lzll4pevywn/wish/2259100349 O que é Inferência? Quais os Tipos? guilhermesalvador https://padlet.com/guilhermesalvador/7ife6lzll4pevywn/wish/2259104328 Inferência é o processo que permite chegar a conclusões a partir de premissas, constituindo a argumentação lógica perfeita. A inferência, pode ser de dois tipos: indutiva e dedutiva. Uma inferência inválida é chamada falácia.

Lógica Indutiva: Se preocupa com argumentos que permitem conclusões gerais a partir de casos particulares.

Lógica Dedutiva: É aquela que parte de premissas afirmativas ou leis mais gerais permitindo a obtenção de verdades menos gerais ou particulares.

]]> 2022-08-11 14:29:14 UTC https://padlet.com/guilhermesalvador/7ife6lzll4pevywn/wish/2259104328