https://padlet.com/igordandrade/uscbboggzbry5r84 Fórum de Analise e desenvolvimento de sistemas en-us 2022-03-09 17:30:25 UTC 2026-01-24 18:31:02 UTC hello@padlet.com https://padlet.net/icons/png/1f5a5.png igordandrade https://padlet.com/igordandrade/uscbboggzbry5r84/wish/2086642135 A lógica computacional é, por essência, uma forma de organizar ideias para resolver problemas ou atender a demandas. O modo de pensar estruturado, sequencial e levando em conta condições e efeitos não serve apenas para programar softwares, mas também é muito bem-vindo na resolução de problemas diversos do dia a dia. Assim, esse conhecimento favorece o desenvolvimento social e pessoal dos pequenos.]]> 2022-03-09 18:07:05 UTC https://padlet.com/igordandrade/uscbboggzbry5r84/wish/2086642135 igordandrade https://padlet.com/igordandrade/uscbboggzbry5r84/wish/2086648622 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.]]> 2022-03-09 18:10:34 UTC https://padlet.com/igordandrade/uscbboggzbry5r84/wish/2086648622 igordandrade https://padlet.com/igordandrade/uscbboggzbry5r84/wish/2086656356 Denomina-se proposição toda sentença declarativa à qual se pode atribuir um dos valores lógicos: verdadeiro ou falso, nunca ambos. Trata-se, portanto, de uma sentença fechada.]]> 2022-03-09 18:14:45 UTC https://padlet.com/igordandrade/uscbboggzbry5r84/wish/2086656356 igordandrade https://padlet.com/igordandrade/uscbboggzbry5r84/wish/2086757286 Na lógica proposicional, uma tautologia (do grego ταυτολογία) é uma fórmula proposicional que é verdadeira para todas as possíveis valorações de suas variáveis proposicionais. Por exemplo, a fórmula proposicional {\displaystyle (A)\lor (\lnot A)}{\displaystyle (A)\lor (\lnot A)} ("A ou não-A") é uma tautologia, porque é verdadeira para todas as valorações de A. Existem exemplos mais complexos tais como {\displaystyle (A\land B)\lor (\lnot A)\lor (\lnot B)}{\displaystyle (A\land B)\lor (\lnot A)\lor (\lnot B)} ("A e B; ou não-A; ou não-B"). O primeiro a aplicar o termo tautologia às redundâncias da lógica proposicional foi o filósofo Ludwig Wittgenstein em 1921 (anteriormente era usado exclusivamente na retórica).

A negação de uma tautologia é uma contradição ou antilogia, uma fórmula proposicional que é falsa independentemente dos valores de verdade de suas variáveis. Tais proposições são ditas insatísfatíveis. Reciprocamente, a negação de uma contradição é uma tautologia. Uma fórmula que não é nem uma tautologia nem uma contradição é dita logicamente contingente. Tal fórmula pode ser verdadeira ou falsa dependendo dos valores atribuídos para suas variáveis proposicionais.]]> 2022-03-09 19:10:28 UTC https://padlet.com/igordandrade/uscbboggzbry5r84/wish/2086757286 igordandrade https://padlet.com/igordandrade/uscbboggzbry5r84/wish/2086757651 Conjunto é um conceito-chave primitivo do ramo matemático da Teoria dos Conjuntos. A relação básica entre um objeto e o conjunto é a relação de pertinência: quando um objeto x é um dos elementos que compõem o conjunto A, dizemos que x pertence a A.

Nos conjuntos, a ordem e a quantidade de vezes que os elementos estão listados na coleção não é relevante. Em contraste, uma coleção de elementos na qual a multiplicidade, mas não a ordem, é relevante, é chamada multiconjunto. Dizemos que dois conjuntos são iguais se, e somente se, cada elemento de um é também elemento do outro.]]> 2022-03-09 19:10:41 UTC https://padlet.com/igordandrade/uscbboggzbry5r84/wish/2086757651