2009-12-09から1日間の記事一覧
ここ数日前から「メモ」とタイプしようとすると、なぜか「モエ」と打ち間違えてしまう。 modus ponens 肯定式 リテラル 論理変数x またはその否定 ¬x のこと 素式あるいは否定の付いた素式のこと。 節(clause) リテラルを∨で繋げたもの。 すべての述語論理式…
ここ数日前から「メモ」とタイプしようとすると、なぜか「モエ」と打ち間違えてしまう。 modus ponens 肯定式 リテラル 論理変数x またはその否定 ¬x のこと 素式あるいは否定の付いた素式のこと。 節(clause) リテラルを∨で繋げたもの。 すべての述語論理式…