真理集合の包含関係から命題真偽を調べることができますが，
仮定を表わす集合の境界は双曲線(数学C)となるので，
必要，十分に分けて命題の真偽を調べていきましょう．