7/12/2020 Inference Rules Cont. رياضيات متقطعة