なりたつ造句

• 従ってマッピングβでｓｔａｎｄａｒｄな世界でなりたつのがｏｎであるかｏｆｆであるかはウルトラフィルターを詳細に決めない限り決定できない．
  因此，用标记β在ｓｔａｎｄａｒｄ的世界中成立的是ｏｎ还是ｏｆｆ，在没有详细决定超过滤的情况下是不能决定的。
• これは単なる命題論理式ではなく，「観測の結果，命題論理式．で表される事実がなりたつ」や「実世界におけるなんらかの変化の結果．が成り立つ」，「．の成り立つ確率はαである」といった情報である．
  这不是单纯的命题逻辑表达式，而是“观测的结果，用命题逻辑表达式表示出来的事实成立”和“现实世界中某种变化的结果成立”，“φ的成立确率为α”等信息。