2014-12-16から1日間の記事一覧

今日の食べ物 朝食にレトルトハヤシ

朝食にファミリーマートの濃厚ビーフハヤシ。 わりと酸味の強い味でした。

命題論理 ¬p∨q≡p→q

¬p∨q≡p→q 「pでないかまたはqである」は「pならばqである」と同値である。 これは少々分り辛いかもしれない。これを真理値表や自然演繹で確かめることもできるが直観的には次のように考えれば良い。 pを¬rと置いてみる。すると、 r∨q≡¬r→q 「rまたはqである…

体重と体脂肪率

今朝の体重は57.5kg。 体脂肪率は21.1%。