SUPPORT THE WORK

# GetWiki

### propositional variable

ARTICLE SUBJECTS
news  →
unix  →
wiki  →
ARTICLE TYPES
feed  →
help  →
wiki  →
ARTICLE ORIGINS
propositional variable
[ temporary import ]
- the content below is remote from Wikipedia
- it has been imported raw for GetWiki
In mathematical logic, a propositional variable (also called a sentential variable or sentential letter) is a variable which can either be true or false. Propositional variables are the basic building-blocks of propositional formulas, used in propositional logic and higher logics.

## Uses

Formulas in logic are typically built up recursively from some propositional variables, some number of logical connectives, and some logical quantifiers. Propositional variables are the atomic formulas of propositional logic.
Example
In a given propositional logic, we might define a formula as follows:
• Every propositional variable is a formula.
• Given a formula X the negation Â¬X is a formula.
• Given two formulas X and Y, and a binary connective b (such as the logical conjunction âˆ§), then (X b Y) is a formula. (Note the parentheses.)
In this way, all of the formulas of propositional logic are built up from propositional variables as a basic unit. Propositional variables should not be confused with the metavariables which appear in the typical axioms of propositional calculus; the latter effectively range over well-formed formulae.

## In first order logic

Propositional variables are represented as nullary predicates in first order logic.

{{col-begin}}{{col-break}} {{col-break}} {{col-end}}

## References

• Smullyan, Raymond M. First-Order Logic. 1968. Dover edition, 1995. Chapter 1.1: Formulas of Propositional Logic.
{{logic-stub}}

- content above as imported from Wikipedia
- "propositional variable" does not exist on GetWiki (yet)
- time: 5:29am EDT - Fri, May 24 2019
[ this remote article is provided by Wikipedia ]
LATEST EDITS [ see all ]
GETWIKI 09 MAY 2016
GETWIKI 18 OCT 2015
M.R.M. Parrott
Biographies
GETWIKI 20 AUG 2014
GETWIKI 19 AUG 2014
GETWIKI 18 AUG 2014
Wikinfo
Culture
CONNECT