propositional variable
logic
Quick Summary
A propositional variable is a symbol that represents a simple, unanalyzed proposition in logic. These variables, often represented by letters like 'p' or 'q', can take on a truth value of either true or false. They are the basic building blocks in propositional calculus, a system used to analyze compound propositions formed by logical connectives such as AND, OR, and NOT. Boolean algebra, which uses these concepts, is fundamental to the design of digital computers.1234
Summary created from Britannica articles
using AI.
AI can make mistakes, so verify using Britannica articles.
4 Britannica Sources
Ask Britannica AI about this topic
Britannica doesn't have a full article on this topic, so we've curated a list of our relevant coverage.
