负复合判断等值公式的直观推演

负复合判断的等值判断的教学，应该通过人工语言的直观和自然语言的直观两条途径，达到理性具体和感性具体两个层次上的互补与融合。在解决“为何等值”的问题中，人工语言起着决定性的作用，并且人工语言的直观完全可以通过真值表的推演和验证来实现，从而变抽象为具象，使“等值”这一教学难点得到化解。