逻辑学和命题种类