sistema lógico

Composição de bandeiras de países e regiões que falam português PortuguêsEditar

Locução substantivaEditar

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ônimosEditar

Ver tambémEditar

No WikcionárioEditar

NotasEditar

  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.