LÓGICA COMPUTACIONAL by Fábia Mariana Polido Felício https://padlet.com/fabiamaripol/4xffhw9idpmq9rkk en-us 2022-08-22 00:15:20 UTC 2022-08-22 01:37:49 UTC hello@padlet.com https://padlet.net/icons/png/1f4bb.png O QUE É LÓGICA? fabiamaripol https://padlet.com/fabiamaripol/4xffhw9idpmq9rkk/wish/2266771392 A lógica computacional é a linguagem por trás das funções de um computador. Ela usa elementos da lógica tradicional e da computação para criar comandos e desenvolver softwares ou algoritmos. É preciso seguir um raciocínio organizado e complexo, o qual faz parte do pensamento computacional. Este, por sua vez, envolve os recursos necessários para encontrar soluções a partir da tecnologia.]]> 2022-08-22 00:27:31 UTC https://padlet.com/fabiamaripol/4xffhw9idpmq9rkk/wish/2266771392 O QUE É PROPOSIÇÃO? fabiamaripol https://padlet.com/fabiamaripol/4xffhw9idpmq9rkk/wish/2266779462 Em lógica é comum se falar de proposições, pois são elas as unidades básicas dos argumentos que a lógica analisa. É 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. Exemplo: Brasília é a capital do Brasil – É uma sentença declarativa expressa de forma afirmativa. Podemos atribuir um valor lógico, como a sentença é verdadeira seu valor lógico é “V”.]]> 2022-08-22 00:36:04 UTC https://padlet.com/fabiamaripol/4xffhw9idpmq9rkk/wish/2266779462 O QUE SÃO PREMISSAS? fabiamaripol https://padlet.com/fabiamaripol/4xffhw9idpmq9rkk/wish/2266785812 Premissa tem o significado de proposição, informações e dados que servirão de base para um raciocínio, análise de detalhes que levará a uma conclusão num estudo. Em lógica, um dos ramos aplicados nos ensinos de matemática, ciência da computação e filosofia, as premissas são as proposições de um silogismo. Ela (premissa), é 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-22 00:43:20 UTC https://padlet.com/fabiamaripol/4xffhw9idpmq9rkk/wish/2266785812 O QUE SÃO ARGUMENTOS? fabiamaripol https://padlet.com/fabiamaripol/4xffhw9idpmq9rkk/wish/2266796949 A noção de argumento é fundamental para a lógica. Argumento é um conjunto de enunciados que estão relacionados uns com os outros. Argumento é um raciocínio lógico. Observe o seguinte argumento: 
Todos os homens são mortais. 
Sócrates é homem.
 Logo, Sócrates é mortal.
 Este é um argumento formado por duas premissas e uma conclusão. Os dois primeiros enunciados são as premissas e o último enunciado é a conclusão. Os fatos apresentados nas premissas servem de evidência para a conclusão, isto é, são eles que sustentam a conclusão. Para que o argumento seja válido, não basta que a conclusão seja verdadeira. É preciso que as premissas e a conclusão estejam relacionadas corretamente. ]]> 2022-08-22 00:55:56 UTC https://padlet.com/fabiamaripol/4xffhw9idpmq9rkk/wish/2266796949 O QUE É SILOGISMO? fabiamaripol https://padlet.com/fabiamaripol/4xffhw9idpmq9rkk/wish/2266807573 É um tipo de argumento lógico que aplica o raciocínio dedutivo para extrair uma conclusão de duas ou mais proposições, que se supõe sejam verdadeiras. Em sua versão mais antiga, formulada pelo filósofo grego Aristóteles, um silogismo é formado por três proposições: uma afirmação geral, a qual chamamos premissa maior; seguida de uma proposição de afirmação específica, a qual chamamos premissa menor; e uma conclusão, ou consequente, que é deduzida das duas premissas.
A forma de uma silogismo é como segue:
Premissa maior: Todo M é P.
Premissa menor: S é M.
Conclusão: S é P.
Existe uma relação entre os termos que constituem as premissas. Existem infinitos silogismos, mas apenas 256 tipos lógicos e 24 formas válidas de se constituir um silogismo, todas respeitando a estrutura básica.


]]> 2022-08-22 01:09:20 UTC https://padlet.com/fabiamaripol/4xffhw9idpmq9rkk/wish/2266807573 O QUE É FALÁCIA? fabiamaripol https://padlet.com/fabiamaripol/4xffhw9idpmq9rkk/wish/2266814472 Falácias são argumentos que têm a pretensão de ser corretos e conclusivos mas que, no entanto, possuem algum erro em sua estrutura ou seu conteúdo. São erros que dizem respeito à forma de um raciocínio, independentemente de seu conteúdo, violando, assim, alguma regra formal das diversas que são tratadas no campo da lógica. O seguinte exemplo apresenta uma falácia:
Messi é craque
Cristiano Ronaldo é craque
Logo, Messi é Cristiano Ronaldo
O exemplo acima é um tipo do que chamamos de inferência lógica e pode ser logicamente apresentado da seguinte maneira:
A = B
C = B
C = A
]]> 2022-08-22 01:17:15 UTC https://padlet.com/fabiamaripol/4xffhw9idpmq9rkk/wish/2266814472 O QUE É INFERÊNCIA ? QUAIS OS TIPOS? fabiamaripol https://padlet.com/fabiamaripol/4xffhw9idpmq9rkk/wish/2266823023 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. Em alguns casos, a inferência não é logicamente derivável das suposições assumidas, mas tem um certo grau de probabilidade relativa. Ela também é um mecanismo pelo qual o raciocínio ocorre. Esses dois andam de mãos dadas e é essencial seguir um processo de inferência apropriado para garantir a validade do raciocínio. 
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.
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 01:25:52 UTC https://padlet.com/fabiamaripol/4xffhw9idpmq9rkk/wish/2266823023 PARTE DA LÓGICA COMPUTACIONAL QUE MAIS GOSTO. fabiamaripol https://padlet.com/fabiamaripol/4xffhw9idpmq9rkk/wish/2266832467 A parte que mais me interessa são as premissas, pois com elas temos informações e dados que servirão de base para um raciocínio, análise de detalhes que levará a uma conclusão num estudo. Gosto de "quebrar a cabeça", estudando e analisando para chegar ao resultado, apesar do processo ser bem divertido.]]> 2022-08-22 01:35:40 UTC https://padlet.com/fabiamaripol/4xffhw9idpmq9rkk/wish/2266832467