线性代数在逻辑推理中的运用.pdfVIP

第35卷 第5期 昭通学院学报 2013年 lO月 Vo1．35NO．5 JournalofZhaotongUniversity 0ct．2O13 ●数学研究 线性代数在逻辑推理中的运用 宋昭寿 ， 单嵛琼b (昭通学院 a．信息科学与技术学院；b．物理与电子信息21L程学院， 云南 昭通 657000) 摘要 ：在 已有文献的基础上 ，将某些逻辑推理 问题化为线性方程或线性不等式，利用线性代数知识进行求 解，得到了一些有用结果，有利于求解过程的简化． 关键词 ：线性代数 ； 逻辑推理； 线性不等式 中图分类号：O151．26 文献标志码 ：A 文章编号 ：(2013)05—0012—0004 把各种实际问题用赋值 的方法利用代数进行 为了对这一类 问题进行统一处理 ，我们先将 处理 ，是数学 中的重要思想方法．许多逻辑推理问 两个集合 中的元素进行编号．设集合A和B 的基 题不给或极少给出数量关系，直接处理较为困难． 分别为m，，将A 中m 个元素命名为a，a 一， 如果通过赋值的方法将其转化为代数方程 ，则可 n “，a ；将 B中 个元素命名为b ，b，…，b，， 通过编程运用计算机求解．对此文[1]作了有益的 … ，b；设存在映射 ．厂：A—B，若a对应于b，则令 尝试．本文在此基础上 ，进一步将某些逻辑推理问 ==： 1，否则令 一0．于是映射 ． 厂就确定 了一个 题化为线性方程或线性不等式，利用线性代数知 由元素 0和 1构成的矩阵x一 ( ) 确定映射 识进行求解 ，从而简化了求解过程． 的问题就转化为求解矩 阵的问题．然后根据映射 先看一个较为简单的例子 ： 的性质 ，以及元素之间是否存在对应关系 的判断 例 1 方奇、林兰、刘莉三人分别到华东师范大学、 及其真假的说明，就可以建立一组以mT1个x 为 上海交通 大学、复旦 大学就读．他们到哪所学校就读，邻 未知数 的线性方程 ，通过方程的求解得到矩 阵x 居们起初有不 同的猜测 ： 及映射 厂． 甲猜 ：方奇到上海交通大学，刘莉到复旦大学． 在例 1中，设n一方奇 ，口。一林兰 ，a。一刘莉 ； 乙猜 ：方奇到复旦大学，林兰到上海交通大学． b一华东师范大学 ，b。一上海交通大学，b。一复旦 丙猜 ：方奇到华东师范大学，刘莉到上海交通大学． 大学．则 甲的猜测为 ：z ===1，。。===1；乙的猜测 后来 ，邻居们发现 自己的猜测各对 了一半．请 问：她 为 ：zl3—1，z22—1；丙的猜测为 ：Xll一1，z32—1． 们分别到哪所大学? 因为他们都只猜对了一半 ，因此得到方程组 ： 类似于例 1这样 的逻辑推理问题 ，通常给出 Iz12+ z33===1 (1) 了两个有限集合 ，如例 1中A一 {方奇 ，林兰，刘 Izl3+ z22— 1 (2) 莉}，B一{华东师范大学 ，上海交通大学 ，复旦大 Xl1+ X32===1 (3) 学}，并且指出两个集合间存在某个 映射 ，如例 1 由每个人只能上一所大学 ，得到方程组 ： 中存在 厂：A— B，然后给出两个集合 中某两个元 I1 + z12+ z13— 1 (4) 素之间是否存在对应关系的一些判