邏輯關係
含有「邏輯關係」共 4 篇內容
全部內容
發佈日期由新至舊
1 Looking-Glass House : 對稱
鏡子屋
十
現在我們再進一步，將對稱的定義單獨用邏輯語言寫出來。
以下的表述用的是一階謂詞語言。9
S3 的左邊稱作「被定義項」，右邊稱作「定義項」。
被定義項是表達對稱關係的「R」，即我們要定義「R」﹔而定義項是陳述所要滿足的要
3/5邏輯關係
1 Looking-Glass House : 對稱
鏡子屋
九
我們給對稱下個定義。
這個定義用自然語言表達出來，大家可以見得到，文字上有點笨拙。
就因為這個原因，邏輯學家發展出一套人工語言來去掉自然語言的笨拙。
但要留意，我們不是在做一個一般性的比較。
自然語言不是一般地比人工
2/5邏輯關係
1 Looking-Glass House : 對稱
鏡子屋
十
假如將論域 (即我們的談論對象) 設為自然數，我們可以有後繼這樣的關係。
將後繼關係定義為 n+1，「n」為任一自然數，我們可以寫成如下的一般性後繼關係式﹕
S (x, n)，
即「x is the successor
2/5邏輯關係
1 Looking-Glass House : 對稱
鏡子屋
九
就邏輯而言，對稱是某些關係的屬性。
準確一點說，對稱是某些二元關係 (binary relations) 的一個屬性。
二元關係就是兩物之間可以有的關係。
譬如張大和張小是父子關係，李大和張小卻沒有父子關係。
漢語中
3/5邏輯關係