Lógica Computacional by Lana Carvalho https://padlet.com/lanaquele/Bookmarks Unopar - Análise e Desenvolvimento de Sistemas en-us 2022-02-13 19:31:09 UTC 2026-02-14 23:14:43 UTC hello@padlet.com O que é lógica? lanaquele https://padlet.com/lanaquele/Bookmarks/wish/2193893612 Lógica tem origem na palavra grega logos, que significa razão, argumentação ou fala. A lógica trata da estrutura formal das proposições e suas regras. Diz-se que a lógica é uma ferramenta do "pensar corretamente". Visto que a forma mais complexa do pensamento é o raciocínio, a lógica estuda a correção do raciocínio. ]]> 2022-05-21 13:04:20 UTC https://padlet.com/lanaquele/Bookmarks/wish/2193893612 O que é proposição? lanaquele https://padlet.com/lanaquele/Bookmarks/wish/2261423828 As proposições são enunciados, afirmações ou negações, e possuem sua validade, ou falsidade, analisada logicamente. A partir da análise de proposições, o estudo da lógica torna-se uma ferramenta para o correto pensar. O pensar corretamente necessita de princípios (lógicos) que garantam sua validade e verdade.

Exemplo de proposições:
  • O céu é azul.
  • Belo Horizonte é a capital de Minas Gerais.
  • O cachorro late.
]]> 2022-08-15 17:15:42 UTC https://padlet.com/lanaquele/Bookmarks/wish/2261423828 O que são premissas? lanaquele https://padlet.com/lanaquele/Bookmarks/wish/2261442712 Premissas são as proposições, as informações essenciais que servem de base para um raciocínio, para um estudo que levará a uma conclusão. Em lógica a premissa significa cada uma das proposições de um silogismo.

Exemplo de premissas:
  • As flores tem perfume.
  • A rosa é uma flor.
Conclusão:
  • A rosa tem perfume.
]]> 2022-08-15 17:39:57 UTC https://padlet.com/lanaquele/Bookmarks/wish/2261442712 O que são argumentos? lanaquele https://padlet.com/lanaquele/Bookmarks/wish/2261449459 Argumentos são ideias lógicas relacionadas entre si e com o propósito de esclarecer e resolver determinada situação ou dúvida. Um argumento pode ser definido como uma afirmação acompanhada de justificativa ou como uma justaposição de duas afirmações opostas, argumento e contra-argumento.

Exemplo de argumento:
  • Sempre que chove fico resfriado. Hoje choveu.
Logo:
  • Ficarei resfriado.
]]> 2022-08-15 17:48:33 UTC https://padlet.com/lanaquele/Bookmarks/wish/2261449459 O que é silogismo? lanaquele https://padlet.com/lanaquele/Bookmarks/wish/2261457313 Silogismo, que tem origem na palavra grega syllogismos (“conclusão” ou “inferência”), é uma forma de raciocínio baseada na dedução. Esta linha de pensamento, criada pelo filósofo Aristóteles, utiliza duas preposições iniciais para se chegar a uma terceira, que no caso é a conclusão. 
Silogismo portanto é um modelo de raciocínio baseado na ideia da dedução, composto por duas premissas que geram uma conclusão.]]> 2022-08-15 17:58:12 UTC https://padlet.com/lanaquele/Bookmarks/wish/2261457313 O que é falácia? lanaquele https://padlet.com/lanaquele/Bookmarks/wish/2261463346 A palavra tem origem no termo em latim “fallacia”, aquilo que engana ou ilude. Desta forma, falácia é algo enganoso. As falácias são construídas por raciocínios aparentemente corretos que levam à falsas conclusões.
Designa-se por falácia um raciocínio errado com aparência de verdadeiro. Na lógica e na retórica, uma falácia é um argumento logicamente incoerente, sem fundamento, inválido ou falho na tentativa de provar eficazmente o que alega.]]> 2022-08-15 18:07:01 UTC https://padlet.com/lanaquele/Bookmarks/wish/2261463346 O que são inferências? lanaquele https://padlet.com/lanaquele/Bookmarks/wish/2261470885 Inferência é uma dedução feita com base em informações ou um raciocínio que usa dados disponíveis para se chegar a uma conclusão.
Inferir é deduzir um resultado, por lógica, com base na interpretação de outras informações. Inferir também pode significar chegar a uma conclusão a partir de outras percepções ou da análise de um ou mais argumentos.

]]> 2022-08-15 18:17:54 UTC https://padlet.com/lanaquele/Bookmarks/wish/2261470885 Inferência indutiva: lanaquele https://padlet.com/lanaquele/Bookmarks/wish/2261486496 A inferência indutiva parte do particular para o geral, ou seja, a indução interpreta o mundo "de baixo", buscando a regra.

Exemplo:
  • Bianca é mulher e sabe cozinhar.
  • Amanda é mulher e sabe cozinhar.
  • Bruna é mulher e sabe cozinhar.
Logo,
  • Toda mulher sabe cozinhar.
]]> 2022-08-15 18:38:54 UTC https://padlet.com/lanaquele/Bookmarks/wish/2261486496 Inferência dedutiva: lanaquele https://padlet.com/lanaquele/Bookmarks/wish/2261487847
A inferência dedutiva parte do geral para o particular, ou seja, dedução interpreta o mundo "a partir de cima", a partir de um sistema de regras já definidas.

Exemplo:
  • Os países nórdicos são desenvolvidos.
  • A Suécia é um país nórdico.
Logo,
  • A Suécia é um pais desenvolvido.
]]> 2022-08-15 18:40:31 UTC https://padlet.com/lanaquele/Bookmarks/wish/2261487847 Fontes consultadas: lanaquele https://padlet.com/lanaquele/Bookmarks/wish/2261557120
  • https://www.todamateria.com.br/falacia/
  • https://www.educamaisbrasil.com.br/enem/filosofia/silogismo
  • https://www.todamateria.com.br/o-que-e-logica/
  • https://www.significados.com.br/
  • LIMA, Thiago Pinheiro Feliz da Silva - Lógica Computacional, São Paulo, Editora e Distribuidora Educacional SA, 2020
    • ]]>     2022-08-15 20:24:37 UTC https://padlet.com/lanaquele/Bookmarks/wish/2261557120