2023-08-21 命題1.2 5項 梅原雅顕・一木俊助『これからの集合と位相』 裳華房 2022 命題1.2 5項 とする．このとき である． (証明) いま である．このとき，もしが偽であるならば i.e. 真 であるのでの真理値は，の真理値の如何を問わず，真である． したがって，もしpが偽であるときは真であることがわかる．▢
