摘 要：笔者在本刊2016第4期《对普通逻辑判断的新思维》中，对普通逻辑中性质判断和复合判断的真假关系和逻辑特征作全新的描述。创立了真值图，提炼出真值口诀；在2016第7期《普通逻辑推理路径研判》中，根据真值图的不同形态，直接解读出推理规则。本文对推理图作了进一步的完善，并绘制了性质判断的真值方阵图和推理方阵图，对现有普通逻辑体系有所突破。
关键词：真值图 方阵图 推理图
一、同素材的四个性质判断之间真假关系的图形表示
我们知道，普通逻辑中同素材的A、E、I、O四个性质判断可以归结为四种基本形式，其对当关系可以用逻辑方阵图表示：
逻辑方阵图虽然标明了A、E、I、O之间具有对当关系，却没有反映其真假关系及推理规则的具体内容，不能不说是一个缺憾。
由于受到教学课时、教学资源、学生人数等多种因素的制约，大多数高校的文检课教学仍然停留在理论授课为主、实践教学为辅的阶段，不利于培养学生对文献信息的检索与应用能力[4]。而且，传统意义上的检索实践，通常是由教师在讲完某种检索工具或数据库后，布置几个相关的习题，学生按题检索，获得答案。这种实践是“只见树木，不见森林”，不利于培养学生的综合应用能力。
笔者在《对普通逻辑判断的新思维》中对同素材的性质判断之间的真假关系以真值口诀作概括：上反对关系是有假为真，下反对关系是有真为真，矛盾关系是不同为真，差等关系是真假为假。
现以真值图表示A、E、I、O之间的真假关系。制作方法以A与E为例，以 “1”表示A与E为真，置于图的上端；以 “0”表示A与E为假，置于图的下端；A置于前端、E置于后端；在判断为真的A与E之间以直线相连接。
陕西特色美食文化是中国美食文化中的重要组成部分，通过正确的对陕西美食文化进行翻译，能够让陕西美食文化受到世界各国人民的关注，让他们了解陕西、喜爱陕西美食，为当地旅游经济发展做出更大的贡献。
1.据此，我们可以得到上反对关系的真值图为：
真值图似汉字倒写的又形，称之为“倒又形”关系，真值符号。
2.同理，下反对关系的真值图为：
真值图呈现汉字的又形，称之为“又形”关系，真值符号。
3.矛盾关系的真值图为：
真值图呈现大写英语字母X形，称之为“X形”关系，真值符号 。
4.差等关系的真值图为：
真值图呈现英语字母Z形，称之为“Z形”关系，真值符号
此推理图表明：上反对关系的推理是单向推理，由真推导出假，推理符号：
现将前述同素材的A、E、I、O四个性质判断之间的真假关系用方阵图表示，称作性质判断真值方阵图。
二、同素材A、E、I、O之间依据真值图的直接推理及图形表示
依据性质判断的真值图可以作直接推理。以上反对关系为例，其真值图是“”形，当A（E）假时E（A）可真可假；说明A或E假都无法进行逻辑推理。当A（E）真时仅E（A）为假，可以进行逻辑推理。我们只须根据A（或者E）只有一根直线连接E（或者A）的情况，就可直观地进行逻辑推理。这是真值图的第二个作用：依据真值图形（真值符号）直接解读出推理规则。我们以方向箭头表示推理符号。
1.上反对关系（A—E）
2.1 否定一部分选言肢，就要肯定另一部分选言肢。
真值图的第一个作用在于：我们可以直接依据真值图（真值符号）解读出其真假关系，在前项与后项之间，有连接线为真、无连接线为假。
2.下反对关系（I—O）
差等关系的真值图为形，可以得到推理图：
联言判断的真值图为形。当我们把各个联言肢作为前项，把联言判断作为后项，得到的真值图仍然是形。根据推理规则把推理符号加载于真值图，便得到推理图：
此推理图表明：下反对关系的推理是单向推理，由假推导出真。推理符号：
3.矛盾关系（A—O或者E—I）
矛盾关系的真值图为 形，可以得到推理图：
这是一个双向推理，由真推导出假以及由假推导出真。推理符号：。
4.差等关系（A—I或者E—O）
下反对关系的真值图为形，可以得到推理图：
由此推理图可知：差等关系的推理是由全称判断为真推导出特称判断为真、以及由特称判断为假推导出全称判断为假。推理符号：。
推理图既反映了真假关系，又反映了推理规则。可以用性质判断推理方阵图表示：
现将前述同素材的A、E、I、O之间的真值图、真值符号、真值口诀、推理图及推理口诀列表如下：
对当关系 真值图 真值符号 真值口诀 推理图 推理符号上反对关系（A—E）A 1 1 E A 0 0 E 有假为真 A 11 E A 00 E 下反对关系（I—O）I 1 1 O I 0 0 O 有真为真 I 11 O I 00 O 矛盾关系（A—O或E—I） A（E）0 0 O（I） 不同为真 A（E） 11 O（I） A（E） 00 O（I） A（E）1 1 O（I） 差等关系（A—I或E—O）A（E）1 1 I（O） A（E）0 0 I（O） 真假为假 A（E） 11 I（O） A（E） 00 I（O）
基于同样的思维，同一素材的模态判断间的对当关系与同素材的A、E、I、O之间的对当关系类似，亦可绘制真值图、真值口诀以及推理图。
三、复合判断真假情况的图形表示
笔者在《对普通逻辑判断的新思维》中对复合判断的真假关系以真值图作描述，现对原来的真值图进行完善，以“1”替代实心圆“●”，以“0”替代空心圆“○”，列表如下：
诞生于香港的国泰航空国际美酒品评大赛(Cathay Pacific Hong Kong International Wine & Spirits Competition, HK IWSC）创办于2008年，大赛评委均由来自亚洲的行业专家组成，包括来自于日本、新加坡、印度和中国香港的4位葡萄酒大师，知名的餐饮业专业人士、酒类教育家、进口商、酒评家和记者等等。今年的HK IWSC，共颁发了47个奖杯。表现最好的产酒国澳洲包揽了9个奖杯，而法国和日本就分别赢得6个和5个奖杯。
3.2 否定一部分选言肢，就要肯定另一部分选言肢。
复合判断 真值图 真值符号 真值口诀联言判断 p1 1q p0 0q 1—1 同真为真相容选言判断 p1 1q p0 0q 有真为真不相容选言判断p1 1q p0 0q 不同为真 充分条件假言判断p1 1q p0 0q 真假为假必要条件假言判断p1 1q p0 0q 假真为假充分必要条件假言判断p1 1q p0 0q 相同为真
四、复合判断依据真值图的直接推理及图形表示
与性质判断一样，复合判断同样可以依据真值图进行推理。
优化教堂广场的空间属性，从目的上讲，即使教堂广场空间成为除具有文化优势外，同时又具有交通优势与视域优势的优质空间，促进更多的人可以到达或经过广场，提高空间活力.而从理论上讲，提高人进入广场的可能性，应提高空间的可达性与可见性.
1.联言推理
联言推理具有两种形式：分解式和组合式，其推理规则：
文中涉及的记号与术语可参见[1,10-11]。若X是拓扑空间,F⊆X,F在X中的闭包记为clF,在涉及多个空间时,为区分起见也记作clXF。空间X的全体开集与全体闭集分别记为Ο(x)与Γ(x)。
1.1 分解式。当一个联言判断为真时，各个联言肢为真；
1.2 组合式。当各个联言肢为真时，该联言判断为真。
随着水利工程中大体积混凝土的广泛运用，其施工过程中裂纹问题逐渐凸显并引起人们的广泛关注，做好施过过程混凝土温度监测，对保障工程质量具有重大意义。因此，必须要认识到水利工程中大体积混凝土温度和质量监控的重要性，做好大体积混凝土的浇筑养护工作，降低施工过程中的质量问题，才能有效保证水利工程中大体积混凝土预期功能的长效发挥。
该推理图表明：这是一个双向推理，以各联言肢（或联言判断）真推导出联言判断（或各联言肢）真，这与我们已知的联言推理两种形式的表述是一致的。
2.相容的选言推理
相容的选言推理是以相容选言判断为前提进行的推理。已知其推理规则：
上反对关系的真值图为形，分析图形，仅当A真（或者E真）时只有一根直线连接E假（或者A假），即可以由真推导出假。根据推理的结论把推理符号加载于真值图，便得到下列推理图：
2.2 肯定一部分选言肢，不能否定另一部分选言肢。
对于高吸入压力、低压缩比的压缩机，推荐采用压缩机进、出口差压作为喘振信号的输入，同时仍然需要安装入口压力传感器。
我们描述相容选言判断的真值图为 形，依据推理规则把推理符号加载于真值图，便得到推理图。这里，“0”表示否定，“1”表示肯定。
3.不相容选言推理
不相容选言推理的推理形式是肯定否定式和否定肯定式。已知其推理规则：
3.1 肯定一部分选言肢，就要否定另一部分选言肢。
“果果你出去。”爸爸命令道。我冲着果果嚷嚷：“谁要你假惺惺。”果果仍然用身体护着我，我一把推开她，谁知她被身后的桌腿绊倒，倒在地上，额头撞在了床头柜上。爸爸放开我去扶果果，果果额头上竟渗出了血渍，她眼睛里通红，嘟着嘴央求道：“爸爸不要打冻冻，爸爸不要打冻冻……”爸爸扶着果果走出门，我扭过头，不看她。
当前，我国在这方面的管理与监督力度不够，企业也没有意识到事情的重要性。内部和外部都没有足够的监督人员，出现问题时也不能被及时发现，从而导致更严重的损失[3]。
我们描述不相容选言判断的真值图为 形，依据推理规则把推理符号加载于真值图，便得到推理图：
本次研究结果中，实验组治疗两周后，NT-ProBNP水平更低，LVEF更高，6分钟步行距离更长，治疗总有效率也比对照组高，说明实验组患者治疗后心脏功能、活动能力都优于对照组患者。
4.充分条件假言推理
充分条件假言推理的推理形式是肯定前件式和否定后件式。已知推理规则：
4.1 肯定前件就要肯定后件，否定后件就要否定前件。
儿童需要阅读，家庭需要亲子共读，通过不断的阅读实践，相信孩子能够在家长的引导下，走向更有效、更广泛、更灵动、更丰满的“活态”阅读体验之中。
4.2 否定前件不能否定后件，肯定后件不能肯定前件。
我们描述充分条件假言判断的真值图为形，依据推理规则把推理符号加载于真值图，便得到推理图，
5.必要条件假言推理
必要条件假言推理的推理形式是否定前件式和肯定后件式。已知其推理规则：
5.1 否定前件就要否定后件，肯定后件就要肯定前件。
5.2 肯定前件不能肯定后件，否定后件不能否定前件。
选取2015年5月至2017年6月间，于本院确诊并接受治疗的乳腺癌患者共133例，患者均为女性，年龄29～71岁，病程时间2～6年，活检病理诊断为浸润性导管癌或单纯性导管原位癌。
我们描述必要条件假言判断的真值图为形，依据推理规则把推理符号加载于真值图，便得到推理图：
6.充分必要条件假言推理
充分必要条件假言推理有四种正确的推理形式，即肯定前件式、肯定后件式、否定前件式、否定后件式。已知其推理规则：
6.1 肯定前件就要肯定后件，肯定后件就要肯定前件。
从“政治遗嘱”的内容上看，列宁没有正面阐述良好的政治品格包括哪些具体内容，也未明确指出领导干部如何培养良好的政治品格，他更多的是在发出警示，要人们深刻认识到俄共（布）的领导干部是否具备成熟的政治品格关乎党与社会主义事业的兴衰成败。列宁指出，党的领导干部在品格方面的缺陷看似是微不足道的小事，但是上升到党与社会主义事业的高度来看，“这不是小事，或者说，这是一种可能具有决定意义的小事”[1]746。虽然我们所处的环境已经与列宁时期有了较大不同，但是列宁对领导干部政治品格的重视和相关主张，有助于领导干部深刻思考面对新的世情、国情、党情应该如何做人、处事、为官，以及如何切实养成良好的政治品格。
6.2 否定前件就要否定后件，否定后件就要否定前件。
我们描述充分必要条件假言判断的真值图为形，依据推理规则把推理符号加载于真值图，便得到推理图：
现将笔者描述的真值图、真值符号、真值口诀、推理图、推理符号列表如下：
复合判断 真值图 真值符号 真值口诀 推理图 推理符号联言判断 p1 1q p0 0q 1—1 同真为真 p，q11p˄q p，q0 0p˄q 相容选言判断p1 1q p0 0q 有真为真 p11q p00q 不相容选言判断p0 0q 不同为真 p11q p00q p1 1q 充分条件假言判断p1 1q p0 0q 真假为假 p11q p00q 必要条件假言判断p1 1q p0 0q 假真为假 p11q p00q 充分必要条件假言判断p1 1q p0 0q 相同为真 p11q p0 0q
中图分类号：B80
文献标识码：A
文章编号：1003-9082（2019）05-0207-02
作者简介：马迎平（1955.2-）男，上海市人，高级政工师，研究方向：普通逻辑。
标签：真值论文; 关系论文; 假言论文; 符号论文; 图为论文; 哲学论文; 宗教论文; 思维科学论文; 《中文信息》2019年第5期论文; 上海今电实业有限公司论文;