形式論理学 命題の真偽と真理値【形式論理学1】
数学の学び直しのための記事です．ここでは数学を学ぶために役立つ形式論理学について解説します．命題について数学に限らず，物事を記述したり，考察したり，推論したりするために，命題は必要不可欠です．「太郎は次郎の兄である」という文も，命題といえま...
形式論理学
形式論理学 数学 真理値分析【形式論理学5】
このページでは，これまで扱った論理記号をまとめ，さまざまな複雑な分子命題の真理値を求める真理値分析を扱います．目次①命題論理の論理記号のまとめ➁真理値分析③論理記号の結合の順番について④問題⑤参考文献①命題論理の論理記号のまとめ命題論理の論...
形式論理学 命題の否定【形式論理学2】
数学の学び直しのための記事です．命題論理の命題の否定について記します．命題の否定「\(2\)は偶数ではない」という命題は，「\(2\)は偶数である」という命題\(A\)の否定であり，これを否定記号を\(\lnot\)を用いて\(\lnot ...
数学 命題について【形式論理学1-1】
数学の学び直しのための記事です．形式論理学の命題論理から始めます．形式論理学は，論理的思考を鍛えるだけでなく，数学的な思考・プログラミングを行う際の思考のためにも大切です．目次①命題について②真理値③問題④参考文献①命題について数学に限らず...