Propositional variable: Difference between revisions

Revision as of 14:42, 8 April 2009

Revision as of 19:20, 24 April 2009

Line 1:

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

Formulas in logic are typically built up recursively from some propositional variables, some number of [[logical connective]]s, and some [[logical quantifier]]s. Propositional variables are the [[atomic formula]]s of propositional logic. For example, in a given propositional logic, we might define a formula as follows:

Line 23:

==References==

*Smullyan, Raymond M. ''First-Order Logic''. 1968. Dover edition, 1995. Chapter 1.1: Formulas of Propositional Logic.

[[Category:Sentential logic]]

{{logic-stub}}