命题逻辑 mìngtíluóji propositional logic Definitions Defs Origin Strokes Stroke Words Sentences Sents 命题逻辑 命題邏輯 mìngtíluóji propositional logic