sistema lógico

Origem: Wikcionário, o dicionário livre.

Português[editar]

Locução substantiva[editar]

sistema lógico

  1. (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]

  1. 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.