Propositional variable: Difference between revisions

Revision as of 14:57, 12 June 2021

Revision as of 17:20, 12 June 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 a input [[Variablevariable (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 ==