Login Preferences
About News Publications Statistics Downloads API Guide License How to use Preferences
bn:00064779n
Noun Concept
Categories: Mathematical proofs, Logical expressions, Articles with short description, Mathematical terminology, Logical consequence
EN
proposition
EN
(logic) a statement that affirms or denies something and is either true or false WordNet 3.0
English:
mathematics
Definitions
Relations
Sources
EN
(logic) a statement that affirms or denies something and is either true or false WordNet 3.0 & Open English WordNet
A sentence expressing something true or false. OmegaWiki
An assertion so formulated that it can be considered true or false. Wiktionary
IS A
statement
HAS PART
term
HAS KIND
axiom
conclusion
converse
lemma
negation
+6 relations
CATEGORY DOMAIN
logic
WordNet 3.0 & Open English WordNet
EN
proposition
Wiktionary
EN
proposition
OmegaWiki
EN
proposition
Wikipedia Redirections
EN
proposition (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