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

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

假设a和b之积是负数，我们可以列出真值表如下：

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

从上表可以看出，当a和b之积是负数时，推理中的前提成立，但结论不成立。这意味着推理不正确。

接下来，我们可以用主析取范式法来证明这个推理不正确。

假设a和b之积是负数，我们可以写出主析取范式如下：

(a∧¬b)∨(¬a∧b)

根据这个主析取范式，我们可以得到以下情况：

当a为负数，b为正数时，主析取范式为真； 当a为正数，b为负数时，主析取范式为真； 当a为负数，b为0时，主析取范式为假； 当a为0，b为负数时，主析取范式为假； 当a为0，b为0时，主析取范式为真； 当a为正数，b为0时，主析取范式为假； 当a为0，b为正数时，主析取范式为假； 当a为正数，b为正数时，主析取范式为假；

从上述情况可以看出，当a和b之积是负数时，主析取范式并不能确保推理中的结论成立。因此，这个推理不正确。

综上所述，通过真值表法和主析取范式法，我们证明了这个推理不正确。