Well-formed formula (original) (raw)

dbo:abstract

صيغة حسنة البناء أو جيدة التكوين (بالإنجليزية: Well-formed formula)‏ واختصاراً (بالإنجليزية: WFF)‏ إحدى الصيغ البسيطة المُستخدمة في المنطق الرياضي والمنطق الافتراضي والمنطق الأصلي وهي سلسلة محدودة من االرموز التابعة لأبجدية معينة والتي تكون جزء من لغة رسمية. يمكن التعرف على اللغة الرسمية من خلال مجموعة الصيغ، والصيغة هي كائن يحوي معنى دلالي عن طريق التفسير. تًستخدم الصيغ بطريقتين رئيسيتين في منطق الافتراض ومنطق الرتبة الأولى. (ar)
A lògica matemàtica, una fórmula ben formada , també anomenada paraula , expressió o fórmula , i sovint abreujada fbf , és una cadena de caràcters generada segons una gramàtica formal a partir d'un donat. Un llenguatge formal es defineix com el conjunt de totes les seves fórmules ben formades. Per exemple, un alfabet podria ser el conjunt{ a , b }, i una gramàtica podria definir a les fórmules ben formades com aquelles cadenes que tenen el mateix nombre de caràcters a que b . Llavors, algunes fórmules ben formades del llenguatge serien: ab , ba , abab , ababba , etc. El llenguatge formal seria el conjunt de totes aquestes fórmules ben formades. A la lògica formal, les demostracions són seqüències de fórmules ben formades amb certes propietats, on la darrera fórmula de la seqüència és allò que es demostra. Aquesta fórmula final es diu teorema quan té un paper important en la teoria sent desenvolupada, o lema quan té un paper accessori en la demostració d'un teorema. (ca)
En lógica matemática, una fórmula bien formada, también llamada expresión bien formada, y a menudo abreviada fbf o EBF, es una cadena de caracteres o palabra generada según una gramática formal a partir de un alfabeto dado. Un lenguaje formal se define como el conjunto de todas sus fórmulas bien formadas. Por ejemplo, un alfabeto podría ser el conjunto {a,b}, y una gramática podría definir a las fórmulas bien formadas como aquellas cadenas que tienen el mismo número de caracteres a que b. Entonces, algunas fórmulas bien formadas del lenguaje serían: ab, ba, abab, ababba, etc. El lenguaje formal sería el conjunto de todas esas fórmulas bien formadas. En la Teoría de la demostración, las demostraciones son secuencias de fórmulas bien formadas con ciertas propiedades, donde la última fórmula de la secuencia es aquello que se demuestra. Esta fórmula final se llama teorema cuando tiene un papel importante en la teoría siendo desarrollada, o lema cuando desempeña un papel accesorio en la demostración de un teorema. (es)
En logique on dit d’une suite finie de lettres qu’elle est une formule, ou parfois formule bien formée, d'un langage logique donné lorsqu’elle peut être construite en appliquant une combinaison des règles de la grammaire formelle associée, on parle de la syntaxe du langage. Informellement les formules sont les assemblages de lettres auxquels il est possible de donner une signification en termes de valeur de vérité (Vrai, ou Faux). Les formules logiques sont l'équivalent des phrases du langage naturel. Les formules du langage sont interprétées, suivant la sémantique de la logique considérée, en leur attribuant une valeur de vérité. La syntaxe du calcul des prédicats nécessite d'introduire une autre notion, celle de terme, la syntaxe des termes du langage étant liée à une signature. Les termes sont eux interprétés par des objets (nombres, points, etc.). Il est possible d'assembler les formules pour construire des démonstrations, suivant des règles formelles associées à un système de déduction. L'appellation « formule bien formée » (traduction de (en)well-formed formula) pour formule, est une trace d'un usage ancien où on appelait formules les suites finies de caractères quelconques. (fr)
In mathematical logic, propositional logic and predicate logic, a well-formed formula, abbreviated WFF or wff, often simply formula, is a finite sequence of symbols from a given alphabet that is part of a formal language. A formal language can be identified with the set of formulas in the language. A formula is a syntactic object that can be given a semantic meaning by means of an interpretation. Two key uses of formulas are in propositional logic and predicate logic. (en)
논리학에서 논리식(論理式, 영어: formula) 또는 정형 논리식(整型論理式, 영어: well-formed formula, 약자 WFF)은 어떤 논리 체계의 언어 속 기호들로 구성된 유한 문자열 가운데, 합법적인 ‘명제’로 여길 수 있는 것들이다. 명제 논리나 술어 논리에서, 논리식은 원자 명제와 논리 연산을 통해 재귀적으로 구성되며, 공리와 추론 규칙으로부터 다른 논리식들을 유도하는 증명에 참여한다. 이론의 모형 속에서 각 논리식은 그 모형에서의 구체적인 명제로 해석되어 참과 거짓 여부를 부여받는다. (ko)
数理論理学、命題論理、述語論理における論理式（ろんりしき、英: formulaあるいはwell-formed formula）とは、論理結合子の適用対象となる記号列のことである。整論理式ということもある。ここでは古典論理を主な対象とするが、非古典論理をはじめ、他の多くの論理体系についても同様な議論は可能である。 (ja)
Nella logica matematica si chiama formula ben formata o - brevemente - FBF di un sistema formale una stringa di simboli che, intuitivamente, rappresenti un'espressione sintatticamente corretta e che viene definita mediante le regole della grammatica del sistema formale stesso. Definizioni specifiche di formula ben formata vengono date nell'ambito della logica proposizionale e dei linguaggi del primo ordine. (it)
Em lógica matemática, uma fórmula bem formada, abreviadamente fbf, é uma expressão (por exemplo, uma sequência finita de símbolos de determinado alfabeto) que é parte de uma Linguagem formal. Uma linguagem formal pode ser considerada como um conjunto contendo todas e apenas suas fórmulas. Uma fórmula bem formada é um objeto formal sintático a que se pode dar um significado semântico. Uma utilização chave das fórmulas bem formadas está na lógica proposicional e na lógica de predicados, tal como na lógica de primeira ordem. Nesses contextos, uma fórmula bem formada é um conjunto de símbolos φ que para cada um faz sentido perguntar "φ é verdadeiro?", uma vez que cada variável livre em φ tenha sido instanciada. Em lógica formal, provas podem ser representadas como sequências de fórmulas bem formadas com certas propriedades, e a última fórmula da sequência é o que está provado. Embora o termo "fórmula" possa ser usada para marcas escritas (por exemplo, em um pedaço de papel ou num quadro-negro), ele é mais precisamente entendido como a sequência que está sendo expressa, com as marcas sendo um evento ou um caso (token) da . Não é necessária para a existência da fórmula que haja tokens reais dela. Uma linguagem formal pode, assim, ter um número infinito de fórmulas independentemente de cada fórmula ter um token. Além disso, uma mesma fórmula pode ter mais de um token, se ela for escrita mais de uma vez. Fórmulas bem formadas são muitas vezes interpretadas como proposições (como, por exemplo, em Lógica proposicional). Porém, fórmulas bem formadas são entidades sintáticas e, assim devem ser especificadas numa linguagem formal sem levar em conta nenhuma interpretação. Uma fórmula interpretada pode ser o nome de algo, um adjetivo, um advérbio, uma preposição, uma frase, sentença imperativa, um conjunto de sentenças, um conjunto de nomes, etc. Uma fórmula pode até mesmo se tornar sem sentido se os símbolos da linguagem são especificados para que isso aconteça. Além disso, uma fórmula não precisa receber nenhuma interpretação. (pt)
在形式系統與逻辑中，合式公式（well-formed formula，WFF）又称合適公式、良式公式，可简称公式（formula），即“符合語法規則的公式”，是一逻辑体系中的“一个表达式”或“一个有限符号序列”；此表达式或序列，来自给定的字母表（字符），且属于形式语言的一种。合式公式与该逻辑体系的构成规则相符合，类似于自然语言中的一个语法句子。若给定一形式文法，则WFF是这个文法生成的任何字符串。例如，在命题演算中符号序列是一个WFF，因为它在文法上正确。符号序列不是WFF，因为它不符合命题演算的文法。在形式逻辑中，证明是有特定性质的WFF序列，而序列中最终的WFF就是要证明的。 (zh)

