Propositional variable: Difference between revisions

Revision as of 20:31, 13 June 2021

Revision as of 15:57, 2 July 2021

Line 1:

{{short description|A variable that can either be true or false.}}

In [[mathematical logic]], a '''propositional variable''' (also called a '''sentential variable''' or '''sentential letter''') is aan input [[variable (mathematics)|variable]] (that can either be '''true''' or '''false''') of a [[truth function]]. Propositional variables are the basic building-blocks of [[propositional formula]]s, used in [[propositional logic]] and [[Higher-order logic|higher-order logics]].

== Uses ==