命题逻辑- 哲学逻辑的分支，研究将子句形式化为命题
Teilgebiet der philosophischen Logik, das sich mit der Formalisierung von Teilsätzen in Aussagen beschäftigt
