负判断的逻辑形式是a不等于b，即a与b之间不相等。这样，如果一个条件不满足，我们就可以得出负判断的结论。例如，假设有个条件x等于2，那么如果一个数y不等于2，我们就可以得出y不是x，这就是一个负判断。