Propositional variable: Difference between revisions

Revision as of 02:59, 24 July 2024

Latest revision as of 13:26, 10 July 2025

(One intermediate revision by one other user not shown)

Line 1:

{{short description|Variable that can either be true or false}}

In [[mathematical logic]], a '''propositional variable''' (also called a '''sentence letter,<ref name=":13">{{Cite book |last=Howson |first=Colin |author-link=Colin Howson |title=Logic with trees: an introduction to symbolic logic |date=1997 |publisher=Routledge |isbn=978-0-415-13342-5 |___location=London ; New York |pages=5}}</ref>''' '''sentential variable,''' or '''sentential letter''') is an 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]]s.

== Uses ==

Line 43:

[[Category:Concepts in logic]]

[[Category:Logic symbols]]

{{logic-stub}}