以“如果渎职，则犯法”为前提进行假言直言推理，其小前提可以是（）。