方式 男人 命题逻辑 导向表达 分居 离婚 模态逻辑 动态逻辑 程序逻辑 语言表达 状态位 道义逻辑 接受 让步