Lógica Computacional by Nelson de Brito https://padlet.com/Nelson_de_Brito/Forum_Log_Comp Definições & Funcionalidades en-us 2022-05-07 21:48:25 UTC 2026-03-16 16:32:04 UTC hello@padlet.com https://padlet.net/icons/png/1f4a1.png O que é Lógica? Nelson_de_Brito https://padlet.com/Nelson_de_Brito/Forum_Log_Comp/wish/2266687890 Lógica computacional é o uso da lógica para executar ou raciocinar sobre computação.

Lógica de programação facilita o raciocínio na construção e entendimento do algoritmo, mostrando que ele está muito mais presente em nosso cotidiano do que imaginamos. Na computação o algoritmo é essencial. 
  • Um algoritmo é uma sequência lógica finita e definida de instruções que devem ser seguidas para resolver um problema ou executar uma tarefa. 

Lógica tem dois significados principais: discute o uso do raciocínio em algumas atividades e ao estudo normativo, filosófico do raciocínio válido.

]]> 2022-08-21 20:56:50 UTC https://padlet.com/Nelson_de_Brito/Forum_Log_Comp/wish/2266687890 O que é Proposição? Nelson_de_Brito https://padlet.com/Nelson_de_Brito/Forum_Log_Comp/wish/2266691930 No que diz respeito a matemática, as proposições são enunciados que podem ser verdadeiros ou falsos. A verdade da proposição já pode aparecer demonstrada ou é precisamente aquilo que se pretende demonstrar.

  • Proposição é um termo usado em lógica para descrever o conteúdo de asserções. Uma asserção é um conteúdo que pode ser tomado como verdade.
Em todos os casos, pode-se dizer que uma proposição é uma entidade que acarreta um valor de verdade. Trata-se de uma construção lógica que é comunicada através da linguagem (seja coloquial, simbólica ou formal).
]]> 2022-08-21 21:12:50 UTC https://padlet.com/Nelson_de_Brito/Forum_Log_Comp/wish/2266691930 O que são Premissas? Nelson_de_Brito https://padlet.com/Nelson_de_Brito/Forum_Log_Comp/wish/2266696092 Em Lógica, uma premissa é uma fórmula considerada hipoteticamente verdadeira, dentro de uma dada inferência. Esta constitui-se de duas partes: uma coleção de premissas e uma conclusão. 
  • Premissa significa a proposição, o conteúdo, 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.
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 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.
Já em um projeto acadêmico as premissas representam as ideias iniciais que deram origem ao objeto de estudo.
]]> 2022-08-21 21:27:37 UTC https://padlet.com/Nelson_de_Brito/Forum_Log_Comp/wish/2266696092 O que são Argumentos? Nelson_de_Brito https://padlet.com/Nelson_de_Brito/Forum_Log_Comp/wish/2266698324 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.
  • Argumento é o raciocínio destinado a provar ou refutar determinada tese.
Um argumento é um conjunto de afirmações conectadas das quais pelo menos uma (a premissa) pretende oferecer razões para mostrar que a outra (a conclusão) é verdadeira.
  • Argumentos são ideias lógicas relacionadas entre si e com o propósito de esclarecer e resolver determinada situação ou dúvida.
  • Os argumentos são normalmente baseados em premissas que ajudam a construir uma conclusão.
Por norma, os argumentos servem principalmente para provar alguma coisa, como um ponto de vista, uma decisão ou ideia.
]]> 2022-08-21 21:36:03 UTC https://padlet.com/Nelson_de_Brito/Forum_Log_Comp/wish/2266698324 O que é Silogismo? Nelson_de_Brito https://padlet.com/Nelson_de_Brito/Forum_Log_Comp/wish/2266701852 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á baseada na dedução. Ou seja, parte de afirmações verdadeiras para uma nova afirmação também verdadeira.
  • Silogismo é um modelo de raciocínio baseado na ideia de dedução, composto por duas premissas que geram uma conclusão.
O chamado silogismo aristotélico é formada por três principais características: mediado, dedutivo e necessário.
  • Os silogismo seria mediado devido à necessidade de se usar o raciocínio para chegar à conclusão real.
  • Seria dedutivo pelo fato de se partir de preposições universais para se chegar a uma conclusão específica.
  • E, por fim, seria necessário por estabelecer uma conexão entre todas as premissas.

]]> 2022-08-21 21:49:30 UTC https://padlet.com/Nelson_de_Brito/Forum_Log_Comp/wish/2266701852 O que é Falácia? Nelson_de_Brito https://padlet.com/Nelson_de_Brito/Forum_Log_Comp/wish/2266724416 Uma falácia é um argumento logicamente incoerente, sem fundamento, inválido ou falho na tentativa de provar eficazmente o que alega.
  • Falácia é um raciocínio que parece lógico e verdadeiro, porém existe alguma falha que o faz ser falso.
  • Falácia significa erro, engano ou falsidade. Normalmente, uma falácia é uma ideia errada que é transmitida como verdadeira, enganando outras pessoas.
No âmbito da lógica, uma falácia consiste no ato de chegar a uma determinada conclusão errada a partir de proposições que são falsas.
]]> 2022-08-21 23:03:18 UTC https://padlet.com/Nelson_de_Brito/Forum_Log_Comp/wish/2266724416 O que é Inferência? Quais os tipos? Nelson_de_Brito https://padlet.com/Nelson_de_Brito/Forum_Log_Comp/wish/2266729238 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.
  • 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.
  • A inferência imediata consiste em extrair de uma só proposição outra proposição, a 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 indiferença pode ser de três tipos: analógicas, indutivas e dedutivas.
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.
  • O termo raciocínio será reservado e aplicado apenas a um tipo de inferência, as mediatas.

]]> 2022-08-21 23:16:43 UTC https://padlet.com/Nelson_de_Brito/Forum_Log_Comp/wish/2266729238 Como a lógica funciona e como podemos trabalhar com ela em nosso cotidiano? Nelson_de_Brito https://padlet.com/Nelson_de_Brito/Forum_Log_Comp/wish/2266735309 É indispensável que o ser humano tenha um raciocínio lógico para organizar os pensamentos e assim obter bons (e quem sabe, ótimos) resultados em suas atividades cotidianas.
  • Para formar uma frase coerente e com coesão, é necessário realizar pensamentos lógicos no cérebro para ordenar as letras, vírgulas, sílabas, palavras, para que, a quem esteja sendo dirigida, entenda perfeitamente. Por esse motivo, pode-se dizer que existe Lógica no dia a dia. Quando falamos ou escrevemos, estamos usando-a. 
  • Percebe-se a importância da lógica na prática, pois há o desejo de pensar, falar, escrever e agir de maneira correta. Para que isso aconteça, as pessoas ordenam seus pensamentos, de forma que estão utilizando a lógica e o raciocínio lógico para as atividades tão básicas no cotidiano.
Pode se pensar que o raciocínio lógico não é utilizado para determinar as situações no cotidiano. No entanto, todas as pessoas utilizam o raciocínio lógico, seja engenheiro, cientista, psicólogo, advogado, homem de negócios, arquitetos serralheiros, entre outros. Muitas vezes é usado de modo mais informal outras vezes de modo a ter um conhecimento apurado do mesmo e saber aplicar em momentos que pareçam necessários.
]]> 2022-08-21 23:30:32 UTC https://padlet.com/Nelson_de_Brito/Forum_Log_Comp/wish/2266735309