易しくない論理学

用語索引

目次へ

記号・数字

！：2.3.3/  ＆：1.5.4/  ∧：2.4.3/  ∩：2.4.3/  ∪：2.4.3/  ∨：2.4.3/  ⇒：2.4.3/  ⊂：2.4.3/  ⊃：2.4.3/  ＜：2.3.2/  ＝：2.3.2/  ＞：2.3.2/  ∀：1.5.4/  ∃：1.5.4/  ∈：1.5.4/  ∋：1.5.4/  ∧：1.5.4/  ∨：1.5.4/  ∨：1.5.4/  ∩：1.5.4/  ∪：1.5.4/  ≡：1.5.4/  ≦：2.3.2/  ≧：2.3.2/  ⊂：1.5.4/  ⊃：1.5.4/  ⊆：1.5.4/  ⊇：1.5.4/  ⇒：1.5.4/  ⇔：1.5.4/  ¬：1.5.4/  ≠：1.5.4/  101-key keyboard：1.5.4/  Π：1.5.4/  Σ：1.5.4/ 

英字

abstract：0.4/  affirmation：1.2.1/  ＡＩ：1.4.1/  And：2.4.3/  antinomy：1.2.13/  artificial intelligence：1.4.1/  assignmentexpression：2.2.3/  axiom：1.4.2/  backward chaining：1.1.8 /  backward reasoning：1.1.8/  be動詞：0.9/  blind search：1.4.11/  Boolean：2.3.3/  bottom-up reasoning) ：1.1.9/  bottom-up search) ：1.1.9/  breadth-first search：1.4.4/  Cap：2.4.3/  character：1.5.1/  COBOL：4.1.1/  cognition：1.4.5/  cognitive science：1.4.5/  commutativelaw：2.2.2/  complement：2.3.5/  conclusion：1.4.6/  condition：1.4.7/  conditional sentence：1.1.7/  conjunction：1.2.4/  consultation：1.4.8/  contradiction ：1.2.7/  contraposition：1.2.8/  converse：1.2.9/  Cup：2.4.3/  C言語：2.3.3/  data-driven：1.4.9/  deduction：1.1.8/  deductive reasoning：1.4.10/  demand-driven：1.4.9/  depth-first search：1.4.11/  dictionary：1.1.0/  disjunction：1.2.3/  enthymeme：1.3.4/  equation：2.2.3/  equivalence：2.4.2/  Eqv：2.5.5/  exclusive or; XOR ：1.2.3/  EXOR：2.4.7/  expectation：1.4.3/  expert system：1.4.13/  expertise：1.4.14/  explanation：1.4.15/  fact：1.1.4/  facts：1.4.16/  fallacy：1.3.0/  fire：1.4.17/  formal logic：0.5/  FORTRAN：1.5.4/  forward chaining：1.1.9/  forward reasoning ：1.1.9/  generalization：1.3.1/  glossary：1.1.0/  goal：1.4.19/  goal-driven reasoning：1.4.20/  heuristic method：1.4.22/  heuristics：1.4.21/  HTML：1.5.3/  If sentence：1.1.7/  IF-THEN：1.1.4/  IF-THEN rule：1.4.23/  Imp：2.5.5/  implication：1.2.5/  Imply：2.4.3/  inclusion：1.2.5/  induction：1.1.9/  induction：1.4.24/  inductive inference：1.4.24/  inductive reasoning：1.4.24/  inductive thinking ：1.4.24/  inference：1.4.25/  inference engine：1.4.26/  inheritance：1.4.27/  input：2.3.4/  instantiation：1.4.28/  intelligence：1.4.29/  knowledge：1.4.30/  knowledge acquisition：1.4.31/  knowledge base：1.4.32/  knowledge representation：1.4.33/  letter：1.5.1/  logic：1.1.1/  logical product：1.2.4/  logical sum ：1.2.3/  logomachy：1.3.13/  mathematical induction：1.4.35/  meta-knowledge：1.4.36/  metaphor：1.4.37/  metaphysical：1.3.8/  metarule：1.4.38/  ＭＩＳ：1.4.39/  Mod：2.2.4/  modas ponens：1.4.40/  model inference system：1.4.39/  NAND：2.4.7/  natural language processing：1.4.41/  negation：1.2.2/  NLP：1.4.41/  NOR：2.4.7/  NOT：2.3.2/  object：4.3.2/  opposition：1.2.12/  or：1.2.3/  Or：2.4.3/  output：2.3.4/  paper craft：4.4.2/  paradox：1.2.13/  paralogism：1.3.20/  parameter：2.3.4/  pictogram：1.5.3/  predicate：1.4.42/  predicate calculus：1.4.43/  premise：0.4/  production rules：1.4.45/  proof：1.1.10/  proposition：1.1.4/  propositional calculus：1.4.46/  pruning：1.4.47/  pseudo proposition：1.3.19/  reasoning：1.1.6/  research：1.1.0/  reverse：1.2.10/  rhetoric：0.5/  risk management：1.1.0/  rule：1.4.49/  rule of thumb：1.4.50/  safety：1.1.0/  security：1.1.0/  set：0.2/  set theory：0.2/  shell：1.4.51/  solid model：4.4.1/  solipsism：1.3.18/  study：1.1.0/  subordinatevariable：2.3.4/  Subset：2.4.3/  subsumption：1.2.5/  Superset：2.4.3/  surface model：4.4.2/  SVO：0.7/  syllogism：1.1.8/  symbolic logic：0.5/  tautology ：1.2.6/  technical writing：0.1/  TEX：1.5.3/  theorem：1.4.52/  thinking：0.2/  three-valued Logic：1.1.5/  threshold：1.1.5/  top-down reasoning：1.1.8/  top-down reasoning：1.4.3/  top-down search：1.1.8/  top-down search：1.4.3/  tree search：1.4.53/  TTY：1.5.4/  two-valued logic：1.1.2/  underline：2.3.3/  valid formula：1.2.6/  Visual Basic 6.0（VB6）：4.2.7/  Xor：2.5.5/ 

