用真值表法和主析取范式法证明推理错误：如果a和b之积是负数，则a和b中恰有一个是负数，a和b之积不是负数。所以，a和b都不是负数

首先，我们可以用真值表法证明这个推理不正确。

对于给定的命题变量a和b，我们可以列出所有可能的真值组合，并根据推理中的条件进行比较。

| a | b | a和b之积是负数 | a和b中恰有一个是负数 | a和b之积不是负数 | a和b都不是负数 | |---|---|--------------|--------------------|------------------|-----------------| | 0 | 0 | 0 | 0 | 1 | 0 | | 0 | 1 | 0 | 1 | 1 | 0 | | 1 | 0 | 0 | 1 | 1 | 0 | | 1 | 1 | 1 | 0 | 0 | 1 |

从真值表中可以看出，在有一种情况下，即当a和b都为正数时，推理的结论不成立。因此，这个推理是不正确的。

接下来，我们可以用主析取范式法证明同样的结论。

首先，我们将原命题转化为逻辑表达式：

如果a和b之积是负数，则(a和b中恰有一个是负数)且(a和b之积不是负数)。

将命题中的条件和结论分别表示为逻辑表达式：

p: a和b之积是负数 q: a和b中恰有一个是负数 r: a和b之积不是负数

原命题可以表示为：p -> (q ∧ r)

使用主析取范式法，我们可以将逻辑表达式转化为主析取范式：

p -> (q ∧ r) = (¬p ∨ q) ∧ (¬p ∨ r)

根据主析取范式，我们可以得到以下结果：

(¬p ∨ q) ∧ (¬p ∨ r) = (¬(a和b之积是负数) ∨ (a和b中恰有一个是负数)) ∧ (¬(a和b之积是负数) ∨ (a和b之积不是负数))

根据逻辑运算的规则，我们可以推导出以下结果：

= ((a和b之积是正数) ∨ (a和b中恰有一个是负数)) ∧ ((a和b之积是正数) ∨ (a和b之积是负数))

根据这个结果可以看出，当a和b之积是正数时，推理的结论不成立。因此，这个推理是不正确的。

综上所述，使用真值表法和主析取范式法都可以证明这个推理不正确。