Preferred language:

This is the default search language used by BabelNet
Select the main languages you wish to use in BabelNet:
Selected languages will be available in the dropdown menus and in BabelNet entries
Select all

A

B

C

D

E

F

G

H

I

J

K

L

M

N

O

P

Q

R

S

T

U

V

W

X

Y

Z

all preferred languages
    •     bn:00780911n     •     NOUN     •     Concept    •     Updated on 2019/12/09

  صيغة اقتراحي From automatic translation

 In propositional logic, a propositional formula is a type of syntactic formula which is well formed and has a truth value. Wikipedia

    •     bn:00780911n     •     NOUN     •     Concept    •     Updated on 2019/12/09

  公式 · 合式公式 · 合适公式 · 完构式

 In propositional logic, a propositional formula is a type of syntactic formula which is well formed and has a truth value. Wikipedia

IS A
HAS KIND
    •     bn:00780911n     •     NOUN     •     Concept    •     Updated on 2019/12/09     •     Categories: Boolean algebra, Commons category link from Wikidata, Logical expressions, Propositional calculus...

  Propositional formula · propositional expression · sentence · sential formula · Propositional encoding

In propositional logic, a propositional formula is a type of syntactic formula which is well formed and has a truth value. Wikipedia

More definitions


An assertion formulated in such a way that it may be proven true or false Wikipedia (disambiguation)
type of syntactic formula Wikidata

    •     bn:00780911n     •     NOUN     •     Concept    •     Updated on 2019/12/09     •     Categories: Logique propositionnelle

  Formule propositionnelle · Expression propositionnelle

En logique mathématique une proposition, ou formule propositionnelle, ou expression propositionnelle est une expression construite à partir de connecteurs et de variables propositionnelles. Wikipedia

    •     bn:00780911n     •     NOUN     •     Concept    •     Updated on 2019/12/09     •     Categories: Logik, Sprachwissenschaft

  Aussage

Der Begriff Aussage ist mehrdeutig. Wikipedia

More definitions


mehrdeutig verwendeter Begriff Wikidata

IS A
Formel • Satz • Logik
    •     bn:00780911n     •     NOUN     •     Concept    •     Updated on 2019/12/09

 No term available

 In propositional logic, a propositional formula is a type of syntactic formula which is well formed and has a truth value. Wikipedia

    •     bn:00780911n     •     NOUN     •     Concept    •     Updated on 2019/12/09

  נוסחה ההיסקיות From automatic translation

 In propositional logic, a propositional formula is a type of syntactic formula which is well formed and has a truth value. Wikipedia

HAS KIND
    •     bn:00780911n     •     NOUN     •     Concept    •     Updated on 2019/12/09

  साध्यात्मक सूत्र From automatic translation

 In propositional logic, a propositional formula is a type of syntactic formula which is well formed and has a truth value. Wikipedia

    •     bn:00780911n     •     NOUN     •     Concept    •     Updated on 2019/12/09

  formula proposizionale From automatic translation

 In propositional logic, a propositional formula is a type of syntactic formula which is well formed and has a truth value. Wikipedia

    •     bn:00780911n     •     NOUN     •     Concept    •     Updated on 2019/12/09

  命題論理式

 In propositional logic, a propositional formula is a type of syntactic formula which is well formed and has a truth value. Wikipedia

IS A
公式 •  • 論理学
    •     bn:00780911n     •     NOUN     •     Concept    •     Updated on 2019/12/09     •     Categories: Булева алгебра, Логика

  Высказывание (логика) · логическая формула · логическое высказывание · утверждение (информатика)

Выска́зывание в математической логикепредложение, выражающее суждение. Wikipedia

More definitions


Выражение, имеющее результатом логическую переменную Wikidata

    •     bn:00780911n     •     NOUN     •     Concept    •     Updated on 2019/12/09     •     Categories: Álgebra de Boole, Declaración (lógica), Lógica proposicional, Proposiciones...

  Fórmula proposicional (lógica) · Formula proposicional

En la lógica proposicional,una fórmula proposicional es un tipo de fórmula sintáctica la cual está bien formada y tiene un valor verdadero. Wikipedia


 

Translations

صيغة اقتراحي
公式, 合式公式, 合适公式, 完构式, 命 题 公 式
propositional formula, propositional expression, sentence, sential formula, propositional encoding, propositional form, sentential formula, the map method
formule propositionnelle, expression propositionnelle
aussage, aussagenlogische formel
נוסחה ההיסקיות
साध्यात्मक सूत्र
formula proposizionale
命題論理式
высказывание, логическая формула, логическое высказывание, утверждение, пропозициональная формула
fórmula proposicional, formula proposicional

Sources

1 source | 1 sense
2 sources | 5 senses
3 sources | 10 senses
4 sources | 4 senses
3 sources | 3 senses
1 source | 1 sense
1 source | 1 sense
1 source | 1 sense
1 source | 1 sense
4 sources | 8 senses
3 sources | 3 senses

Other forms

BabelNet

propositional
Proposition
высказыванием, утверждением, утверждений, высказываний, высказывания

External Links