検索
エルブラン化
全て
名詞
2
の例文
(
0.00
秒)
論理式のエルブラン化の証明の一部として、冠頭標準形の論理式のスコーレム化を考えていた。
エルブランは、エルブランの定理を証明するため、その双対概念であるエルブラン化を用いた。
...
論理式のエルブラン化の証明の一部として、冠頭標準形の論理式のスコーレム化を考えていた。
エルブランは、エルブランの定理を証明するため、その双対概念であるエルブラン化を用いた。
結果の論理式は元々の論理式と論理的同値である必要はない。
...
検索マニア
読み間違えしやすい言葉
遊説
ゆうぜい
婉曲
えんきょく
披瀝
ひれき
建立
こんりゅう
月極
つきぎめ
名表
なおもて
団塊
だんかい
斟酌
しんしゃく
福音
ふくいん
法被
はっぴ
一世一元
いっせいいちげん
万年青
おもと
凡例
はんれい
船成金
ふななりきん
小田原評定
おだわらひょうじょう
固陋
ころう
既視感
きしかん
更迭
こうてつ
口吻
こうふん
盤石
ばんじゃく
一言一句
いちごんいっく
胡散
うさん
役務
えきむ
装丁
そうてい
健啖家
けんたんか
相伴
しょうばん
目端
めはし
凋落
ちょうらく
伊達
だて
万端
ばんたん
回向
えこう
独擅場
どくせんじょう
小兵
こひょう
法会
ほうえ
寒気団
かんきだん
杜撰
ずさん
委嘱
いしょく
工面
くめん
大審院
たいしんいん
馴致
じゅんち
裏面工作
りめんこうさく
有体
ありてい
進物
しんもつ
叱咤
しった
困憊
こんぱい
古文書
こもんしょ
化身
けしん
疾病
しっぺい
喧伝
けんでん
探訪
たんぼう
アマゾンで検索:
エルブラン化