三つ組中文是什么意思

• そして，その仮定の下でＳ１，Ｓ２各々の三つ組が証明できるならば，帰結部（規則の水平線の下側）にあるＳ１；Ｌ：Ｓ２に関する三つ組の正しさが（他の三つ組に関する何らかの仮定を置かず）証明できたと看做してよい，ということを，ｇｏｔｏ文の推論規則は表している．
  此外，ｇｏｔｏ句的推理规则表示，在这一假设下，如果能够证明Ｓ１、Ｓ２分别对应的三个一组，就可以认为结论部分（规则的水平线下方）的Ｓ１；Ｌ：Ｓ２三个一个组的正确性（对其他三个组没有做任何假设）得到了证明。
• そして，その仮定の下でＳ１，Ｓ２各々の三つ組が証明できるならば，帰結部（規則の水平線の下側）にあるＳ１；Ｌ：Ｓ２に関する三つ組の正しさが（他の三つ組に関する何らかの仮定を置かず）証明できたと看做してよい，ということを，ｇｏｔｏ文の推論規則は表している．
  此外，ｇｏｔｏ句的推理规则表示，在这一假设下，如果能够证明Ｓ１、Ｓ２分别对应的三个一组，就可以认为结论部分（规则的水平线下方）的Ｓ１；Ｌ：Ｓ２三个一个组的正确性（对其他三个组没有做任何假设）得到了证明。
• このとき，｜．｛ｖ∧Ａ｝Ｓ｛ｖ∧Ｂ｝＝．｜．｛Ａ｝Ｓ｛Ｂ｝．証明｛ｖ∧Ａ｝Ｓ｛ｖ∧Ｂ｝が証明可能であり，ｖはＳに現れないので，特に，ｖ＝　ｔｒｕｅの場合の三つ組｛（ｖ∧Ａ）［ｔｒｕｅ／ｖ］｝Ｓ｛（ｖ∧Ｂ）［ｔｒｕｅ／ｖ］｝も証明可能である．
  此时，｜．｛ｖ∧Ａ｝Ｓ｛ｖ∧Ｂ｝＝．｜．｛Ａ｝Ｓ｛Ｂ｝。证明可以证明｛ｖ∧Ａ｝Ｓ｛ｖ∧Ｂ｝，由于ｖ不出现在Ｓ中，因此，尤其是当ｖ＝ｔｒｕｅ时，三个一组｛（ｖ∧Ａ）［ｔｒｕｅ／ｖ］｝Ｓ｛（ｖ∧Ｂ）［ｔｒｕｅ／ｖ］｝也可以证明。
• たとえば，図２のように，隣り合う前後の音素をコンテキストとして，音素の三つ組みで表されたモデル集合をクラスタリングした場合，ある音素の組合せは，各ノードにある音素の三つ組みを分類する質問に沿って木をたどることで，何らかのリーフノードに到達することができ，コンテキストの類似したモデルを選択することができる．
  比如，如图２，以相邻的前后音素作为背景，把用３组音素表现的模型集合分类归并时，某个音素组合按照将各节点上的音素分为３组的问题沿着树形图走，可到达某个树叶分支，从而可以选择背景近似的模型。
• たとえば，図２のように，隣り合う前後の音素をコンテキストとして，音素の三つ組みで表されたモデル集合をクラスタリングした場合，ある音素の組合せは，各ノードにある音素の三つ組みを分類する質問に沿って木をたどることで，何らかのリーフノードに到達することができ，コンテキストの類似したモデルを選択することができる．
  比如，如图２，以相邻的前后音素作为背景，把用３组音素表现的模型集合分类归并时，某个音素组合按照将各节点上的音素分为３组的问题沿着树形图走，可到达某个树叶分支，从而可以选择背景近似的模型。
• ＠ｅｑｕａｔｉｏｎ＿０＠および，公理＠ｅｑｕａｔｉｏｎ＿１＠（ＡはＳ中で代入されうる変数を含まない）の各々１）がＨｏａｒｅ論理で許容可能（ａｄｍｉｓｓｉｂｌｅ）であることに注意すれば，具体的なプログラムに対する証明アウトラインでは，各三つ組（ｋ）の正しさから（ｋ．）の正しさを導けることは容易に分かる．
  ＠ｅｑｕａｔｉｏｎ＿０＠以及公理＠ｅｑｕａｔｉｏｎ＿１＠（Ａ不包含Ｓ中可能被代入的变量）在Ｈｏａｒｅ逻辑中都是可以被承认的，只要注意到这一点，那么就很容易知道，具体程序的证明概要中，从各个三个一组（ｋ）的正确性可以推导出（ｋ．）的正确性。
• この推論規則の仮定部（規則の水平線の上側）にある２つの仮定＠ｅｑｕａｔｉｏｎ＿０＠＠ｅｑｕａｔｉｏｎ＿１＠は，“｜．”の右側のＳ１，Ｓ２各々に対する三つ組をＨｏａｒｅ論理で証明する際，Ｓ１やＳ２中のｇｏｔｏＬに関しては，事前条件として飛び先のラベルＬが付いたＳ２の事前条件を（事後条件の方はｇｏｔｏ文は直後の文へ制御を渡さないので偽“⊥”を）仮定してよい，ということを表している．
  该推理规则的假设部分（规则的水平线下方）的２个假设＠ｅｑｕａｔｉｏｎ＿０＠表示，用Ｈｏａｒｅ逻辑证明分别对应“｜．”右侧的Ｓ１、Ｓ２三个一组时，可以对Ｓ１或Ｓ２中的ｇｏｔｏ　Ｌ假定标有插入部位标记Ｌ的Ｓ２的先决条件（先决条件中ｇｏｔｏ句不控制直接的句子，因此用伪“⊥”表示）作为先决条件。