logic of proposition的用法和樣例：
例句
- The present paper investigates an abductive framework in default logic, and gives a solving abduction method in propositional default theories.
摘要研究預設邏輯表示下的溯因框架，給出一種基於規則的命題邏輯預設溯因診斷的求解方法。 - Propositional variables are the basic building-blocks of propositional formulas, used in propositional logic and higher logics.
命題變數是命題公式的基本構件板塊，用於命題邏輯和更高的邏輯中。
