面值的日文

• （２）命題部分が同一となる注釈つきリテラルを結論に持った複数の規則が含まれない．
  （２）命题部分不包括以相同附注释字面值为结论的多个规则。
• そこで，社会通念を注釈付きリテラルの集合として定義する．
  因此，将社会一般观念定义为附注释字面值的集合。
• 【定義１４】社会通念Ｃｋは，次の条件を満たす注釈付きリテラルの集合である．
  【定义１４】社会一般观念Ｃｋ是满足以下条件的附注释字面值的集合。
• まず，否定された注釈つきリテラルの扱いについて考える．
  首先，考虑如何处理被否定的加注释的字面值。
• 定義４．１０　Ｌｉが正または負のリテラルのとき，以下の形式の論理式を節という．
  定义４．１０　Ｌｉ为正的字面值或负的字面值时，以下形式的逻辑表达式叫做子句。
• 定義４．１０　Ｌｉが正または負のリテラルのとき，以下の形式の論理式を節という．
  定义４．１０　Ｌｉ为正的字面值或负的字面值时，以下形式的逻辑表达式叫做子句。
• ．すべての注釈つきリテラルは論理式である．
  ．所有附加了注释的字面值都是逻辑式。
• リテラルを原子命題またはその否定とする．
  将字面值作为原子命题或其否定。
• このときμを注釈，Ａ：μを注釈つきアトム，Ｌ：μを注釈つきリテラルという［Ｂｌａｉｒ８９］．２　．
  这时ｕ为注释，Ａ为附加了注释ｕ的原子，Ｌ为附加了注释ｕ的字面值［Ｂｌａｉｒ８９］。
• Ｓ，ｓ＿，ｓ＿＿はソートまたはソート述語，Ｌ，Ｌ＿は正のリテラル，ｔ，ｔ＿は項，Ｃ，Ｃ＿は節とする．
  ｓ、ｓ＿、ｓ＿＿为分类谓词，Ｌ，Ｌ＿为正的字面值，ｔ，ｔ＿为项，Ｃ，Ｃ＿为子句。