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