（01） ―「先程の記事（令和０３年０４月０３日）」でも書いた通り、―（α）「Ａから、Ｂが、導出される」のであれば、「Ａ→Ｂ（ＡならばＢである。）」は、「恒真式（トートロジー）」である。（β）「Ａを否定すると、矛盾が生じる」のであれば、「Ａ（Ａで…

（01）①（土曜なので、休日である。）といふことは、② 土曜ならば、休日である。（土曜である。故に、休日である。）といふことに、他ならない。従って、（01）により、（02）①（ＰなのでＱである。）といふことは、② ＰならばＱである。（Ｐである。故に、…