如何用邏輯符號表達:不管黃狗還是花狗,能夠看家護院就是好狗。
- 2022-07-03
黃狗有兩個要素,黃色(a),狗(b),可以表示為a或b(符號自己轉化一下);花狗也有兩個要素,花色(c),狗(b),即c或b。
“能夠看家護院(的狗)就是好狗”符號化,(設能看護院(的狗)為U,好狗為B)U推出B。
完整 a或b,c或b,U推出B。(在這句話的意思是,不看a、b、c條件,而看U這個條件)
都是個人想的,希望採納。
沒見過。
doff 英文意思 是 動詞 脫去,特別是用於 脫帽子。
don 英文意思 是 動詞 戴上,穿上,特別是用於 戴帽子。
基本邏輯符號 有:實質蘊含,實質等價,邏輯否定——非,邏輯合取——與,邏輯或,邏輯異或,全稱量詞——對於所有;對於任何;對於每個,存在量詞——存在著,唯一量詞——精確地存在一個,定義,被定義為,優先組合,推論,必然的,可能的。