Related Searches
on Ask.com
Propositional variable
1 reference results for: Propositional variable
Wikipedia
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.
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. For 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.
In this way, all of the formulas of propositional logic are built up from propositional variables as a basic unit.
See also
References
- Smullyan, Raymond M. First-Order Logic. 1968. Dover edition, 1995. Chapter 1.1: Formulas of Propositional Logic.
Wikipedia, the free encyclopedia © 2001-2006 Wikipedia contributors (Disclaimer)
This article is licensed under the GNU Free Documentation License.
Last updated on Wednesday June 11, 2008 at 13:13:21 PDT (GMT -0700)
View this article at Wikipedia.org - Edit this article at Wikipedia.org - Donate to the Wikimedia Foundation
This article is licensed under the GNU Free Documentation License.
Last updated on Wednesday June 11, 2008 at 13:13:21 PDT (GMT -0700)
View this article at Wikipedia.org - Edit this article at Wikipedia.org - Donate to the Wikimedia Foundation
Share This:
Copyright © 2008, Dictionary.com, LLC. All rights reserved.