推 t0444564:改用述詞邏輯會比較好? 07/22 03:42
推 chronodl:不要再問這種問題比較好 07/22 04:54
前提：小玉是女生
試問：命題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)