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