Please enable JavaScript.
Coggle requires JavaScript to display documents.
理則學5 - Coggle Diagram
理則學5
述詞邏輯
8.1PL語法規則
主詞 繫辭 謂詞
大寫A-Z
性質常元
小寫
a-t
個體常元
u-z
個體變元
Zebra (z變)
小哥哥(小 個體
性質常元+個體變元是一種 語句形式
不一定真假
8.2量詞符號
全稱
如何表示“所有的”
(變元)
大部分主要連接詞是"則"
存在
(反E 變元)
大部分連接詞用"and"
8.5 自由變元 vs 約束變元
自由變元
沒有受量詞約束
是語句形式 非語句
但要小心是變元還是常元
約束變元
受量詞約束
Q
07-末 Q15(P63)
07-頭14(P16)
8.3特殊語句連結詞
中文翻譯
8.6
重疊量詞
8-6 關西的述詞邏輯
述詞邏輯轉AEIO
QN規則
等值 全稱變成存在(vise versa) 兩邊加not(長翅膀)
4個量詞規則
UI(全稱引例)
龜殼x
可以改其他變元&常元
UG(全稱一班化)
把全稱加回來
不能把用常元加回來
EI(存在引例)
不能指定個體常元
不能變成之前出現過的變元
一定要特別小心
寫完題目後檢查所有EI與自由便元的關係
EG
練習6
規則
EI後的自由變元不能再UG
先做“存在”在做全稱
先EI再UI
EI時前不能有重複的自由變元
ACP or AIP的式 不能UI
多個量詞規則
消去時 外而內
加上時 內而外
用UI一定要變成自由便元 不能變成被別的量詞約束
ID 與 IR規則
ID
y=x
IR
x=x
其他
七,二員關西述詞翻譯
對稱性
對稱
ex. x與y結婚 y與x的父親
不對稱(asymmetrical)
ex. x是y的父親
非對稱(nonsymmetrical)
ex.x喜歡y
無法確認關西
傳遞性
傳
ex. x比y高 y比z高 則 x比z 高
不
ex. x是y的母親
非
ex. x喜歡y
反身性
reflexive
x等同於
不
X比y高 y!=x
x不比x高
x喜歡y
至少.....or 最多....
至少兩個
寫兩個存在量詞
最多一個
寫兩個全稱量詞
同一或等同關係(p291)
等同
{是}之後已不是需述性質
ex.孫中山是孫文
確定描述詞
存在且唯一存在
ex.台灣第一高峰
述詞邏輯的真假性
展開式
意義
將Domain (a b c)帶入
全稱代表 and
存在量詞代表 or
not 放在量詞or 後
假論證
有可能前提為真結論為假
重疊展開式
展開證明無效