Lógica Computacional by Eduardo Arantes Brito https://padlet.com/eduardo114460/7a3pahbcnqhuf6xq Mural sobre como a lógica funciona e como podemos trabalhar com ela em nosso cotidiano? en-us 2022-08-08 18:49:42 UTC 2022-08-08 20:00:17 UTC hello@padlet.com https://padlet.net/icons/png/1f4bb.png O que é lógica eduardo114460 https://padlet.com/eduardo114460/7a3pahbcnqhuf6xq/wish/2256887048 A lógica é a ciência que expõe as leis, modos e formas do conhecimento científico. Trata-se de uma ciência formal desprovida de conteúdo, que se dedica ao estudo das formas válidas de inferência. Trata-se portanto do estudo dos métodos e dos princípios utilizados para distinguir o raciocínio correto do incorreto.
Fonte: https://conceito.de/logica]]> 2022-08-08 19:11:23 UTC https://padlet.com/eduardo114460/7a3pahbcnqhuf6xq/wish/2256887048 O que é Proposição? eduardo114460 https://padlet.com/eduardo114460/7a3pahbcnqhuf6xq/wish/2256892673 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, a proposição lógica é dividida em algumas categorias, como o princípio da identidade (onde uma proposição verdadeira é verdadeira e uma proposição falsa é falsa), o princípio do terceiro excluído (uma proposição deve ser verdadeira ou falsa, não existindo outra opção) e o princípio de não-contradição (uma proposição nunca será verdadeira e falsa de modo simultâneo).
Fonte: https://blog.grancursosonline.com.br/proposicao/]]> 2022-08-08 19:22:12 UTC https://padlet.com/eduardo114460/7a3pahbcnqhuf6xq/wish/2256892673 O que são Premissas? eduardo114460 https://padlet.com/eduardo114460/7a3pahbcnqhuf6xq/wish/2256894499 Premissa em lógica é um conjunto de uma ou mais de uma sentença declarativa que é acompanhada de uma outra frase declarativa que é a conclusão. A verdade da conclusão é uma consequência lógica das premissas que a antecederam. Portanto, as premissas são as proposições que justificam a conclusão obtida.

Toda premissa, pode ser verdadeira ou falsa, bem como a conclusão, não aceitando jamais a ambiguidade. As frases que apresentam uma premissa são referidas como verdadeiras ou falsas (válidas ou inválidas), portanto, devem ser portadoras da verdade.
Fonte: https://www.significados.com.br/premissa/
]]> 2022-08-08 19:25:12 UTC https://padlet.com/eduardo114460/7a3pahbcnqhuf6xq/wish/2256894499 O que são Argumentos? eduardo114460 https://padlet.com/eduardo114460/7a3pahbcnqhuf6xq/wish/2256900096 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. 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. 
Fonte: https://educacao.uol.com.br/disciplinas/filosofia/logica---argumento-um-conjunto-de-enunciados-articulados-entre-si.htm]]> 2022-08-08 19:36:59 UTC https://padlet.com/eduardo114460/7a3pahbcnqhuf6xq/wish/2256900096 O que é Silogismo? eduardo114460 https://padlet.com/eduardo114460/7a3pahbcnqhuf6xq/wish/2256902459 O silogismo é a estrutura básica de um argumento ou um raciocínio dedutivo, o qual é formado por três proposições que estão interligadas.
Na filosofia, o silogismo é parte integrante da lógica aristotélica e está baseado na dedução. Ou seja, parte de afirmações verdadeiras para uma nova afirmação também verdadeira.
Aristóteles (384 a.C.-322 a.C.) utilizou esse método nos estudos da argumentação lógica.

Exemplo:
Todo brasileiro é sul-americano.
Todo nordestino é brasileiro.
Logo, todo nordestino é sul-americano.

Fonte: https://www.todamateria.com.br/silogismo/
]]> 2022-08-08 19:42:33 UTC https://padlet.com/eduardo114460/7a3pahbcnqhuf6xq/wish/2256902459 O que é Falácia? eduardo114460 https://padlet.com/eduardo114460/7a3pahbcnqhuf6xq/wish/2256905255 Primeiramente que a palavra falácia vem do termo grego “fallacia”, e significa aquilo que engana ou ilude. Ou seja, falácia pode ser descrito como algo enganoso.
Nesse sentido, as falácias são criadas por raciocínios aparentemente certos porém que resultam em falsas conclusões. Sendo assim, esse tipo de argumento é muito encontrado em textos dissertativos.

Sendo assim, a narrativa da falácia é ancorada em três pontos centrais:
  1. Ser um argumento;
  2. Parecer ter validade;
  3. Não ser válido.
Fonte: https://conhecimentocientifico.com/falacia/
]]> 2022-08-08 19:48:02 UTC https://padlet.com/eduardo114460/7a3pahbcnqhuf6xq/wish/2256905255 O que é inferência? eduardo114460 https://padlet.com/eduardo114460/7a3pahbcnqhuf6xq/wish/2256909157 Designa-se por inferência a operação mental pela qual obtemos de uma ou mais proposições outra ou outras que nela(s) estava(m) já implicitamente contida(s).
As inferências podem ser divididas em dois tipos: imediatas e mediatas.
O termo inferência usa-se por vezes como sinônimo de raciocínio. Embora tal associação não seja incorreta , a verdade é que inferência possui um sentido mais abrangente que raciocínio.
Fonte:http://www.filorbis.pt/filosofia/Inferencia.htm#:~:text=Designa%2Dse%20por%20infer%C3%AAncia%20a,dois%20tipos%3A%20imediatas%20e%20mediatas.
]]> 2022-08-08 19:55:51 UTC https://padlet.com/eduardo114460/7a3pahbcnqhuf6xq/wish/2256909157 Tipos de inferência eduardo114460 https://padlet.com/eduardo114460/7a3pahbcnqhuf6xq/wish/2256910191
  • A inferência imediata consiste em extrair de uma só proposição outra proposição, à qual se atribui o valor de verdade ou falsidade. A inferência imediata 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. Este tipo de inferências podem ser de três tipos: analógicas, indutivas e dedutivas. 
    • ]]>     2022-08-08 19:58:18 UTC https://padlet.com/eduardo114460/7a3pahbcnqhuf6xq/wish/2256910191