类型:命題