Back متغير افتراضي Arabic Výroková proměnná Czech Aussagenvariable German Variable proposicional Spanish Variable propositionnelle French Variabile proposizionale Italian Zmienna zdaniowa Polish Variável proposicional (matemática) Portuguese Пропозициональная переменная Russian 命题变量 Chinese
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.
- ^ Howson, Colin (1997). Logic with trees: an introduction to symbolic logic. London ; New York: Routledge. p. 5. ISBN 978-0-415-13342-5.