 #jsDisabledContent { display:none; } My Account | Register | Help Flag as Inappropriate This article will be permanently flagged as inappropriate and made unaccessible to everyone. Are you certain this article is inappropriate?          Excessive Violence          Sexual Content          Political / Social Email this Article Email Address:

# Propositional variable

Article Id: WHEBN0001557562
Reproduction Date:

 Title: Propositional variable Author: World Heritage Encyclopedia Language: English Subject: Collection: Publisher: World Heritage Encyclopedia Publication Date:

### Propositional variable

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.

## Contents

• Uses 1
• In first order logic 2
• See also 3
• References 4

## 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.

## See also

Copyright © World Library Foundation. All rights reserved. eBooks from Project Gutenberg are sponsored by the World Library Foundation,
a 501c(4) Member's Support Non-Profit Organization, and is NOT affiliated with any governmental agency or department.