Propositional Logic: What It Can and Cannot Express
Propositional logic focuses on truth-functional reasoning: every well-formed formula has a truth value determined by the truth values of its atomic propositional variables under a given valuation.
Because of this, propositional logic can express:
- True/false statements as propositions,
- Compound statements,
- Logical connectives.
However, propositional logic cannot express content that requires describing:
- Variables,
- Functions,
- or, more generally, any quantification over objects (e.g., “for all x …”, “there exists x …”), because propositional logic has no domain of objects and no term structure—only propositional variables with Boolean semantics.
This is exactly why first-order logic (FOL) is used when statements about objects, relations, and functions are required. In typical curricula and textbooks, the key contrast is:
- Propositional logic: truth-functional formulas over propositional variables.
- First-order logic: predicate/term formulas with variables and functions ranging over a domain.
Mermaid concept map of the expressive boundary:
So for your multiple-choice list, the option that propositional logic cannot express is: (iv) Variables and functions.
Expressive power progression
Propositional layer
Stage 1Truth-functional formulas using connectives over atomic truth values."
Predicate/term layer
Stage 2Introduce variables that range over objects and allow functions inside terms."
Quantification
Stage 3Add 'for all' and 'there exists'—impossible in pure propositional logic."
Why (iv) Variables and functions are not expressible in propositional logic
- 1Step 1
In propositional logic, formulas evaluate to true/false based only on truth values of propositional variables (no underlying domain).
- 2Step 2
If the intended 'variables' are object variables (like ), then their meaning depends on a domain—propositional logic has no domain mechanism.
- 3Step 3
Functions (like ) require term formation and interpretation; propositional logic has no term syntax.
- 4Step 4
Any statement requiring object-level terms or quantification cannot be represented—hence (iv) is the correct choice.
Expressive capabilities of propositional logic (vs. object-level logic)
Qualitative fit to the listed item types
Pro Tip
If a question mentions variables ranging over objects, functions, or quantifiers (, ), it’s a strong indicator that propositional logic is insufficient and first-order logic is the right framework.
Common misconception
Propositional logic does have symbols called “variables”—but they are not object variables. They are propositional atoms that just take Boolean truth values, not values from a domain.
Quick checks for each option
Knowledge Check
Which option is NOT expressible in propositional logic?