propositional formula
Sign in to saveAlso known as propositional expression, sentence, sential formula, sentential formula, proposition
type of logical formula in propositional logic
Wikidata facts
Show 1 more fact
- Commons category
- Propositional formula
Sources (2)
via Wikidata · CC0
Connections
first-order logic
Entity
well-formed formula
Entity
semantic theory of truth
Entity
theorem
Entity
mathematical logic
Entity
Q134661
Entity
propositional calculus
Entity
proposition
Entity
formal language
Entity
logical operator
Entity
quantifier
Entity
computability theory
Entity
Karnaugh map
Entity
law of noncontradiction
Entity
formal system
Entity
Stephen Cole Kleene
Entity
recursive set
Entity
semantics of logic
Entity
domain of discourse
Entity
structure
Entity