Lógica Computacional by Miguel Duarte https://padlet.com/miguelsantosmineiro/thx4ksxw5l3novrq Padlet criado para forum de lógica computacional. en-us 2021-08-23 23:59:04 UTC 2025-12-08 12:37:08 UTC hello@padlet.com https://padlet.net/icons/png/1f913.png Lógica Computacional miguelsantosmineiro https://padlet.com/miguelsantosmineiro/thx4ksxw5l3novrq/wish/1692191325 2021-08-24 00:03:35 UTC https://padlet.com/miguelsantosmineiro/thx4ksxw5l3novrq/wish/1692191325 O que é a lógica? miguelsantosmineiro https://padlet.com/miguelsantosmineiro/thx4ksxw5l3novrq/wish/1692193361 A lógica computacional pode ser entendida como a relação entre a lógica formal, mais tradicional, e a computação. Trata-se de um modo de pensar e estruturar ideias para escrever um software ou um algoritmo.]]> 2021-08-24 00:04:57 UTC https://padlet.com/miguelsantosmineiro/thx4ksxw5l3novrq/wish/1692193361 Algoritmo miguelsantosmineiro https://padlet.com/miguelsantosmineiro/thx4ksxw5l3novrq/wish/1692196589 Em matemática e ciência da computação, um algoritmo é uma sequência finita de ações executáveis que visam obter uma solução para um determinado tipo de problema.]]> 2021-08-24 00:07:01 UTC https://padlet.com/miguelsantosmineiro/thx4ksxw5l3novrq/wish/1692196589 Princípios lógicos miguelsantosmineiro https://padlet.com/miguelsantosmineiro/thx4ksxw5l3novrq/wish/1692199783
  • O princípio da identidade;
  • O princípio da não-contradição;
  • O princípio do terceiro excluído.

    • ]]>     2021-08-24 00:08:57 UTC https://padlet.com/miguelsantosmineiro/thx4ksxw5l3novrq/wish/1692199783     miguelsantosmineiro https://padlet.com/miguelsantosmineiro/thx4ksxw5l3novrq/wish/1692207300 2021-08-24 00:13:17 UTC https://padlet.com/miguelsantosmineiro/thx4ksxw5l3novrq/wish/1692207300 miguelsantosmineiro https://padlet.com/miguelsantosmineiro/thx4ksxw5l3novrq/wish/1692209900 2021-08-24 00:14:46 UTC https://padlet.com/miguelsantosmineiro/thx4ksxw5l3novrq/wish/1692209900 Operadores lógicos miguelsantosmineiro https://padlet.com/miguelsantosmineiro/thx4ksxw5l3novrq/wish/1692213300 2021-08-24 00:16:33 UTC https://padlet.com/miguelsantosmineiro/thx4ksxw5l3novrq/wish/1692213300 Conjunção miguelsantosmineiro https://padlet.com/miguelsantosmineiro/thx4ksxw5l3novrq/wish/1692218039 A conjunção é uma operação na lógica matemática, que pode ser ligada à operação de interseção de conjuntos.]]> 2021-08-24 00:18:40 UTC https://padlet.com/miguelsantosmineiro/thx4ksxw5l3novrq/wish/1692218039 Negação miguelsantosmineiro https://padlet.com/miguelsantosmineiro/thx4ksxw5l3novrq/wish/1692220570 Negar uma proposição significa trocar o seu valor lógico. Em outras palavras, a negação de uma proposição verdadeira é uma proposição falsa]]> 2021-08-24 00:19:34 UTC https://padlet.com/miguelsantosmineiro/thx4ksxw5l3novrq/wish/1692220570 Disjunção miguelsantosmineiro https://padlet.com/miguelsantosmineiro/thx4ksxw5l3novrq/wish/1692224641 Será verdadeira quando pelo menos uma das proposições for verdadeira.]]> 2021-08-24 00:21:18 UTC https://padlet.com/miguelsantosmineiro/thx4ksxw5l3novrq/wish/1692224641 Bicondicional miguelsantosmineiro https://padlet.com/miguelsantosmineiro/thx4ksxw5l3novrq/wish/1692228411 Será verdadeira quando ambas as proposições forem verdadeiras ou falsas,]]> 2021-08-24 00:23:02 UTC https://padlet.com/miguelsantosmineiro/thx4ksxw5l3novrq/wish/1692228411 Condicional miguelsantosmineiro https://padlet.com/miguelsantosmineiro/thx4ksxw5l3novrq/wish/1692234804 Será falsa quando a proposição antecedente for verdadeira e a consequente for falsa.]]> 2021-08-24 00:25:22 UTC https://padlet.com/miguelsantosmineiro/thx4ksxw5l3novrq/wish/1692234804 Tabela verdade. miguelsantosmineiro https://padlet.com/miguelsantosmineiro/thx4ksxw5l3novrq/wish/1692239375 Tabela verdade é um dispositivo utilizado no estudo da lógica matemática. Com o uso desta tabela é possível definir o valor lógico de uma proposição, isto é, saber quando uma sentença é verdadeira ou falsa.]]> 2021-08-24 00:27:10 UTC https://padlet.com/miguelsantosmineiro/thx4ksxw5l3novrq/wish/1692239375