Please enable JavaScript.
Coggle requires JavaScript to display documents.
Lógica :fire: (Principais Sistemas (Lógica é a mecanização do raciocinio a…
Lógica :fire:
*Os sistemas lógicos são usados para modelar duas coisas.
*
Passagem de informações para outra informação
(2) Relação de consequência que determina quando um enunciado pode ser obtido a partir de outros, de uma maneira lógica
Pedaços de informação
(1) Um Grupo de objetos, chamados enunciados ( ou proposições ou sentenças);
É o ramo do conhecimento que estuda os sistemas lógicos, suas propriedades e interrelações.
:check:
Principais problemas
:red_cross:
Problema da Validade
:warning:
Problema da Validade tem duas partes, uma positiva, quando
determinamos que C é consequência de P1, P2,... Pn e outra negativa, quando determinamos que C, não é consequência de P1, P2,.... Pn.
–
Problema da Simbolização :warning:
caracterização do tipo de informação que pode ser representada pelos enunciados
do sistema e, consequentemente, do tipo que não pode.
Ex: todos os preguiçosos são ergofóbicos
Problema da Equivalência
:warning:
Quando duas os mais frases podem ser ditas de maneiras iguais ou seriam diferentes?
Principais Sistemas
Lógica é a mecanização do raciocinio a obtenção de nova informações prévias por meio de recursos implementados em um computador.
Linguagem, contendo enunciados preposições, sentenças por meio das informações dadas.
Uma relação de consequência determina quando uma frase segue logicamente outras frases;
Mecanismos de inferência,por meio de demonstrações argumentações e comprovações podem ser elaboradas para comprovar que um enunciado é consequência lógica de outros
Lógica Sentencial ( ou Proposicional);
Lógica Equacional
Lógica de Primeira Ordem ( ou de Predicados)
Lógica de Segunda Ordem
Lógica Monádica de Segunda Ordem;