あ

アイコン(icon)：1.5.3/  あたりまえ：2.4.9/  アリストテレス：0.4/  あり得ない：2.4.9/  アルゴリズム：2.5.2/  アンチノミー：1.2.13/  安全：1.1.0/  井上哲次郎：1.3.8/  一価関数：2.3.1/  一般化：1.3.1/  一般概念：1.3.9/  隠喩：1.4.37/  言い換え：1.1.2/  言い換え：3.3.3/  言い切り：2.1.2/  息継ぎ：4.1.6/  息遣い：4.1.5/  已然形：1.1.7/  ウムラウト：4.1.6/  右辺値：2.5.3/  嘘（ウソ）：1.3.0/  後ろ向き推論：1.1.8/  後ろ向き推論：1.4.3/  後ろ向き連鎖：1.1.8/  後ろ向き連鎖：1.4.3/  上横線：2.3.3/  裏：1.2.10/  裏：2.4.8/  エキスパートシステム：1.4.13/  エンチュメーム：1.3.4/  英文和訳：4.1.4/  演算の公式：2.5.10/  演算子：2.5.3/  演繹 ：1.1.8/  演繹的虚偽 ：1.3.3/  枝刈り：1.4.47/  オイラーの図：1.2.14/  および：2.4.3/  音節(syllable)：1.5.1/  音譜：4.1.5/  小野田博一：4.2.1/ 

か

