Discussão:Sistema formal
Adicionar tópicoÚltimo comentário: 17 de setembro de 2016 de Leon saudanha no tópico Fusão Sistema lógico; Sistema formal
 | Este artigo foi avaliado automaticamente com qualidade 2 e faz parte do âmbito de um WikiProjeto: Lógica. | |
|---|---|---|
 |  | Para o WikiProjeto:Lógica este artigo possui importância ainda não avaliada. Se você se interessa pelo assunto, visite o projeto para conhecer as tarefas e discussões em curso. |
| Se não tiver suas questões respondidas nesta página de discussão procure o(s) wikiprojeto(s) acima. | ||
Fusão Sistema lógico; Sistema formal
Essa é uma discussão feita na Central de Fusões ela está transcluída aqui para maior visibilidade. Para adicionar um comentário clique no link de editar ao lado direito.
Proposta feita em 5 de maio de 2012 para a fusão das seguintes páginas: [[]].
Discussão encerrada. Resultado: 
fundido
Eu não tenho certeza, mas Sistema lógico e Sistema formal me parecem ser sinônimos. Cada um, porém, tem atualmente um artigo separado aqui na Wikipédia.
No Wikcionário, os verbetes Sistema lógico e Sistema formal são sinônimos.
Também no artigo sobre Linguagem formal aqui na Wikipédia aparece essa relação de sinônimos na seção Aplicações > Teorias formais, sistemas e provas:
"Um sistema formal (também chamado de um cálculo lógico, ou um sistema lógico) consiste de uma linguagem formal em conjunto com um aparato dedutivo (também chamado de um sistema dedutivo)."
Se alguém puder confirmar se são sinônimos, sugiro a fusão dos dois artigos.
- Citando o que está na en.wiki no artigo "formal system", secção "Logical system": Citação: A logical system or, for short, logic, is a formal system together with a form of semantics, usually in the form of model-theoretic interpretation, which assigns truth values to sentences of the formal language, that is, formulae that contain no free variables. A logic is sound if all sentences that can be derived are true in the interpretation, and complete if, conversely, all true sentences can be derived.. Polyethylen (discussão) 21h08min de 5 de maio de 2012 (UTC)
- Nenhum dos dois artigos tem fontes, ambos devem ser apagados. Albmont (discussão) 19h40min de 9 de maio de 2012 (UTC)
arquivado como fundir--Leon Saudanha 22h34min de 17 de setembro de 2016 (UTC)