命題とその真偽：正しいか正しくないかの判定の対象となる文章や式を命題という。したがって、命題は真か偽かのいずれかである。 23 必要・十分条件 命題 p ⇒ q が真であるとき、qはp（であるため）の必要条件（足りてない）という。 命題 p ⇒ q が真である…