statement variable

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