| 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)
|
![[RDF Data]](/fct/images/sw-rdf-blue.png)
![[cxml]](/fct/images/cxml_doc.png)
![[csv]](/fct/images/csv_doc.png)
![[text]](/fct/images/ntriples_doc.png)
![[turtle]](/fct/images/n3turtle_doc.png)
![[ld+json]](/fct/images/jsonld_doc.png)
![[rdf+json]](/fct/images/json_doc.png)
![[rdf+xml]](/fct/images/xml_doc.png)
![[atom+xml]](/fct/images/atom_doc.png)
![[html]](/fct/images/html_doc.png)