ここ最近何かと忙しい。あれ作りたいこれ作りたい、進捗作らないと行けないバイトしないといけない今進めてるプロジェクトの管理しないといけない。遊びたい。で結局全部中途半端になってる感じ。今日もバイトの準備してたけど全然集中できなくて時間無駄に…

前回の続き。論理式をAgdaで証明していくのですが、実際にコードを書く前に論理式とはどうやって証明すればいいかのお話。 推論規則 論証の妥当性を示すのに用いられる規則を推論規則と呼ぶ。以下は推論規則をを用いて論証の妥当性を示すための規則である。 …