集合論

数学基礎論

論理演算の性質

命題の論理演算についての基本性質をまとめた.これらの性質は,論理記号を日本語で解釈することによって,直感的に理解することができる.この記事では,$P,Q,R$を命題とする.論理和・論理積の性質まず,直感的に成り立つのは当然のように思える性質...
数学基礎論

命題

すべての数学の土台となる「命題」の論理についてまとめた.命題論理学における命題は,次のように説明される.定義11正しいか正しくないかが客観的に判断できる主張を命題(proposition)という.命題が正しいとき,その命題は真(true)で...