命题及常用逻辑用语