{compound proposition} [ریاضی] گزاره ای که از گزاره های ساده با به کار بردن رابط های منطقی ساخته می شود