2015年4月15日 / 最終更新日 : 2022年3月15日 kobuchan コペル先生のよもやま話 うそつきの数学 －論理の無矛盾性は保証されているのか－ 数学における論理、論理式 数学で言う論理では、ある命題を考えた時に、その真偽が判定できるものを言います。通常命題は、p,qをある論理とした時に、ｐ⇒ｑと言う形であらわされます。ｐ⇒ｑが真である時、ｑはｐの必要条件、ｐはｑ […]