句法 (邏輯)

邏輯學上講嘅句法geoi3 faat3（英文：Syntax）係一套指定「邏輯上嘅符號可以以咩方式結合，組成命題」嘅系統。

睇埋[編輯]

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

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