否定

論理学を学ぶ記事です． 本記事では，量化子を伴う命題の否定について説明します． 量化子と否定 量化子を伴う命題に否定が作用された場合を考えます． \(\neg (\forall x A(x) )\) \(\neg (\exists x A(...

数学の学び直しのための記事です． 命題論理の命題の否定について記します． 命題の否定 「\(2\)は偶数ではない」という命題は，「\(2\)は偶数である」という命題\(A\)の否定であり，これを否定記号を\(\lnot\)を用いて\(\ln...