| Catalan |
| has gloss | cat: En lògica matemàtica, una fórmula és un objecte sintàctic formal que expressa una proposició. La definició exacta duna fórmula depèn del desenvolupament particular de la lògica formal en qüestió, però una definició bastant típica (específica a la lògica de primer ordre) és la següent: les fórmules es defineixen en relació a un llenguatge matemàtic particular, és a dir, una col·lecció de variables, constants, símbols lògics, símbols de funció i símbols de relació, on cadascun dels símbols de funció i de relació va acompanyat duna aritat que indica el nombre d'arguments que requereix. |
| lexicalization | cat: fórmula |
| Czech |
| has gloss | ces: Formule (také predikátová formule, srov. výroková formule) je v matematice a logice syntaktický pojem reprezentující nějaké (matematické) tvrzení v jisté formální teorii predikátové logiky prvního řádu. |
| lexicalization | ces: formule |
| French |
| has gloss | fra: En logique et en mathématiques, une formule est une suite finie d'objets, dotée de propriétés particulières qui rendent possible la syntaxe dans tous ces domaines. |
| lexicalization | fra: formule |
| Japanese |
| has gloss | jpn: 論理式（ろんりしき、）は、数理論理学における命題を表す形式的文法を有する式のこと。命題の真偽はその論理式の自由変項の値に依存する。 |
| lexicalization | jpn: 論理式 |
| Polish |
| has gloss | pol: Formuła logiczna to określenie dozwolonego wyrażenia w wielu systemach logicznych, m.in. w rachunku kwantyfikatorów oraz w rachunku zdań. |
| lexicalization | pol: Formuła logiczna |
| Portuguese |
| has gloss | por: Na lógica matemática, uma fórmula é uma representação de uma proposição dentro de uma certa linguagem formal. |
| lexicalization | por: Formula logica |
| lexicalization | por: Formula |
| lexicalization | por: Fórmula lógica |
| lexicalization | por: fórmula |
| Russian |
| has gloss | rus: Булева формула (по имени Джорджа Буля) — формула логики высказываний. Может содержать логические переменные и пропозициональные связки — конъюнкцию ("\wedge"), дизъюнкцию ("\vee"), отрицание ("\neg") и другие. Формула называется тождественно истинной (ложной), если она истинна (ложна) при любых значениях переменных. |
| lexicalization | rus: Булева формула |
| Castilian |
| lexicalization | spa: Formula matematica |
| lexicalization | spa: Fórmula matemática |
| Chinese |
| has gloss | zho: 在数理逻辑中，公式是表达命题的形式语法对象，除了这个命题可能依赖于这个公式的自由变量的值之外。 |
| lexicalization | zho: 公式 |