摘要： 逻辑判断-推理系统逻辑判断系统设计概要：根据联结词的优先级：￢∧∨→↔输入中缀逻辑式将之转化为后缀表达式得到公式模板（后缀式）和变量名集合构造的映射关系根据后缀式和 构造好的 映射 可计算其真值类实现：C++：（初次实现，无图形界面）class Logic {publ... 阅读全文