“如果某甲犯了贪污罪则某甲应受法律制裁”这一判断的逻辑形式是（），其中，逻辑常项是（），变项是（）。