https://padlet.com/barbaramerigue/qhqb9uplrknfbw9a Painel onde se explora e apresenta conceitos lógicos usados na computação. en-us 2021-08-12 18:56:17 UTC 2025-11-06 22:45:45 UTC hello@padlet.com https://padlet.net/icons/png/1f47e.png barbaramerigue https://padlet.com/barbaramerigue/qhqb9uplrknfbw9a/wish/1677244902 A lógica é considerara pelos seus admiradores a "arte do pensar corretamente", mas também podemos definir como o estudo dos modos do pensamento correto. Sendo assim, esse estudo auxilia o entendimento prático do raciocínio quando formado além dos fundamentos de argumentos, premissas e conclusões, com princípios que ajudam na identificação de argumentos verdadeiros ou falsos.]]> 2021-08-12 19:09:30 UTC https://padlet.com/barbaramerigue/qhqb9uplrknfbw9a/wish/1677244902 barbaramerigue https://padlet.com/barbaramerigue/qhqb9uplrknfbw9a/wish/1677283226 A logica formal teve inicio na Grécia Antiga pelo grande Aristóteles, sendo esta definida como a lógica que lida com as relações de premissas e conclusões que podem ser consideradas falsas ou verdadeiras.
Dentro desse conceito temos a Lógica de Inferência, que se destrincha nos tipos dedutiva e indutiva. Quando uma inferência é falsa é chamada de falácia.]]> 2021-08-12 19:51:14 UTC https://padlet.com/barbaramerigue/qhqb9uplrknfbw9a/wish/1677283226 barbaramerigue https://padlet.com/barbaramerigue/qhqb9uplrknfbw9a/wish/1677319935 PREMISSAS: proposições que são utilizadas como base do raciocínio;
PROPOSIÇÃO: toda frase declarativa expressada em símbolos ou palavras que atribui a apenas 2 valores lógicos: verdadeiro ou falso;
ARGUMENTOS: conjunto de enunciados que se relacionam entre si;
FALÁCIA: argumentos logicamente incorretos. ]]> 2021-08-12 20:32:53 UTC https://padlet.com/barbaramerigue/qhqb9uplrknfbw9a/wish/1677319935 barbaramerigue https://padlet.com/barbaramerigue/qhqb9uplrknfbw9a/wish/1677422770 Dentro dessa lógica temos dois tipo: Indutiva e Dedutiva, mas quais são suas definições?
INDUTIVA: Verdades e fatos particulares na busca de uma conclusão geral.
DEDUTIVA: Premissas gerais que buscam concluir verdades especificas e particulares.

]]> 2021-08-12 23:02:42 UTC https://padlet.com/barbaramerigue/qhqb9uplrknfbw9a/wish/1677422770 barbaramerigue https://padlet.com/barbaramerigue/qhqb9uplrknfbw9a/wish/1677441038 Princípio lógico regido por 3 fundamentos: Identidade, Não-Contradição e Terceiro Excluído. Princípios esse que agem como leis para formulação de conclusões lógicas.
Definições dos Fundamentos:
Identidade: Proposição verdadeira é verdadeira. Proposição falsa é falsa.
Não-Contradição: Proposição não pode ser verdadeira e falsa ao mesmo tempo.
Terceiro Excluído: Toda proposição ou é verdadeira ou é falsa, não há possibilidade de 3 opção.]]> 2021-08-12 23:25:46 UTC https://padlet.com/barbaramerigue/qhqb9uplrknfbw9a/wish/1677441038 barbaramerigue https://padlet.com/barbaramerigue/qhqb9uplrknfbw9a/wish/1678533314 Inventor do sistema, George Boole, criou o primeiro sistema que lida em detalhes com a lógica e o cálculo, utilizando apenas dois números para distinguir verdadeiro e falso, que são respectivamente, 1 e 0.  Onde símbolos como + (adição) são representados pelo conectivo OU e  x (multiplicação) pelo conectivo E.]]> 2021-08-13 18:52:58 UTC https://padlet.com/barbaramerigue/qhqb9uplrknfbw9a/wish/1678533314 barbaramerigue https://padlet.com/barbaramerigue/qhqb9uplrknfbw9a/wish/1678539400 Idealizada por George Cantor, este seguimento da matemática contribuiu muito além da estrutura da lógica formal, mas também para a Matemática Moderna.]]> 2021-08-13 19:00:03 UTC https://padlet.com/barbaramerigue/qhqb9uplrknfbw9a/wish/1678539400 barbaramerigue https://padlet.com/barbaramerigue/qhqb9uplrknfbw9a/wish/1678542347 2021-08-13 19:03:19 UTC https://padlet.com/barbaramerigue/qhqb9uplrknfbw9a/wish/1678542347 barbaramerigue https://padlet.com/barbaramerigue/qhqb9uplrknfbw9a/wish/1678583576 A lógica também sendo a base da lógica computacional e estudada por grandes mentes, é possível ser aplicada em diversas situações do cotidiano, pode ser para situações simples como trocar os pneus do carro ou algo complexo como lidar com ações da bolsa de valores, sendo assim se há premissa > raciocínio > construção > resultado, já se considera um pensamento lógico.
Contudo, o estudo de seus fundamentos pode auxiliar na estruturação e conclusão de novas ideias e conceitos que podem ser extremamente importantes para a nossa evolução humana e tecnológica.
Como em um estudo feito pelas Alunas Jessica Silva e Alba Lopes da IFRN, que estimulam o ensino do pensamento computacional e lógico no ensino fundamental por meio da OBI ( Olimpíada Brasileira de Informática ) como incentivo as novas gerações a se interessarem mais por esse tipo de assunto, fomentando assim futuros programadores, cientistas e entre outros cargos envolvendo a lógica computacional.

Link do estudo citado acima:

https://br-ie.org/pub/index.php/sbie/article/view/8186%20acesso%2025jul21]]> 2021-08-13 19:54:34 UTC https://padlet.com/barbaramerigue/qhqb9uplrknfbw9a/wish/1678583576