Lógica Computacional by Alexandre de Melo Martins https://padlet.com/alexandremmartins44/kzmvfuabn2im3frx en-us 2022-08-07 15:51:51 UTC 2022-08-07 16:36:37 UTC hello@padlet.com 1.O que é lógica? alexandremmartins44 https://padlet.com/alexandremmartins44/kzmvfuabn2im3frx/wish/2256164296 Lógica tem dois significados principais: discute o uso de raciocínio em alguma atividade e é o estudo normativo, filosófico do raciocínio válido. No segundo sentido, a lógica é discutida principalmente nas disciplinas de filosofia, matemática e ciência da computação.
A lógica examina de forma genérica as formas que a argumentação pode tomar, quais dessas formas são válidas e quais são falaciosas.

Fonte: https://pt.wikipedia.org/wiki/L%C3%B3gica]]> 2022-08-07 15:55:03 UTC https://padlet.com/alexandremmartins44/kzmvfuabn2im3frx/wish/2256164296 2.O que é Proposição? alexandremmartins44 https://padlet.com/alexandremmartins44/kzmvfuabn2im3frx/wish/2256165316 Uma proposição é uma sentença declarativa que admite um e somente um dos dois valores lógicos – V ou F.

Exemplos:
* Curitiba é a capital do Paraná (Valor lógico Verdadeiro)
* Todos os animais são mamíferos (Valor lógico Falso)

Fonte: http://www2.videolivraria.com.br/pdfs/21291.pdf]]> 2022-08-07 16:00:13 UTC https://padlet.com/alexandremmartins44/kzmvfuabn2im3frx/wish/2256165316 3.O que são Premissas? alexandremmartins44 https://padlet.com/alexandremmartins44/kzmvfuabn2im3frx/wish/2256165346 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.

Fonte: https://www.significados.com.br/premissa/]]> 2022-08-07 16:00:22 UTC https://padlet.com/alexandremmartins44/kzmvfuabn2im3frx/wish/2256165346 4.O que são Argumentos? alexandremmartins44 https://padlet.com/alexandremmartins44/kzmvfuabn2im3frx/wish/2256165372 Argumentos são ideias lógicas relacionadas entre si e com o propósito de esclarecer e resolver determinada situação ou dúvida.

Fonte: https://www.significados.com.br/argumentos/]]> 2022-08-07 16:00:31 UTC https://padlet.com/alexandremmartins44/kzmvfuabn2im3frx/wish/2256165372 5.O que é Silogismo? alexandremmartins44 https://padlet.com/alexandremmartins44/kzmvfuabn2im3frx/wish/2256165394 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.

Fonte: https://www.todamateria.com.br/silogismo/]]> 2022-08-07 16:00:38 UTC https://padlet.com/alexandremmartins44/kzmvfuabn2im3frx/wish/2256165394 6.O que é Falácia? alexandremmartins44 https://padlet.com/alexandremmartins44/kzmvfuabn2im3frx/wish/2256165410 Falácia é um raciocínio que parece lógico e verdadeiro, porém existe alguma falha que o faz ser falso.
A falácia foi um recurso utilizado por Aristóteles, pela Escolástica, pela Demagogia e serve como figura de linguagem em discursos e temas argumentativos.

Fonte: https://www.todamateria.com.br/falacia/]]> 2022-08-07 16:00:46 UTC https://padlet.com/alexandremmartins44/kzmvfuabn2im3frx/wish/2256165410 7.O que é inferência? Quais os tipos? alexandremmartins44 https://padlet.com/alexandremmartins44/kzmvfuabn2im3frx/wish/2256165463 Inferência é a ação e o efeito de inferir (deduzir algo, tirar uma conclusão de outra coisa, conduzir a um resultado). A inferência surge a partir de uma avaliação mental entre distintas expressões que, ao serem relacionadas como abstrações, permitem traçar uma implicação lógica.

Tipos de inferências ( imediatas e mediatas )

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.  

Fontes: https://conceito.de/inferencia
http://www.filorbis.pt/filosofia/Inferencia.htm#:~:text=Designa%2Dse%20por%20infer%C3%AAncia%20a,dois%20tipos%3A%20imediatas%20e%20mediatas.]]> 2022-08-07 16:01:04 UTC https://padlet.com/alexandremmartins44/kzmvfuabn2im3frx/wish/2256165463 Lógica Computacional alexandremmartins44 https://padlet.com/alexandremmartins44/kzmvfuabn2im3frx/wish/2256172821 A parte que eu mais gosto é a criação de algoritmos, pois com eles podemos resolver ou automatizar situações do nosso dia-a-dia, como por exemplo automatizar uma tarefa que precisa ser realizada manualmente todos os dias.]]> 2022-08-07 16:33:19 UTC https://padlet.com/alexandremmartins44/kzmvfuabn2im3frx/wish/2256172821