結合子の定義不可能性とは? わかりやすく解説

Weblio 辞書 > 辞書・百科事典 > ウィキペディア小見出し辞書 > 結合子の定義不可能性の意味・解説 

結合子の定義不可能性

出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2022/03/25 04:07 UTC 版)

直観主義論理」の記事における「結合子の定義不可能性」の解説

古典命題論理において、論理積論理和または実質含意基本的なものとすれば、他は否定用いてウカシェヴィッチ命題論理のようにして定義できる。またこれら4つパース矢印(NOR)やシェファーの棒(NANDのようなただひとつの論理結合子用いて定義するともできる同様に古典一階述語論理において、一方量化子他方否定用いて定義できる。 これらは全ての結合子ブール関数であるという二値原理からの基本的な帰結である。二値原理直観主義論理においては成り立たない。ただ無矛盾律だけが成り立つ。結果としていかなる結合子不要ではなく、上に述べたどの公理も必要であることが分かる古典論理において成立する同値性は、直観主義論理においては幾つか成り立つけれども、多く一方含意だけが成り立つ。次のようなものがある: 論理積と論理和: ( ϕ ∧ ψ ) → ¬ ( ¬ ϕ ∨ ¬ ψ ) {\displaystyle (\phi \wedge \psi )\to \neg (\neg \phi \vee \neg \psi )} ( ϕ ∨ ψ ) → ¬ ( ¬ ϕ ∧ ¬ ψ ) {\displaystyle (\phi \vee \psi )\to \neg (\neg \phi \wedge \neg \psi )} ( ¬ ϕ ∨ ¬ ψ ) → ¬ ( ϕ ∧ ψ ) {\displaystyle (\neg \phi \vee \neg \psi )\to \neg (\phi \wedge \psi )} ( ¬ ϕ ∧ ¬ ψ ) ↔ ¬ ( ϕ ∨ ψ ) {\displaystyle (\neg \phi \wedge \neg \psi )\leftrightarrow \neg (\phi \vee \psi )} 論理積含意: ( ϕ ∧ ψ ) → ¬ ( ϕ → ¬ ψ ) {\displaystyle (\phi \wedge \psi )\to \neg (\phi \to \neg \psi )} ( ϕ → ψ ) → ¬ ( ϕ ∧ ¬ ψ ) {\displaystyle (\phi \to \psi )\to \neg (\phi \wedge \neg \psi )} ( ϕ ∧ ¬ ψ ) → ¬ ( ϕ → ψ ) {\displaystyle (\phi \wedge \neg \psi )\to \neg (\phi \to \psi )} ( ϕ → ¬ ψ ) ↔ ¬ ( ϕ ∧ ψ ) {\displaystyle (\phi \to \neg \psi )\leftrightarrow \neg (\phi \wedge \psi )} 論理和含意: ( ϕ ∨ ψ ) → ( ¬ ϕ → ψ ) {\displaystyle (\phi \vee \psi )\to (\neg \phi \to \psi )} ( ¬ ϕ ∨ ψ ) → ( ϕ → ψ ) {\displaystyle (\neg \phi \vee \psi )\to (\phi \to \psi )} 全称量化存在量化: ( ∀ x   ϕ ( x ) ) → ¬ ( ∃ x   ¬ ϕ ( x ) ) {\displaystyle (\forall x\ \phi (x))\to \neg (\exists x\ \neg \phi (x))} ( ∃ x   ϕ ( x ) ) → ¬ ( ∀ x   ¬ ϕ ( x ) ) {\displaystyle (\exists x\ \phi (x))\to \neg (\forall x\ \neg \phi (x))} ( ∃ x   ¬ ϕ ( x ) ) → ¬ ( ∀ x   ϕ ( x ) ) {\displaystyle (\exists x\ \neg \phi (x))\to \neg (\forall x\ \phi (x))} ( ∀ x   ¬ ϕ ( x ) ) ↔ ¬ ( ∃ x   ϕ ( x ) ) {\displaystyle (\forall x\ \neg \phi (x))\leftrightarrow \neg (\exists x\ \phi (x))} すると、例えば、 "a or b" は "if not a, then b" よりも強い主張となる。これは古典論理において同値であることと対照的である。他方で "not (a or b)" と "not a, and also not b" は同値となる。 同値結合子リスト入れるならば、いくつかの結合子は他から定義できる: ( ϕ ↔ ψ ) ↔ ( ( ϕ → ψ ) ∧ ( ψ → ϕ ) ) {\displaystyle (\phi \leftrightarrow \psi )\leftrightarrow ((\phi \to \psi )\land (\psi \to \phi ))} ( ϕ → ψ ) ↔ ( ( ϕ ∨ ψ ) ↔ ψ ) {\displaystyle (\phi \to \psi )\leftrightarrow ((\phi \lor \psi )\leftrightarrow \psi )} ( ϕ → ψ ) ↔ ( ( ϕ ∧ ψ ) ↔ ϕ ) {\displaystyle (\phi \to \psi )\leftrightarrow ((\phi \land \psi )\leftrightarrow \phi )} ( ϕ ∧ ψ ) ↔ ( ( ϕ → ψ ) ↔ ϕ ) {\displaystyle (\phi \land \psi )\leftrightarrow ((\phi \to \psi )\leftrightarrow \phi )} ( ϕ ∧ ψ ) ↔ ( ( ( ϕ ∨ ψ ) ↔ ψ ) ↔ ϕ ) {\displaystyle (\phi \land \psi )\leftrightarrow (((\phi \lor \psi )\leftrightarrow \psi )\leftrightarrow \phi )} とりわけ { ∨ , ↔ ⊥ } {\displaystyle \{\vee ,\leftrightarrow \bot \}} と { ∨ , ↔ ¬ } {\displaystyle \{\vee ,\leftrightarrow \neg \}} は直観主義結合子の完全な基底となる。

※この「結合子の定義不可能性」の解説は、「直観主義論理」の解説の一部です。
「結合子の定義不可能性」を含む「直観主義論理」の記事については、「直観主義論理」の概要を参照ください。

ウィキペディア小見出し辞書の「結合子の定義不可能性」の項目はプログラムで機械的に意味や本文を生成しているため、不適切な項目が含まれていることもあります。ご了承くださいませ。 お問い合わせ



英和和英テキスト翻訳>> Weblio翻訳
英語⇒日本語日本語⇒英語
  

辞書ショートカット

すべての辞書の索引

「結合子の定義不可能性」の関連用語

結合子の定義不可能性のお隣キーワード
検索ランキング

   

英語⇒日本語
日本語⇒英語
   



結合子の定義不可能性のページの著作権
Weblio 辞書 情報提供元は 参加元一覧 にて確認できます。

   
ウィキペディアウィキペディア
Text is available under GNU Free Documentation License (GFDL).
Weblio辞書に掲載されている「ウィキペディア小見出し辞書」の記事は、Wikipediaの直観主義論理 (改訂履歴)の記事を複製、再配布したものにあたり、GNU Free Documentation Licenseというライセンスの下で提供されています。

©2025 GRAS Group, Inc.RSS