作者kenshin528 (感覺自己的寂寞)
看板NCCU02_PHILO
標題沈宏達
時間Mon Oct 6 06:36:31 2003
那天你提的問題我突然想到另外一種解法
前提:復合語句可被分解成基本語句
~(A且B)=(~A)且(~B)
若我有一雙不會飛的翅膀則我不會飛(若p則q)
把"我有一雙不會飛的翅膀(p)"加以分解成"我有一雙翅膀且翅膀不會飛"
則此句的否定為"我沒有翅膀且翅膀會飛(~p)"
真值表
p q 若p則q
T T T
T F F
F T T
F F F
不過我好像記得復合語句不適合使用真值表?
--
(
C)lass 【 分組討論區 】
11 卡漫夢工廠 卡通, 漫畫, 動畫
1
C_Japan 日本 Σ東洋漫畫超級炫風
59 C_J_Artist
作家 Σ日本漫畫家專區
6
TakahasiShin 作家 ◎高橋真 最終兵器少女 kenshin528
--
※ 發信站: 批踢踢實業坊(ptt.cc)
◆ From: 140.119.192.13
→ giselemine:現在存在約翰這個人而他現在不在咖啡管 推140.119.192.106 10/06
→ parisangel:問題是什麼? 推 140.119.132.21 10/06
→ parisangel:~(~p => q) 為什麼若p則q的真值表是F F F? 推 140.119.132.21 10/06
→ Nonplace:真值表錯了,雙條句po成單條句的真值表... 推 210.85.8.210 10/07
→ kenshin528:真直表沒錯吧...話說單條件句的真直表也不 推 140.119.62.56 10/07