Propositional variable

In mathematical logic, a propositional variable (also called a sentence letter,[1] sentential variable, or sentential letter) is an 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.

  1. ^ Howson, Colin (1997). Logic with trees: an introduction to symbolic logic. London; New York: Routledge. p. 5. ISBN 978-0-415-13342-5.