常用逻辑用语.命题与四种命题