技術邏輯

一種套用邏輯，研究如何將邏輯理論套用於各種技術系統，特別是套用於對自動化機器（如計算機、自動翻譯機等）進行綜合分析。它主要建立在邏輯演算的基礎上，運用得最廣泛的是邏輯代數。如將開關代數（抽象布爾代數的一種解釋）套用於電路的邏輯分析和設計。在技術邏輯中，真、假命題分別被解釋為已發事件和未發事件（如電路的接通和斷開等等）。