有些程序法不是国内法，所以，有些国内法不是程序法。

【参考答案】

不正确，因为它违反了“前提中不周延的项到结论中不得周延”的换位法规则。