In classical logic, the logical connective for disjunction has the truth conditions associated with inclusive-or. A statement of the form [A or B] is true in three circumstances: When only A is true, when only B is true, and when both A and B are true. In...... (本文共 18100 字 ) [阅读本文] >>


说明: 本文档由创作者上传发布,版权归属创作者。若内容存在侵权,请点击