人不犯我我不犯人人若犯我我必犯人 用谓词逻辑公式表示