#韦东奕[超话]# 必有一真与至少一真的区别:1）同域概念间的关系为七种，同域命题问的关系也为七种，它们可以是一一相对应的，并都可以用文恩图描述或表示:全同(充要)、真包含于(充分)、真包含(必要)、纯交叉(无因)、矛盾(矛盾)、反对(反对)、下反对(下反对)。2）(p→q)，等价于(~pVq)’，符号’为穷尽符，它要求:p或~p，与q或~q必须同域，~p与q是同域中的七种命题关系中的充分或充要条件关系(或同域中的七种概念关系中的真包含于或全同关系)，即:~p与q在域w(w=(~pVq)’)中必须二者必有一真(不可同假)，它强调和突出的是一种逻辑关系:~p与q不但同域，并且在问域中是必有一真。3）(~pVq)，是说，针对某一特定现实场合中的一项或多项命题肢断定至少有一项为真，即:~p或p，与q或~q可以不同域,即使同域也可以不属充分或充要条件关系，而可以属于其他五种关系。它针对的范围不是域，而是特定现实场合，即针对实然命题。4）必有一真与至少一真的关系:(~pVq)’→(~pVq)，即:域命题→普命题，必有一真→至少一真，(p→q)→(~pⅤq)，但前后件并不等价，这就彻底破解了实质蕴涵的谬误性所在。