Please enable JavaScript.
Coggle requires JavaScript to display documents.
LÓGICA (Principais problemas (Da simbolização (Definição do tipo de…
LÓGICA
Principais problemas
Da simbolização
Definição do tipo de informação que pode ou não ser representada pelos enunciados do sistema.
Expressividade
Da equivalência
Se dois enunciados representam ou não a mesma informação.
Da validade
Decidibilidade
Consequência pode ser avaliada por meio de
um programa de computador
Indecidibilidade
Consequência não pode ser avaliada por meio de
um programa de computador
Da demonstração
Corretude
O método comprova: é consequência
Completude
É consequência: o método comprova
Sistemas lógicos
Modelam
Pedaços de informação
Passagem de informações para outra informação
Formação
Enunciados (grupos específicos de objetos)
Relação de consequência (que determina quando um enunciado pode ser obtido a partir de outros)
Silogística (sistema lógico mais antigo)
X (Sujeito)
Y (Predicado)
Principais sistemas
Mecanização do raciocínio
Obtenção de nova informação a partir de informações prévias por meio de recursos que podem ser controlados e automatizados
Três partes do sistema lógico
Relação de consequência
Mecanismo de inferência
Linguagem
Variedades dos sistemas lógicos
Lógica Sentencial (ou Proposicional)
Lógica de Primeira Ordem (ou de Predicados)
Lógica Equacional
Lógica Monádica de Segunda Ordem
Lógica de Segunda Ordem
Definição
Ramo do conhecimento que estuda os sistemas lógicos, suas propriedades e interrelações