四种命题关系