命題論理- 命題における部分文の形式化を扱う哲学的論理学の一分野。
Teilgebiet der philosophischen Logik, das sich mit der Formalisierung von Teilsätzen in Aussagen beschäftigt