かつ：2.4.3/  カントール：0.2/  下線：2.3.3/  仮言命題：1.1.4/  仮定文：1.1.7/  仮名：1.5.1/  仮名漢字変換：4.1.2/  可換律：2.2.2/  可逆的内含：1.5.4/  可能：2.4.11/  過去：1.1.0/  階層構造：4.3.3/  概括：1.3.1/  概念：0.2/  学習：1.4.1/  学問：1.1.0/  括弧：2.5.4/  完全帰納法：1.1.9/  干渉記号：2.4.4/  干渉処理：4.4.2/  感情：1.3.7/  換位：1.3.5/  換質：1.3.6/  漢数字：1.5.1/  漢文訓読法：4.1.3/  簡体字：1.5.2/  簡単構成的ディレンマ：2.5.7/  簡単破壊的ディレンマ：2.5.7/  関係演算子：2.3.2/  関数：2.2.3/  関数論理系：2.1.1/  含意：1.2.5/  含意命題：1.1.4/  紙細工：4.4.2/  書き換え規則：1.4.45/  危機管理：1.1.0/  機械翻訳：0.7/  機能文字：1.5.1/  帰属：1.2.5/  帰納 ：1.1.9/  帰納的虚偽 ：1.3.3/  帰納的推論：3.1.3/  帰納法：1.4.24/  規則：1.4.49/  記号：1.5.1/  記号論理学：0.5/  技術：1.1.0/  義務：2.4.12/  逆：1.2.9/  逆向きの内含：1.2.5/  逆説：1.2.13/  逆理：1.2.13/  休止記号：4.1.5/  吸収律：2.5.10/  救済：1.1.0/  虚偽 ：1.3.0/  許容：2.4.11/  強弱アクセント：4.1.5/  禁止：2.4.11/  行儀：2.4.12/  切り紙モデル：4.4.3/  句読点：4.1.6/  区切り符号：4.1.6/  具象：0.2/  具体化：1.4.28/  空集合：1.2.4/  偶然：2.4.11/  形而下：1.3.8/  形而上：1.3.8/  形式的虚偽：1.3.3/  形式論理学：0.5/  継承：1.4.27/  結合：1.3.9/  結合律：2.5.7/  結論：1.4.6/  権威：1.3.11/  権利：2.4.12/  研究：1.1.0/  原因：1.3.12/  言語学：0.7/  ゴール：1.4.19/  コンパイラ：2.5.2/  コンピュータグラフィックス：4.4.1/  コンピュータ言語学：4.1.2/  コンピュータ支援製作：4.4.1/  コンピュータ支援設計：4.4.1/  言葉争い：1.3.13/  後件：1.1.4/  後件：1.2.5/  後件肯定：1.3.27/  交換法則：1.2.0/  交換法則：2.2.2/  公理：1.4.2/  恒真式 ：1.2.6/  肯定（コウテイ）：：1.2.1/  肯定式(modusponens)：2.5.10/  肯定命題：1.1.4/  高低アクセント：4.1.5/  合接：2.4.3/  国字：1.5.2/  事（こと）：4.3.2/ 

さ

