Movatterモバイル変換

邏輯語義學

出自維基百科，自由嘅百科全書

呢篇文需要熟悉呢方面嘅人幫手寫。詳情請去討論頁睇。

邏輯語義學lo4 cap1 jyu5 ji6 hok6（英文：semantics of logic / formal semantics）係邏輯學同語義學嘅一門，研究點樣詮釋形式化（似邏輯語言嘅）自然語言。

睇傾改邏輯
子領域邏輯哲學邏輯代數數學邏輯運算邏輯邏輯語義學同句法學形式語義分析
理論框架古典邏輯同非古典邏輯非形式邏輯（批判思考 ·理性）哲學邏輯辨證理論元邏輯集合論
重要概念定義名命題同陳述式真（邏輯真理）前件同結論邏輯連接詞推理（溯因、演繹同歸納）互斥證明定言三段論效度矛盾（悖論同二律背反）充分必要條件 if and only if 一致性謬論（形式謬論）參考概率遞移關係同唔遞移關係因果關係分析-綜合區別邏輯符號一覽
拉雜相關語義學知識論科學數學（數學證明）理論電腦科學演算法

呢篇同邏輯相關係楔位文。歡迎幫維基百科擴寫佢。

睇 • 論 • 改 • 歷

屬於2隱類：

睇傾改邏輯
子領域邏輯哲學邏輯代數數學邏輯運算邏輯邏輯語義學同句法學形式語義分析
理論框架古典邏輯同非古典邏輯非形式邏輯（批判思考 ·理性）哲學邏輯辨證理論元邏輯集合論
重要概念定義名命題同陳述式真（邏輯真理）前件同結論邏輯連接詞推理（溯因、演繹同歸納）互斥證明定言三段論效度矛盾（悖論同二律背反）充分必要條件 if and only if 一致性謬論（形式謬論）參考概率遞移關係同唔遞移關係因果關係分析-綜合區別邏輯符號一覽
拉雜相關語義學知識論科學數學（數學證明）理論電腦科學演算法