Lógica Computacional by jaqueline mendes https://padlet.com/jaquelinemendes033/a1xo4ahjz0c7vwxd Fórum en-us 2022-08-16 03:05:34 UTC 2025-10-19 14:20:32 UTC hello@padlet.com O que é lógica? jaquelinemendes033 https://padlet.com/jaquelinemendes033/a1xo4ahjz0c7vwxd/wish/2261833191 A lógica tem origem na palavra grega "logos", que significa argumentação, fala ou razão, criada pelo filósofo Aristóteles com o intuito de estudar a estrutura formal dos enunciados ( declaraçoes, proposiçoes). Em resumo, a lógica é a ciência que estuda os métodos e príncipios ultilizados para distinguir o raciocínio correto do incorreto.


]]> 2022-08-16 03:20:05 UTC https://padlet.com/jaquelinemendes033/a1xo4ahjz0c7vwxd/wish/2261833191 O que é proposição? jaquelinemendes033 https://padlet.com/jaquelinemendes033/a1xo4ahjz0c7vwxd/wish/2262712729 Proposição é uma sentença declarativa, afirmativa que admite apenas um dos dois valores lógicos (V- Verdadeiro ou F- Falso), não pode ser verdadeiro e falso ao mesmo tempo. Na lógica, a proposição é um termo usado para descrever o conteúdo de asserções.
As proposições podem ser classificadas como simples ou compostas. Será uma proposição simples quando houver uma única afirmação na frase, quando existir duas ou mais proposicões simples ela será composta.]]> 2022-08-16 23:40:42 UTC https://padlet.com/jaquelinemendes033/a1xo4ahjz0c7vwxd/wish/2262712729 O que são premissas? jaquelinemendes033 https://padlet.com/jaquelinemendes033/a1xo4ahjz0c7vwxd/wish/2263845559 As ideias iniciais, as informações essenciais que servem de base para um raciocínio, uma opnião ou um ponto de vista, que levem a uma conclusão, são considerados como premissas. As premissas são sentenças tidas como verdades que não podemos necessariamente comprovar, pois elas dependem de fatores externos. 
 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.]]> 2022-08-18 01:09:41 UTC https://padlet.com/jaquelinemendes033/a1xo4ahjz0c7vwxd/wish/2263845559 O que são argumentos? jaquelinemendes033 https://padlet.com/jaquelinemendes033/a1xo4ahjz0c7vwxd/wish/2265029304 Argumentos são definidos como uma série de declarações (premissas) com a intenção de determinar o grau de veracidade de outra declaração (a conclusão).
Um argumento é um conjunto de proposições que ultilizamos para justificar (provar, suportar, dar razão) algo. 
Em resumo, a proposição que queremos justificar tem o nome de conclusão; as proposições que pretendem apoiar a conclusão ou a justificam têm o nome de premissas, os argumetos são uma sequencia de premissas que leva a uma conclusão.
Um argumento pode ser classificado das seguintes formas:
  • Argumento dedutivo: Válido ou Inválido
  • Argumento dedutivo válido: Sólido ou não-Sólido
  • Argumento indutivo: Forte ou fraco
]]> 2022-08-19 02:00:54 UTC https://padlet.com/jaquelinemendes033/a1xo4ahjz0c7vwxd/wish/2265029304 O que é falácia? jaquelinemendes033 https://padlet.com/jaquelinemendes033/a1xo4ahjz0c7vwxd/wish/2265116708 Originária do verbo latino fallare, o termo falácia, significa enganar.
Na lógica, uma falácia é uma afirmação que a princípio pode parecer verdadadeira, mas depois de aplicar as regras da lógica, conclui-se que não é, ou seja, um raciocínio errado, incoerente, sem fundamento na tentativa de provar eficientimente o que alega.

]]> 2022-08-19 03:35:14 UTC https://padlet.com/jaquelinemendes033/a1xo4ahjz0c7vwxd/wish/2265116708 O que é inferência, quais os tipos? jaquelinemendes033 https://padlet.com/jaquelinemendes033/a1xo4ahjz0c7vwxd/wish/2265936629 Inferência é um processo pelo qual, através de determinadas informações, chega-se a uma conclusão. Consiste, por tanto, em derivar conclusões a partir de premissas conhecidas ou decididamente verdadeiras.
Ao ler um texto, as informações podem estar explícitas ou implícitas, inferir é conseguir chegar a conclusões a partir dessas informações.

Tipos de Inferência:
  • Imediata; Consiste em extrair de uma só proposição outra proposição , à qual se atribuiu o valor de verdade ou falsidade. A inferência imediata pode ser obtida por oposição ou conversão.
  • 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-20 00:38:46 UTC https://padlet.com/jaquelinemendes033/a1xo4ahjz0c7vwxd/wish/2265936629 O que é silogismo? jaquelinemendes033 https://padlet.com/jaquelinemendes033/a1xo4ahjz0c7vwxd/wish/2265952301 Silogismo é um modelo raciocínio composto por duas premissas que geram uma conclusão. Criado pelo filósofo Aristóteles, o silogismo é uma forma de racíocinio baseada na dedução, essa linha de pensamento utiliza duas preposições iniciais para se chegar a uma terceira, que no caso é uma conclusão.
O silogismo só pode ter três termos (maior, menor e médio)
  • Termo maior: (T ou P), termo com maior extenção e predicado na conclusão
  • Termo menor: (t ou S) termo com menor extenção e sujeito na conclusão.
  • Termo médio: termo que se repete nas duas premissas, nunca aparece na conclusão e estabelece uma relação de conveniência, ou não entre sujeito e predicado.
Aristóteles resumiu os termos em dois: sujeito e predicado. Numa proposição, o predicado está ligado a um sujeito pelo verbo SER. Todos os verbos são dedutivos do verbo ser.
]]> 2022-08-20 01:29:40 UTC https://padlet.com/jaquelinemendes033/a1xo4ahjz0c7vwxd/wish/2265952301