意味

示唆とは、以下を指す場合があります。

• 論理的帰結（含意または論理的含意とも呼ばれる）とは、一つまたは複数の他の命題から論理的に「導かれる」場合に真となる命題間の関係のことである。
• 実質条件文（実質含意とも呼ばれる）は、論理結合子であり、二項真理関数であり、通常は「pならばq」 と解釈される。
  • 実質的含意（推論規則）、置換の論理規則
  • 含意命題論理とは、古典命題論理の一種で、実質条件結合子のみを使用するものです。
• 厳密な条件または厳密な含意、必然性を表す様相論理の接続詞
• モーダス・ポネンス、または含意消去とは、「 pならばqである。pは真であると主張されているので、したがってqは真でなければならない」と要約される、単純な議論形式および推論

• 含意とは、明示されていなくても、あるいは厳密に暗示されていなくても、発話の中で示唆される事柄のことである。
• 含意普遍性または言語普遍性とは、自然言語全体に体系的に現れるパターンである。
  • 含意階層とは、含意普遍性の連鎖のことである。ある言語が1つの特性を持つならば、その連鎖内の他の特性も持つことになる。
• 含意（語用論）または厳密な含意とは、2つの文の関係において、一方の文が真であれば他方の文も真でなければならないという関係のことである。

• 含意表は、状態機械における状態の最小化を容易にするために使用されるツールである。
• 含意グラフとは、複雑なブール式を分析するために使用される、歪対称な有向グラフである。
• （情報科学における）示唆

• 重要な意味（曖昧さの解消）
• 暗黙的（曖昧さ回避）