Please enable JavaScript.

Coggle requires JavaScript to display documents.

Lógica Computacional - Coggle Diagram

- - - - Raciocínio dedutivo estruturado formalmente a partir de duas proposições (premissas), das quais se obtém por inferência uma terceira (conclusão)
      - Lógica de argumentação
      - O silogismo é uma forma de raciocínio dedutivo
    - - Caracteriza-se por ser um erro de raciocínio. Existem vários tipos
      - Uma inferência inválida é chamada falácia
    - - Já a lógica indutiva se preocupa com argumentos que permitem conclusões gerais a partir de casos particulares.
    - - A lógica dedutiva é aquela que parte de premissas afirmativas ou leis mais gerais permitindo a obtenção de verdades menos gerais ou particulares.
    - - A lógica é dita formal quando analisa e representa a forma de qualquer argumento para que possa ser considerado válido para alguma conclusão.
      - A lógica transcendental opera a partir das representações, dos conceitos e não das coisas em si. Trata-se de uma investigação sobre as representações a priori. É puramente racional, não depende de nenhuma informação vinda de nossos sentidos