※ 引述《rioet ()》之铭言： : 题目是： : 如果张三考上大学，则李四也考上；否则的话，他们两个人都考不上。 : (以P Q 分别代表张三 李四考上) : 当初助教批改的答案是 : （P → Q）^ (~ P → ~ Q) : 现在有点不知道为什麽要这样写，也不确定是不是唯一解 : 我在想那个「否则的话」究竟是要否哪个东西 : 是指「张三没考上呢」还是否定掉「如果张三考上大学，则李四也考上」这段 : 另外我也在想，不知道「否则」可不可以用 (AvB) ^ ~(A^B) 这种写法表示 : 想请问一下大家会怎麽写这一题！ : 十分感激! 必须先厘清题目所要表达的意义 1. 张三考上大学这个事件P 真值不是T就是F 2. 如果P的真值是T 从P→Q 可以得到Q 3. 如果P的真值是F 从~P→~Q 可以得到~Q 所以 题目要表达的意思是 要麽 张三跟李四都考上大学 P^Q 要麽 张三跟李四都没考上 ~P^~Q 两者不能同时为真 而且只能有这两种情况(否则) 再来厘清 (AvB) ^ ~(A^B) 这串符号的意思是 要麽 A 要麽 B 两者不能同时为真 而且只能有这两种情况(两者真值不能为F) 所以 如果要代入 (AvB) ^ ~(A^B) 的话 A 就要用 P^Q 代入(或 ~P^~Q) B 就要用 ~P^~Q 代入(如果A用~P^~Q代 则这里就要用P^Q代) 两者的意义才会一样 不知道这样对不对@@ --

※ 发信站: 批踢踢实业坊(ptt.cc) ◆ From: 140.119.192.38 ※ 编辑: bagaqq 来自: 140.119.192.38 (02/20 15:51)