Lógica Computacional by Márcia Assunção https://padlet.com/marciaassuncaoduca/anvwpurjkwmo9l8j Trabalhado criado em resposta ao fórum da disciplina Lógica Computacional en-us 2022-08-09 12:39:18 UTC 2022-08-09 14:17:01 UTC hello@padlet.com Lógica marciaassuncaoduca https://padlet.com/marciaassuncaoduca/anvwpurjkwmo9l8j/wish/2257383272 É um campo filosófico que estuda a estrutura formal dos enunciados (proposições) e suas regras. Em suma, a lógica facilita o pensamento correto e, portanto, é uma ferramenta para o pensamento correto.
Lógica vem do grego logos, que significa razão, argumento ou discurso. A ideia de falar e argumentar pressupõe o que se diz ser significativo para o público.
Esse sentido é construído em estruturas lógicas, e quando algo "tem lógica" significa que faz sentido, é um argumento racional.]]> 2022-08-09 12:44:02 UTC https://padlet.com/marciaassuncaoduca/anvwpurjkwmo9l8j/wish/2257383272 Silogismo marciaassuncaoduca https://padlet.com/marciaassuncaoduca/anvwpurjkwmo9l8j/wish/2257385604 Um silogismo é a estrutura básica de um argumento ou raciocínio dedutivo, consistindo em três proposições inter-relacionadas.Na filosofia, o silogismo é parte integrante da lógica aristotélica e baseia-se na dedução. Ou seja, de uma afirmação verdadeira para uma nova afirmação que também é verdadeira.
Aristóteles (384 aC-322 aC) usou esse método em seu estudo de argumentos lógicos. A teoria silogística foi proposta por ele em seu livro "Analytica Priora" (análise anterior).]]> 2022-08-09 12:48:08 UTC https://padlet.com/marciaassuncaoduca/anvwpurjkwmo9l8j/wish/2257385604 Proposição marciaassuncaoduca https://padlet.com/marciaassuncaoduca/anvwpurjkwmo9l8j/wish/2257398241 É uma frase declarativa na qual podemos atribuir o valor lógico "V" (verdadeiro) ou "F" (falso), seja uma expressão afirmativa ou negativa. As proposições também podem ser expressas em símbolos, e a própria palavra proposição se aplica a diferentes disciplinas intelectuais, como filosofia, lógica, gramática, retórica, matemática, geometria ou direito.]]> 2022-08-09 13:08:40 UTC https://padlet.com/marciaassuncaoduca/anvwpurjkwmo9l8j/wish/2257398241 Premissas marciaassuncaoduca https://padlet.com/marciaassuncaoduca/anvwpurjkwmo9l8j/wish/2257405057
Em Lógica Compuatcional uma premissa é  definida como umafórmula considerada hipoteticamente verdadeira, dentro de uma dada inferência. Esta constituindo-se de duas partes: uma coleção de premissas, e uma conclusão.
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. Sendo que uma 
 fórmula dada pode ou não ser conclusão de uma dada coleção de premissas.Dependendo da Lógica ou do sistema lógico que será considerado.

]]> 2022-08-09 13:19:35 UTC https://padlet.com/marciaassuncaoduca/anvwpurjkwmo9l8j/wish/2257405057 Argumentos marciaassuncaoduca https://padlet.com/marciaassuncaoduca/anvwpurjkwmo9l8j/wish/2257414213 Podem ser definidos como ideias lógicas relacionadas entre si e com o propósito de esclarecer e resolver determinada situação ou dúvida, por exemplo.Se baseiam normalmente  em premissas que ajudam a construir uma conclusão. No entanto, todas as premissas devem ter como alicerce um sentido lógico, caso contrário o resultado final pode não ser verdadeiro ou válido.A norma é que todos  os argumentos servem principalmente para provar alguma coisa, como um ponto de vista, uma decisão ou ideia, e seu objetivo, neste caso, consiste em justificar determinado objeto que é causa de um debate.

]]> 2022-08-09 13:32:43 UTC https://padlet.com/marciaassuncaoduca/anvwpurjkwmo9l8j/wish/2257414213 Falácias marciaassuncaoduca https://padlet.com/marciaassuncaoduca/anvwpurjkwmo9l8j/wish/2257421916 É definida com um raciocínio/argumento aparentemente correto e que parece lógico e verdadeiro, porém existe alguma falha que o faz ser falso.
Utilizada por Aristóteles, pela Escolástica, pela Demagogia, serve como figura de linguagem em discursos e temas argumentativos. Dentre outros tipos de falácias existem: Apelação à ignorância,Composição e Divisão.



]]> 2022-08-09 13:42:25 UTC https://padlet.com/marciaassuncaoduca/anvwpurjkwmo9l8j/wish/2257421916 Inferência e seus tipos marciaassuncaoduca https://padlet.com/marciaassuncaoduca/anvwpurjkwmo9l8j/wish/2257429181 A 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.  Pode significar também chegar a uma conclusão a partir de outras percepções ou da análise de um ou mais argumentos.
Podem ser divididas em dois tipos: imediatas e mediatas.
  • Imediata: que  consiste em extrair de uma só proposição outra proposição, à qual se atribui o valor de verdade ou falsidade e pode ser obtida por oposição ou conversão.
  • Mediata: que consiste numa conclusão obtida a partir de duas ou mais proposições.E podem ser de três tipos: analógicas, indutivas e dedutivas.    
 Usa-se  termo inferência por vezes como sinônimo de raciocínio, e embora tal associação não seja incorreta , a verdade é que inferência possui um sentido mais abrangente que raciocínio.Assim sendo o termo raciocínio será reservado/aplicado apenas a um tipo de inferências, as mediatas.   
]]> 2022-08-09 13:52:32 UTC https://padlet.com/marciaassuncaoduca/anvwpurjkwmo9l8j/wish/2257429181