sistema lógico
Português[editar]
Locução substantiva[editar]
sistema lógico
- (Lógica) sistema de avaliação da veracidade absoluta ou relativa de fórmulas de uma linguagem formal, com respeito a um determinado contexto ou concepção de verdade[1]
Sinônimos[editar]
Ver também[editar]
No Wikcionário[editar]
Notas[editar]
- ↑ Um sistema lógico é constituído de duas partes: uma gramática e uma teoria. Através da gramática são distinguidas, dentre a coleção de todas as samblagens na linguagem formal adotada, quais são fórmulas. Através da teoria as fórmulas do sistema são avaliadas quanto à sua veracidade absoluta ou relativa. Uma teoria para um sistema lógico pode ser dada de três formas: por uma semântica, por um cálculo, ou por um algoritmo de automatização. Assim como existem diversas linguagens de programação, também existem modernamente várias lógicas ou sistemas lógicos.