以上都是在自然语言中，所有的有效论证都与我们给定的形式是相匹配的()错误析取命题是指两个或两个以上对象可能性至少有一个存在或为真的复合命题(正确复合命题论证：条件论证与二难论证一个命题为真是另一个命题为真的充分条件的命题是()B•A