短语词组短语logical chart proposition 逻辑命题logical connection proposition 逻辑命题proposition logical 命题逻辑 返回 logical proposition