sistema lógico

Português

Locução substantiva

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

No Wikcionário

Notas
  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.
This article is issued from Wiktionary. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.