Lógica Computacional by Gabriel Xavier https://padlet.com/gabrielxq97/logicacomputacional Padlet criado para realização da atividade de Lógica Computacional en-us 2022-08-16 12:50:24 UTC 2022-08-16 13:07:33 UTC hello@padlet.com https://padlet.net/icons/png/1f5b1.png O que é lógica? gabrielxq97 https://padlet.com/gabrielxq97/logicacomputacional/wish/2262205991 A lógica é um dos campos da filosofia, e pode ser considerada uma disciplina introdutória para qualquer estudo filosófico. Isso acontece porque a lógica lida com raciocínios e argumentos, e raciocínios e argumentos fazem parte de qualquer reflexão filosófica, seja ela no campo da teoria do conhecimento, da ética, da filosofia política ou da estética.
Em TI, a Lógica organiza a elaboração das instruções inseridas dentro dos algoritmos, detalhando cada ação a ser executada, para que um computador possa lê-las de maneira coerente, a fim de executá-las perfeitamente.]]> 2022-08-16 12:54:04 UTC https://padlet.com/gabrielxq97/logicacomputacional/wish/2262205991 O que é Proposição? gabrielxq97 https://padlet.com/gabrielxq97/logicacomputacional/wish/2262206825 A proposição lógica é definida como toda oração que declare algo, podendo ser valorada como verdadeira ou falsa, sem casos em que ela se encaixe nas duas opções. Dessa maneira, a frase deverá ter um sujeito e um predicado para que o candidato compreenda.]]> 2022-08-16 12:55:13 UTC https://padlet.com/gabrielxq97/logicacomputacional/wish/2262206825 O que são Premissas? gabrielxq97 https://padlet.com/gabrielxq97/logicacomputacional/wish/2262207619 Premissas são um conjunto onde uma ou mais sentenças declarativas são acompanhadas de uma outra, também declarativa, para se chegar a uma conclusão que não admite refutação. Assim, a conclusão é uma consequência lógica das afirmações, ou premissas, que a antecederam.]]> 2022-08-16 12:56:21 UTC https://padlet.com/gabrielxq97/logicacomputacional/wish/2262207619 O que são Argumentos? gabrielxq97 https://padlet.com/gabrielxq97/logicacomputacional/wish/2262208693
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.
O objetivo principal de um argumento é “buscar a verdade”. Num mundo perfeito, os argumentos deveriam ser, todos eles, construídos com o objetivo de expor a verdade e de ajudar as pessoas a pensarem melhor, de forma mais lógica e racional.

]]> 2022-08-16 12:57:48 UTC https://padlet.com/gabrielxq97/logicacomputacional/wish/2262208693 O que é Silogismo? gabrielxq97 https://padlet.com/gabrielxq97/logicacomputacional/wish/2262209602 O significado de silogismo foi elaborado por Aristóteles (384 a.C. – 322 a.C.). De acordo com o importante filósofo da Grécia Antiga, esse conceito diz respeito a uma conclusão obtida através da consideração de premissas.
É necessário partir de duas premissas para que haja a possibilidade de tirar de duas propostas as partes mais próximas da verdade para então chegar a uma conclusão. No entanto, Aristóteles propunha que fossem consideradas três proposições diferentes para que se chegasse a um resultado mais adequado e confiável. ]]> 2022-08-16 12:58:56 UTC https://padlet.com/gabrielxq97/logicacomputacional/wish/2262209602 O que é Falácia? gabrielxq97 https://padlet.com/gabrielxq97/logicacomputacional/wish/2262211206 Para a lógica, uma falácia é uma refutação aparente que se utiliza para defender algo falso, expondo premissas falsas como sendo verdadeiras. Trata-se de um raciocínio que aparenta ser lógico, mas cujo resultado é independente da veracidade das premissas.
A falácia lógica, como tal, implica uma aplicação incorreta de um princípio lógico válido. Também pode ser formada pela aplicação de um princípio inexistente.
]]> 2022-08-16 13:01:04 UTC https://padlet.com/gabrielxq97/logicacomputacional/wish/2262211206 O que é inferência? Quais os tipos? gabrielxq97 https://padlet.com/gabrielxq97/logicacomputacional/wish/2262213318 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 inferência imediata consiste em extrair de uma só proposição outra proposição, à qual se atribui o valor de verdade ou falsidade. Ela pode ser obtida por oposição ou conversão.
-A inferência mediata consiste numa conclusão obtida a partir de duas ou mais proposições.
]]> 2022-08-16 13:03:39 UTC https://padlet.com/gabrielxq97/logicacomputacional/wish/2262213318