Search
❯
Nov 14, 20251 min read
A variable that can be evaluated as true or false.
PV is the set of all propositional variables.