面值的日文

• しかし，Ａから得られる論理的帰結の範囲を捉えるには，同一リテラルの中で成り立つ最も高い注釈のみを考慮すればよいという理由から，本論文では規則の結論である注釈付きリテラルのみを論理的帰結の代表として議論の結論とする，という立場をとる．
  但是，在把握从Ａ中得到的逻辑推论的范围时，只要考虑在同一个字面值中成立的最高的注释就行了，从这个理由出发，本论文采取的立场是只以规则结论的附注释字面值作为逻辑推论的代表来作为讨论的结论。
• たとえば，注釈付きリテラル＠ｅｑｕａｔｉｏｎ＿０＠を結論に持つ議論は，＠ｅｑｕａｔｉｏｎ＿１＠を結論に持つ議論に対して「リテラルＬに対して成り立つ真理値として．は高過ぎる，＠ｅｑｕａｔｉｏｎ＿２＠とｔまでしか成り立たない」という意味で攻撃を行う．
  例如，对于以＠ｅｑｕａｔｉｏｎ＿０＠为结论的讨论，以附注释字面值＠ｅｑｕａｔｉｏｎ＿１＠为结论的讨论在［作为对字面值Ｌ成立的真值来说太高了，只有＠ｅｑｕａｔｉｏｎ＿２＠和ｔ成立］这个意义上来进行攻击。
• たとえば，注釈付きリテラル＠ｅｑｕａｔｉｏｎ＿０＠を結論に持つ議論は，＠ｅｑｕａｔｉｏｎ＿１＠を結論に持つ議論に対して「リテラルＬに対して成り立つ真理値として．は高過ぎる，＠ｅｑｕａｔｉｏｎ＿２＠とｔまでしか成り立たない」という意味で攻撃を行う．
  例如，对于以＠ｅｑｕａｔｉｏｎ＿０＠为结论的讨论，以附注释字面值＠ｅｑｕａｔｉｏｎ＿１＠为结论的讨论在［作为对字面值Ｌ成立的真值来说太高了，只有＠ｅｑｕａｔｉｏｎ＿２＠和ｔ成立］这个意义上来进行攻击。
• 逆に，同じリテラルに対して自分よりも低い真理値を主張する結論は自分が主張する論理的帰結の範囲に含まれているので，これに対しては攻撃は行わない（たとえば＠ｅｑｕａｔｉｏｎ＿０＠を結論に持つ議論は，＠ｅｑｕａｔｉｏｎ＿１＠が成り立たないことは主張していない．よって，＠ｅｑｕａｔｉｏｎ＿２＠を結論に持つ議論を攻撃しない）．
  相反地，由于对同一个字面值主张比自己更低的真值的结论包含在自己所主张的逻辑推论的范围中，因此对其不进行攻击（例如以＠ｅｑｕａｔｉｏｎ＿０＠为结论的讨论不主张＠ｅｑｕａｔｉｏｎ＿１＠不成立。因此，不攻击以＠ｅｑｕａｔｉｏｎ＿２＠为结论的讨论）。