propositional variable

[ریاضیات] متغیر گزاره ای