Login Preferences
About News Publications Statistics Downloads API Guide License How to use Preferences
bn:01410035n
Noun Concept
SYL
No term available
EN
In mathematical logic, a sentence of a predicate logic is a Boolean-valued well-formed formula with no free variables. Wikipedia
English:
mathematical logic
Relations
Sources
IS A
EN
statement
EN
well-formed formula
PART OF
EN
theory
HAS KIND
EN
atomic sentence
PL
Domknięcie uniwersalne
EN
theory
DIFFERENT FROM
EN
statement
FACET OF
EN
mathematics

Please note that, in order to improve your browsing experience on this website, BabelNet® uses various types of cookies, including: browsing functionality, performance and statistical cookies.

By continuing to browse the site you are agreeing to our use of cookies. OK

License