Login Preferences
About News Publications Statistics Downloads API Guide License How to use Preferences
bn:00780911n
Noun Concept
Categories: Syntax (logic), Propositional calculus, Boolean algebra, All articles with style issues, Propositions
EN
propositional formula  proposition  Propositional encoding  propositional expression  Propositional form
EN
In propositional logic, a propositional formula is a type of syntactic formula which is well formed and has a truth value. Wikipedia
Definitions
Relations
Sources
EN
In propositional logic, a propositional formula is a type of syntactic formula which is well formed and has a truth value. Wikipedia
Type of logical formula in the propositional logic Wikidata
IS A
sentence
statement
well-formed formula
word
HAS KIND
conjunctive normal form
antecedent
DIFFERENT FROM
propositional formula
propositional function
FACET OF
propositional logic
Wikipedia
EN
propositional formula
Wikidata
EN
propositional formula
Wikipedia Redirections
EN
Propositional encoding, propositional expression, Propositional form, sentential formula, The map method
Wikidata Alias
EN
proposition, propositional expression, sentence, sentential formula, sential formula

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