トートロジーのモーダス・ポネンスによって得られる論理式はトートロジーである(古典的命題論理)