検索
エルブラン化
全て
名詞
2
の例文
(
0.00
秒)
論理式のエルブラン化の証明の一部として、冠頭標準形の論理式のスコーレム化を考えていた。
エルブランは、エルブランの定理を証明するため、その双対概念であるエルブラン化を用いた。
...
論理式のエルブラン化の証明の一部として、冠頭標準形の論理式のスコーレム化を考えていた。
エルブランは、エルブランの定理を証明するため、その双対概念であるエルブラン化を用いた。
結果の論理式は元々の論理式と論理的同値である必要はない。
...
検索マニア
読み間違えしやすい言葉
統帥
とうすい
大寒
だいかん
投網
とあみ
普請
ふしん
細雪
ささめゆき
雑兵
ぞうひょう
凋落
ちょうらく
冥利
みょうり
裏面工作
りめんこうさく
述懐
じゅっかい
怯懦
きょうだ
御大
おんたい
疾病
しっぺい
三昧
さんまい
忌中
きちゅう
一世一元
いっせいいちげん
団塊
だんかい
荘重
そうちょう
門扉
もんぴ
縊死
いし
折伏
しゃくぶく
日歩
ひぶ
熱電対
ねつでんつい
直火
じかび
委嘱
いしょく
怨霊
おんりょう
仁術
じんじゅつ
四分五裂
しぶんごれつ
刃傷沙汰
にんじょうざた
従容
しょうよう
降灰
こうはい
外郎
ういろう
労咳
ろうがい
定石
じょうせき
凄絶
せいぜつ
健啖家
けんたんか
生粋
きっすい
適宜
てきぎ
作務衣
さむえ
総帥
そうすい
一献
いっこん
甲板員
こうはんいん
緩衝地帯
かんしょうちたい
隘路
あいろ
矢面
やおもて
日配
にっぱい
口吻
こうふん
四書五経
ししょごきょう
末裔
まつえい
親炙
しんしゃ
アマゾンで検索:
エルブラン化