Sistema formal: diferenças entre revisões
Conteúdo apagado Conteúdo adicionado
c por ç |
|||
Linha 17:
=== Sistema Lógico ===
O ''sistema lógico'' ou, simplesmente, ''lógica'' é o sistema formal junto com a [[semântica]], geralmente na forma de [[Interpretação (lógica)|interpretação]] de um [[Teoria dos modelos|modelo teórico]], que atribui [[valor de verdade| valor veridativo]] às [[sentença]]s da linguagem formal, isso é, formulas que não contêm [[Variáveis livres e ligadas|variáveis livres]]. A lógica é [[Correção|correta]] se todas as sentenças que possam ser derivadas de sua interpretação são verdadeiras, e [[Completude (lógica)|completas]] se, reciprocamente, todas as
=== Prova Formal ===
Linha 30:
=== Linguagem Formal ===
{{Main|Linguagem
Na matemática, na lógica, e na ciência da computação, a [[linguagem formal]] é a linguagem que é definida por modelos matemáticos ou máquinas de processamento de fórmulas. Como línguas em linguística, a linguagem formal possui dois aspectos:
Linha 40:
=== Gramática Formal ===
{{Main|Gramática
Em [[ciência da computação]] e em [[linguística]] gramática formal é uma descrição precisa de uma [[linguagem formal]]: um [[conjunto]] de [[cadeias de caracteres| cadeias]]. As duas principais categorias da gramática formal são: a [[gramática gerativa]], que é conjunto de regras de como cadeias podem ser geradas em uma linguagem, e a [[gramática formal|gramática analítica]], que é conjunto de regras de como cadeias podem ser analisadas para determinar se pertencem à linguagem. Em resumo, a gramática analítica descreve como ''reconhecer'' quando cadeias são membros de um conjunto, ao passo que a gramática gerativa descreve somente como ''escrever'' essas cadeiras no conjunto.
| |||