作者phantomsq (小颖)
看板W-Philosophy
标题[问题] 条件句的真假
时间Sat Jul 20 10:06:50 2013
前提：小玉是女生
试问：命题P: 「如果小玉是单身汉，则小玉是女人」是真是假？
小明：假设小玉是单身汉，则小玉是单身男人，小玉是男人就不是女人。
由於玉是单身汉且小玉不是女人，故命题P 为假。
小华：假设命题P 为假，根据真值表，「小玉是单身汉」为真且「小玉是女人」为假。
但小玉是女生，因此「小玉是单身汉」为假且「小玉是女人」为真，矛盾。
根据归缪法，命题P 为假是错误假设，故命题P 为真。
请问大家～小明对还是小华对呢？命题P 是真是假呢？
＊真值表：
P Q P→Q
-----------
T T T
T F F
F T T
F F T
--
※ 发信站: 批踢踢实业坊(ptt.cc)
◆ From: 114.42.36.220
※ 编辑: phantomsq 来自: 114.42.36.220 (07/20 10:08)
1F：推 t0444564:改用述词逻辑会比较好? 07/22 03:42
2F：推 chronodl:不要再问这种问题比较好 07/22 04:54