がん‐い【含意】
含意
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2017/04/23 03:33 UTC 版)
- 文や単語において、表面的には見えないような別の意味合いを持たせること。
- 論理学における論理包含
 | このページは曖昧さ回避のためのページです。一つの語句が複数の意味・職能を有する場合の水先案内のために、異なる用法を一覧にしてあります。お探しの用語に一番近い記事を選んで下さい。このページへリンクしているページを見つけたら、リンクを適切な項目に張り替えて下さい。 |
含意
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2018/01/28 04:15 UTC 版)
含意には4つの規則がある。そのうち2つは仮説から量化子を除去するもので、残る2つは帰結から量化子を除去する。これらの規則は、含意 ϕ → ψ {\displaystyle \phi \rightarrow \psi } を ¬ ϕ ∨ ψ {\displaystyle \lnot \phi \lor \psi } と書き換えた上で上述の論理和に関する規則を適用することで得られる。論理和の規則と同様、ある部分論理式に出現する量化された自由変項が他の部分論理式に出現しないことが条件になっている。 仮説部分から量化子を除去する規則は以下の通り。 ( ∀ x ϕ ) → ψ {\displaystyle (\forall x\phi )\rightarrow \psi } は ∃ x ( ϕ → ψ ) {\displaystyle \exists x(\phi \rightarrow \psi )} と等価 ( ∃ x ϕ ) → ψ {\displaystyle (\exists x\phi )\rightarrow \psi } は ∀ x ( ϕ → ψ ) {\displaystyle \forall x(\phi \rightarrow \psi )} と等価 ϕ → ( ∃ x ψ ) {\displaystyle \phi \rightarrow (\exists x\psi )} は ∃ x ( ϕ → ψ ) {\displaystyle \exists x(\phi \rightarrow \psi )} と等価 ϕ → ( ∀ x ψ ) {\displaystyle \phi \rightarrow (\forall x\psi )} は ∀ x ( ϕ → ψ ) {\displaystyle \forall x(\phi \rightarrow \psi )} と等価
※この「含意」の解説は、「冠頭標準形」の解説の一部です。
「含意」を含む「冠頭標準形」の記事については、「冠頭標準形」の概要を参照ください。
含意
「含意」の例文・使い方・用例・文例
含意と同じ種類の言葉
品詞の分類
- >> 「含意」を含む用語の索引
- 含意のページへのリンク
