تعريف العبارات الشرطية في الرياضيات