fórmula proposicional
Sign in to saveAlso known as propositional expression, sentence, sential formula, sentential formula, proposition
type of logical formula in propositional logic
In the Vinony graph
Within Vinony's link graph, fórmula proposicional is referenced by 357 other articles, and connects out to first-order logic, well-formed formula and semantic theory of truth.
Vinony files it under Boolean algebra, Logical expressions and Propositional calculus.
Its subject is documented across 10 Wikipedia language editions.
Wikidata facts
- Subclass of
- well-formed formula
Show 4 more facts
- different from
- declarative sentence
- Commons category
- Propositional formula
- maintained by WikiProject
- WikiProject Mathematics
- studied by
- propositional calculus
Sources (2)
via Wikidata · CC0
Connections
first-order logic
Entity
well-formed formula
Entity
semantic theory of truth
Entity
theorem
Entity
mathematical logic
Entity
George Boole
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