2011-08-27から1日間の記事一覧
全称量化子`∀’は「無限連言」とも呼ばれるように、連言と相性がよい。そのため[?] ∀x(Px∧Qx) ⇔ ∀xPx∧∀xQx が成り立つことは容易に想像できる。それに対し、全称量化と選言を組み合わせる場合 ∀xPx∨∀xQx ⇒ ∀x(Px∨Qx) という方向しか成り立たない。例えば、量…
全称量化子`∀’は「無限連言」とも呼ばれるように、連言と相性がよい。そのため[?] ∀x(Px∧Qx) ⇔ ∀xPx∧∀xQx が成り立つことは容易に想像できる。それに対し、全称量化と選言を組み合わせる場合 ∀xPx∨∀xQx ⇒ ∀x(Px∨Qx) という方向しか成り立たない。例えば、量…