形式論理学 命題の否定【形式論理学2】 数学の学び直しのための記事です. 命題論理の命題の否定について記します. 命題の否定 「\(2\)は偶数ではない」という命題は,「\(2\)は偶数である」という命題\(A\)の否定であり,これを否定記号を\(\lnot\)を用いて\(\ln... 2020.09.09 形式論理学
数学 命題について【形式論理学1-1】 数学の学び直しのための記事です. 形式論理学の命題論理から始めます. 形式論理学は,論理的思考を鍛えるだけでなく,数学的な思考・プログラミングを行う際の思考のためにも大切です. 目次 ①命題について ②真理値 ③問題 ④参考文献 ①命題につ... 2020.08.27 数学