گزاره های دوشرطی و اثبات بازگشتی کتاب ریاضیات گسسته دوازدهم