拍照搜题秒出答案，一键查看所有搜题记录

拍照搜题秒出答案，一键查看所有搜题记录

一个离散数学大题解题的问题
甲乙，丙丁参加考试后，有人问他们谁的成績最好甲说“不是我”，乙说“是丁”丙说“是乙”，丁说“不是我”四人的回答只有一人符合实际，问成绩最好的是谁
用离散數学大题命题演算的知识来解答这个题目，要的不是题目的答案而是解答过程，比如如何将已知事实符号化等

拍照搜题秒出答案，一鍵查看所有搜题记录

使用命题符号演算方法证明该题之具体方法如下：
证明：设命题变量p:"甲的成绩不是最好"；q:"丁的成绩最好"；r:"乙的成绩最恏"；s:"丁的成绩不是最好"
因为“四人的回答只有一人符合实际”所以可得逻辑式如下：
所以可知~p、~q、~r为真，即p、q、r均为假s为真
所以可得結论：甲的成绩最好
注：上式中“~”表示“非”，“∧”表示“且”“∨”表示“或”，采用的是Benard Kolman编著的《离散数学大题结构》中的标記方法
逻辑式具体的化简方法比较繁琐，具体步骤请楼主自己推导一下一般正式考试中毋需列出具体化简的步骤。