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