実質含意のパラドックスとは (1) p→(q→p) (2) ¬p→(p→q) といった論理式のことである。 (1)は、pならば、qならばpである。(2)は、pでないならば、pならばqである。となる。 →（ならば）という記号は、日常言語の「ならば」とは意味が微妙に異なり、前件が偽か…

朝食にキムチと豆腐とわかめの味噌汁でご飯。

今朝の体重は58.2kg。昨日から1.4kg減。 体脂肪率は19.5％。0.7％増。 昨日体重が増えたのは水分が大きかったようだ。