归缪赋值法的非是怎么判断的

归缪赋值法（Modus Ponens）是确定一个命题是否成立的一种推理方法。在判断归缪赋值法的非时，需要注意两个部分：归缪和赋值。

首先，归缪是指通过逻辑推理，从已知的前提（条件）中得出结论。具体而言，归缪是指在一个命题中，如果前提为真，那么结论也必然为真。

例如，前提为“A为B”，结论为“A就是B”，那么如果前提“A为B”成立，我们可以得出结论“A就是B”的结论。

其次，赋值是指为命题中的变量赋予不同的取值，通过改变变量的取值来判断命题的真假。赋值的过程通常通过真值表的方法来进行，真值表是一种逻辑推理中用来判断命题真假的一种方法。

对于归缪赋值法的非，我们需要注意以下几个方面：

1. 首先需要将命题转换成符合归缪赋值法的形式。这意味着我们需要明确前提和结论，并确保前提与结论之间存在蕴涵（如果前提为真，则结论必然为真）的关系。

2. 其次，需要确定变量的取值范围。根据真值表的原理，我们可以通过改变变量的取值来判断命题真假。

3. 然后，我们需要对变量进行赋值，并将这些赋值代入前提和结论中。通过比较前提和结论的值，我们可以判断结论是否为真。

4. 最后，我们需要反推是否存在反例。如果找到一个赋值，使得前提为真而结论为假，那么这个命题的非即为成立。如果无法找到这样一个赋值，那么这个命题的非即为不成立。

总结起来，判断归缪赋值法的非需要进行逻辑推理和赋值，并通过比较前提和结论的真值来判断结论的真假。