2015-01-12から1日間の記事一覧

矛盾からは何でも導ける

一つの体系の中で、ある命題の肯定と否定が両方ともいえるなら、その体系は矛盾している。 矛盾からはどんな命題でも導き出すことができる。 pと¬pの両方が成り立つとする。 すると以下のようにして任意の命題qを導ける。 p∧¬p ─── p ─── p∨q ──── ¬p→q ¬p ─…

今日の食べ物 朝食に牡蠣フライ

朝食に牡蠣フライと豆腐とわかめの味噌汁でご飯。

体重と体脂肪率

今朝の体重は59.2kg。昨日から0.1kg減。 体脂肪率は21.7%。0.9%増。