rdfs:comment

صيغة حسنة البناء أو جيدة التكوين (بالإنجليزية: Well-formed formula)‏ واختصاراً (بالإنجليزية: WFF)‏ إحدى الصيغ البسيطة المُستخدمة في المنطق الرياضي والمنطق الافتراضي والمنطق الأصلي وهي سلسلة محدودة من االرموز التابعة لأبجدية معينة والتي تكون جزء من لغة رسمية. يمكن التعرف على اللغة الرسمية من خلال مجموعة الصيغ، والصيغة هي كائن يحوي معنى دلالي عن طريق التفسير. تًستخدم الصيغ بطريقتين رئيسيتين في منطق الافتراض ومنطق الرتبة الأولى. (ar)
In mathematical logic, propositional logic and predicate logic, a well-formed formula, abbreviated WFF or wff, often simply formula, is a finite sequence of symbols from a given alphabet that is part of a formal language. A formal language can be identified with the set of formulas in the language. A formula is a syntactic object that can be given a semantic meaning by means of an interpretation. Two key uses of formulas are in propositional logic and predicate logic. (en)
논리학에서 논리식(論理式, 영어: formula) 또는 정형 논리식(整型論理式, 영어: well-formed formula, 약자 WFF)은 어떤 논리 체계의 언어 속 기호들로 구성된 유한 문자열 가운데, 합법적인 ‘명제’로 여길 수 있는 것들이다. 명제 논리나 술어 논리에서, 논리식은 원자 명제와 논리 연산을 통해 재귀적으로 구성되며, 공리와 추론 규칙으로부터 다른 논리식들을 유도하는 증명에 참여한다. 이론의 모형 속에서 각 논리식은 그 모형에서의 구체적인 명제로 해석되어 참과 거짓 여부를 부여받는다. (ko)
数理論理学、命題論理、述語論理における論理式（ろんりしき、英: formulaあるいはwell-formed formula）とは、論理結合子の適用対象となる記号列のことである。整論理式ということもある。ここでは古典論理を主な対象とするが、非古典論理をはじめ、他の多くの論理体系についても同様な議論は可能である。 (ja)
Nella logica matematica si chiama formula ben formata o - brevemente - FBF di un sistema formale una stringa di simboli che, intuitivamente, rappresenti un'espressione sintatticamente corretta e che viene definita mediante le regole della grammatica del sistema formale stesso. Definizioni specifiche di formula ben formata vengono date nell'ambito della logica proposizionale e dei linguaggi del primo ordine. (it)
在形式系統與逻辑中，合式公式（well-formed formula，WFF）又称合適公式、良式公式，可简称公式（formula），即“符合語法規則的公式”，是一逻辑体系中的“一个表达式”或“一个有限符号序列”；此表达式或序列，来自给定的字母表（字符），且属于形式语言的一种。合式公式与该逻辑体系的构成规则相符合，类似于自然语言中的一个语法句子。若给定一形式文法，则WFF是这个文法生成的任何字符串。例如，在命题演算中符号序列是一个WFF，因为它在文法上正确。符号序列不是WFF，因为它不符合命题演算的文法。在形式逻辑中，证明是有特定性质的WFF序列，而序列中最终的WFF就是要证明的。 (zh)
A lògica matemàtica, una fórmula ben formada , també anomenada paraula , expressió o fórmula , i sovint abreujada fbf , és una cadena de caràcters generada segons una gramàtica formal a partir d'un donat. Un llenguatge formal es defineix com el conjunt de totes les seves fórmules ben formades. (ca)
En lógica matemática, una fórmula bien formada, también llamada expresión bien formada, y a menudo abreviada fbf o EBF, es una cadena de caracteres o palabra generada según una gramática formal a partir de un alfabeto dado. Un lenguaje formal se define como el conjunto de todas sus fórmulas bien formadas. (es)
En logique on dit d’une suite finie de lettres qu’elle est une formule, ou parfois formule bien formée, d'un langage logique donné lorsqu’elle peut être construite en appliquant une combinaison des règles de la grammaire formelle associée, on parle de la syntaxe du langage. Informellement les formules sont les assemblages de lettres auxquels il est possible de donner une signification en termes de valeur de vérité (Vrai, ou Faux). Les formules logiques sont l'équivalent des phrases du langage naturel. (fr)
Em lógica matemática, uma fórmula bem formada, abreviadamente fbf, é uma expressão (por exemplo, uma sequência finita de símbolos de determinado alfabeto) que é parte de uma Linguagem formal. Uma linguagem formal pode ser considerada como um conjunto contendo todas e apenas suas fórmulas. Uma fórmula bem formada é um objeto formal sintático a que se pode dar um significado semântico. (pt)

owl:sameAs

is dbo:wikiPageRedirects of