روش‌های استدلال و اثبات در ریاضیات گسسته