サブルーチン：2.2.4/  左辺値：2.5.3/  作用素：1.4.3/  三段論法：2.5.11/  三値論理学：1.1.5/  三分法：1.1.5/  算用数字：1.5.1/  シェークスピア：4.1.4/  思惟：0.2/  思考：0.4/  試行錯誤：1.4.22/  事実：1.4.16/  字面（じずら）：4.1.6/  自然言語：4.1.2/  自然言語処理：4.1.1/  自動翻訳：4.1.3/  自由：2.4.12/  自由変項：2.1.2/  辞書：1.1.0/  式：2.2.3/  捨象：0.4/  主辞：2.1.1/  主題：1.4.42/  修辞学：0.5/  修飾語：4.3.3/  集合：0.2/  集合名詞：0.9/  集合論：0.2/  充実モデル：4.4.2/  十分条件：1.2.5/  従属変数：2.3.4/  出力：2.3.4/  述語：1.4.42/  述語計算：1.4.43/  純粋仮言三段論法：2.5.7/  順：2.4.8/  所有格：4.3.3/  小前提：2.5.11/  小反対：2.4.10/  小反対対当：1.2.12/  小名辞（小概念）：2.5.11/  省略：1.5.2/  省略記法：1.5.2/  省略語：1.5.2/  省略三段論法：1.3.4/  省略法：1.5.2/  証明：3.1.4/  条件：1.4.7/  条件文：1.1.7/  条件命題：1.1.4/  真偽値表：3.2.1/  人工知能：1.4.1/  定石：1.4.21/  閾値（しきいち）：1.1.5/  スペルチェッカ：4.1.6/  スラー：4.1.5/  図記号：1.5.3/  推移律：2.5.7/  推理：1.1.6/  推論：1.4.1/  推論 ：1.1.6/  推論エンジン：1.4.26/  数学的帰納法：1.4.35/  数字（digit）：1.5.1/  制御文：3.3.3/  生成規則：1.4.45/  積集合：2.4.3/  接続詞：0.3/  説明：1.4.15/  選言（センゲン）：：1.2.3/  選言肢：1.1.4/  選言的標準形：2.5.10/  選言命題：1.1.4/  前件：1.1.4/  前提：1.4.10/  全称記号：1.5.4/  全称肯定命題：1.1.4/  全称否定命題：1.1.4/  全称命題：1.1.4/  ソリッドモデル：4.4.1/  双対原理：2.5.10/  相談：1.4.8/  束縛変項：2.1.2/  存在記号：1.5.4/  存在命題：2.1.2/  尊崇：1.3.11/ 

た

タイ：4.1.5/  たら：1.1.7/  多価関数：2.3.1/  多値論理学：1.1.4/  多面体モデル：4.4.3/  妥協：1.1.5/  対偶：1.2.8/  対偶律 ：1.2.8/  対策：1.1.0/  対称：2.4.6/  対当：1.2.12/  対等：1.5.4/  対立：1.2.12/  代数式：2.4.10/  代入文：2.4.6/  大小対当：1.2.12/  大名辞（大概念）：2.5.11/  平重盛：1.2.13/  知識：1.4.30/  知識ベース：1.4.32/  知識獲得：1.4.31/  知識表現：1.4.33/  知能：1.4.29/  地図モデル：4.4.3/  逐語訳：0.7/  中間言語：4.1.4/  中名辞（中概念）：2.5.11/  中立：1.2.2/  抽象：0.4/  である調：0.9/  データベース：1.4.32/  データ駆動：1.4.9/  テキストエディタ：4.1.1/  です・ます調：0.9/  テレタイプライタ：1.5.4/  定言：2.1.2/  定言三段論法：2.5.11/  定言命題：2.1.2/  定理：1.4.52/  哲学：1.1.1/  展開：3.1.2/  当為：2.4.11/  ド・モルガンの法則：1.2.15/  ド・モルガンの法則：2.5.10/  トートロジー ：1.2.6/  とき：1.1.7/  トップダウン推論：1.1.8/  トップダウン探索：1.1.8/  トレードオフ：1.2.13/  同一律：2.4.6/  同語反復：1.2.6/  同値：1.5.4/  特称肯定命題：1.1.4/  特称否定命題：1.1.4/  特称命題：1.1.4/  独我論：1.3.18/ 

な

ならば：2.4.3/  内含（ナイガン）：1.2.5/  ニセ命題：1.3.19/  西周（にし あまね）：0.5/  二者択一：1.2.13/  二重否定律：1.2.2/  二値原理：1.1.4/  二値論理学：：1.1.2/  二分法：1.1.5/  二律背反：1.2.13/  入力：2.3.4/  認識：1.4.1/  認知：1.4.5/  認知科学：1.4.5/  の：4.3.3/ 

は

