2026-06-25
やっていこう
12:24 読書
~13:47
16:33~ 読書
18:16~
p<->qが恒真命題であることを論理同値と定義したとき、そこから、pとqの真理値表が一致すればpとqは論理同値であるという命題をどのように導くのか
あー
pとqの真理値が一致（TTかFF）したときに$ p\lrarr qが$ Tになるからだ
説明になってないw
$ \modelsの記号などは意味論 と関係があるようだ ゴッドファーザー2観た
このアンバーダッキーというダンゴムシ、インスタで見かける
その辺のダンゴムシを拾ってレイアウトで飼うことを検討
コケリウム作るついでに
読みたい
睡眠
寝だめが可能、ホットミルクが良い、90分の倍数寝ろ、暗いと目に悪いはデマ
8時間が基本
大学生の睡眠覚醒習慣について（第2報）
すごい事例あった
n年前