命题的日文

• 〈命題５〉＠ｅｑｕａｔｉｏｎ＿０＠〈命題６〉次の２つは同値である．
  （命题５）＠ｅｑｕａｔｉｏｎ＿０＠（命题６）以下２个值相等。
• なお，本論文では，補題，定理，系の厳密な証明は省略する＊．
  另外，本论文中，省略辅助命题，定义，推论的严明证明＊。
• なお，本システムにおけるこの文の構文解析木は，図１４のように得られる
  另外，在本体系中此命题的句法分析树如图１４。
• 補題３．１ｍ破棄率ｐが一定で，破棄は独立な事象であると仮定する．
  假定命题３．１ｍ废弃率ｐ一定，废弃是独立的现象。
• 命題２．１真の署名者Ｕｉならば，式（２）を満たすαを示すことができる．
  命题２．１如果是真的署名者Ｕｉ，可以表示满足式（２）的α。
• 以下の基本命題式の記述方法は，　ＢＡＮ論理のものを使用した．
  以下的基本命题公式的记述方法则使用ＢＡＮ逻辑的方法。
• 分岐補題を用いれば，これら非極小モデルのすべてが棄却される．
  如果运用分支命题，那么这些非最小模型都将全部被排出。
• いずれも非極小モデルはすべて分岐補題によって棄却でき，極小検査が不要となる．
  非最小模型都能被分支命题排除，不需要进行最小性检查。
• 証明木の葉に付されたは，分岐仮定によってモデル候補が棄却されたことを示す．
  附加在证明木的叶上表示通过分支命题已经放弃了候补模型。
• 補題３．４廃止証明書数を＠ｅｑｕａｔｉｏｎ＿０＠とする．
  命题３．４将废止证明书书定为＠ｅｑｕａｔｉｏｎ＿０＠。