Please enable JavaScript.
Coggle requires JavaScript to display documents.
Sistemas Lógicos (Principais problemas (Problema da validade: (Sua…
Sistemas Lógicos
Principais problemas
-
-
Problema da validade:
-
Sistema lógico pode ser:
Decidível - consequência pode ser avaliada por meio de um programa de computador
Indecidível - consequência não pode ser avaliada por meio de um programa de computador
Classificação do sistema como possuindo, ou não, um método implementável em um computador (decidibilidade)
Objetivo principal na resolução deste problema é elaborar um critério geral para decidir se C é consequência, ou não, de P1 e P2
-
Principais Sistemas
O sistema lógico tem que ter, pelo menos, três partes: uma linguagem, uma relação de consequência e um mecanismo de inferência.
1.Lógica Sentencial (ou Proposicional)
2.Lógica Equacional
3.Lógica de Primeira Ordem (ou de Predicados)
4.Lógica Monádica de Segunda Ordem
5.Lógica de Segunda Ordem
São:
Relação bem especificada entre enunciados chamada relação de consequência, que determina quando um enunciado pode ser obtido a partir de outros, de uma maneira lógica
-
Lógica
É o ramo do conhecimento que estuda os sistemas lógicos, suas propriedades e interrelações