Propositional variable
In mathematical logic, a propositional variable (also called a sentential variable or sentential letter) is a input variable (that can either be true or false) of a truth function. Propositional variables are the basic building-blocks of propositional formulas, used in propositional logic and higher-order logics.
Q1166618
mathematical logic
Concept
Q50701
variable
Concept
Q913874
truth function
Concept
Q1372900
propositional formula
Concept
Q200694
propositional logic
Concept
Q1644136
higher-order logics
Concept
Q3492863
Propositional variable
Concept
subclass of
facet of
studies