檢視 形式邏輯筆記/第五章 的原始碼
←
形式邏輯筆記/第五章
跳至導覽
跳至搜尋
由於下列原因,您沒有權限進行編輯此頁面的動作:
您請求的操作只有這個群組的使用者能使用:
使用者
您可以檢視並複製此頁面的原始碼。
{{Nav|程式語言、邏輯學|形式邏輯筆記}} 形式語義 (formal semantics) 其中任何一個命題字母,他本身不意味語意,假設我要把「我不是貓」和「我是貓」套用到 X 這個命題字母,那就會有語意指涉的問題了。 因此我們需要知道什麼使命題為真或假,所以需要將真的概念特徵化 (characterization)。 * 元語言:比如自然語言 * 目標語言:比如形式邏輯符號用法
返回到「
形式邏輯筆記/第五章
」。
導覽選單
個人工具
登入
命名空間
頁面
討論
變體
視圖
閱讀
檢視原始碼
檢視歷史
更多
搜尋
導覽
首頁
愛爾蘭語辭典
近期變更
隨機頁面
有關 MediaWiki 的說明
相關網站
總首頁
Blog
舊 blog
現用 blog 備份
工具
連結至此的頁面
相關變更
特殊頁面
頁面資訊