面值的日文

• しかし，ヘッド部のリテラルに否定的記述が可能なので，すべてのプログラム節の集合が無矛盾だとは限らない．
  但是，因为在冲头部的字面值中可以进行否定性记述，所以所有的编程子句的集合并不一定就是无矛盾的。
• 節をリテラルの集合と表したとき，ｃθ．ｄを満たす代入θが存在するならば，ｃはｄを包摂するといい，ｃｄと表す．
  将从句表示为字面值的时候，如果存在满足ｃＢ，ｄ的代入法Ｂ存在的话，ｃ包括ｄ就好了，表示为ｃｄ。
• これは，室温での効果が期待できることから濃度の低い環境汚染物質を除去する場合には，エネルギー効率の向上が，期待できる。
  该技术在温室效应方面值得期待，因此在除去低浓度的污染环境物质时，也期待能源效率的提高。
• 定義より，ｃＸからＸの現れるリテラルを取り除いた節をｃＸ０∈ＳＸとすれば，明らかにｃ０ｃＸ０である．
  根据定义，如果将从ｃＸ除去了出现字面值的从句定为＠ｅｑｕａｔｉｏｎ＿０＠的话，明显是＠ｅｑｕａｔｉｏｎ＿１＠。
• この表現には比喩（直喩）とリテラル（例示など）の２つの用法があり，また比喩であっても名詞Ｂが被喩詞ではない場合がある
  该表达有比喻（明喻）和字面值（例示等）２种用法，另外还有虽然是比喻但名词Ｂ并非是被喻词的情况。
• 同様にリテラルｌ，節ｃ，節の集合Ｓに対してｌΘ，ｃΘ，ＳΘを以下のように定義する．＠ｅｑｕａｔｉｏｎ＿０＠
  同样，字面值１，对于从句ｃ、从句的集合Ｓ，对＠ｅｑｕａｔｉｏｎ＿０＠作如下的定义。＠ｅｑｕａｔｉｏｎ＿１＠
• この結果は，規則の中の否定された注釈つきリテラルを否定のない注釈つきリテラルに置き換えても問題がないことを保証している．
  这个结果保证了即使将规则中被否定的加注释的字面值置换为没被否定的加注释的字面值也是没有问题的。
• この結果は，規則の中の否定された注釈つきリテラルを否定のない注釈つきリテラルに置き換えても問題がないことを保証している．
  这个结果保证了即使将规则中被否定的加注释的字面值置换为没被否定的加注释的字面值也是没有问题的。
• ＠ｅｑｕａｔｉｏｎ＿０＠．３　．ここで，＠ｅｑｕａｔｉｏｎ＿１＠はそれぞれ注釈付きリテラルである［Ｋｉｆｅｒ９２］．
  ＠ｅｑｕａｔｉｏｎ＿０＠．３．这里，＠ｅｑｕａｔｉｏｎ＿１＠分别是附加了注释的字面值［Ｋｉｆｅｒ９２］。
• ＠ｅｑｕａｔｉｏｎ＿０＠定義１２の前者の条件は，同じリテラルに対して自分よりも高い真理値を主張する結論を攻撃することを意味している．
  ＠ｅｑｕａｔｉｏｎ＿０＠定义１２的前者的条件意味着对同一个字面值攻击主张比自己更高的真值的结论。