パソコン：4.1.1/  パラドックス：1.2.13/  場合：1.1.7/  張りぼてモデル：4.4.2/  排他的な選言：1.2.3/  排中律：1.2.13/  排反：1.5.4/  背理法：3.1.4/  背論理：1.3.20/  媒介変数：2.3.4/  媒名辞（媒概念）：2.5.11/  発火：1.4.17/  発見的方法：1.4.22/  発声：4.1.6/  判断：1.4.1/  反対：2.4.10/  反対対当：1.2.12/  反面教師：0.5/  繁体字：1.5.2/  幅優先探索：1.4.4/  ヒューリスティックス：1.4.21/  日和見（ひよりみ）：1.1.5/  否定（ヒテイ）：：1.2.2/  否定式(modustollens)：2.5.10/  否定命題：1.1.4/  非形式論理学：0.5/  非対称：2.4.6/  非排他的な選言：1.2.3/  非両立：1.5.4/  必然：2.4.11/  必要条件：1.2.5/  表意文字：1.5.1/  表音文字：1.5.1/  表記の揺れ：4.1.6/  ブール代数：2.2.1/  プログラミング：3.3.1/  プロダクションルール：1.4.45/  深さ優先探索：1.4.11/  普通名詞：0.2/  普通名詞：2.4.5/  符号変換：2.3.1/  部分集合：2.4.3/  複合命題：1.1.4/  分割：1.3.9/  分配律：2.5.10/  文章校正：4.1.6/  文法：4.1.2/  ベン図：1.2.14/  ベン図：2.4.1/  変項：2.1.1/  変数：2.4.5/  勉強：1.1.0/  ボトムアップ推論 ：1.1.9/  ボトムアップ探索：1.4.18/  ボトムアップ探索 ：1.1.9/  補集合：4.4.2/  補数：2.3.5/  包含：1.2.5/  包摂：1.2.5/  法律：2.4.11/  翻訳ソフト：4.1.4/ 

ま

マイコン：4.1.1/  または：2.4.3/  まとも：2.4.3/  間（ま）：4.1.5/  前向き推論：1.4.18/  前向き推論 ：1.1.9/  前向き連鎖：1.1.9/  前向き連鎖：1.4.18/  未然形：1.1.7/  未来：1.1.0/  矛盾 ：1.2.7/  矛盾式：2.5.10/  矛盾対当：1.2.12/  矛盾律：2.4.6/  メタ知識：1.4.36/  名詞の定義：4.3.2/  名辞：0.2/  命題（メイダイ）：1.1.4/  命題関数：2.1.1/  命題計算：1.4.46/  命題論理学：1.1.4/  命令：2.4.11/  モーダストレンス：1.4.40/  モーダスポネンス：1.4.40/  モデル推論システム：1.4.39/  者：4.3.2/  物（もの）：4.3.2/  文字：1.5.1/  文字処理：2.5.2/  盲目的探索：1.4.4/  木構造探索：1.4.53/  目標：1.4.19/  問題解決：1.4.1/ 

や

ゆえに：3.1.2/  優先順位：2.3.1/  雄弁術：1.3.16/  横型探索：1.4.4/  四個概念：1.3.14/  四個名辞：1.3.14/  予測：1.4.3/  要求駆動：1.4.9/  要素：0.2/  要素命題：1.1.4/ 

ら

ラテン文字：1.5.1/  離接：2.4.3/  略字：1.5.2/  レトリック：0.5/  れば：1.1.7/  礼儀：2.4.12/  連言（レンゲン）：：1.2.4/  連言肢：1.1.4/  連言的標準形：2.5.10/  連言命題：1.1.4/  連続選言式：2.5.10/  連続連言式：2.5.10/  論証的虚偽：1.3.3/  論理：1.4.34/  論理パズル：4.2.1/  論理演算子：2.5.5/  論理回路：2.4.7/  論理学：0.1/  論理学：1.1.1/  論理変数：2.1.1/  論理和 ：1.2.3/ 

わ

ワープロ：4.1.1/  和集合：2.4.3/  和製漢字：1.5.2/  和文英訳：4.1.4/