久しぶりに２日あけたような
そんなことよりもずっと久しぶりに勉強必死こいた。具体的には記号論理を一夜漬けした。途中でついついマンガに手が伸びる、という現象もかなり久しぶりだった。結果、良は取れるんじゃね？
∀y∀x(Sx*y=(x*y)+y) の証明図を１時間ちょいで書けた自分に感謝。あと30分あれば∀x∀y(x*y=y*x) も示せただろうけど、解答用紙に証明図を写すだけで１時間近く喰われてもしょうがないのでヨシと。過去問より全然難しかった・・・・
そんなことよりもずっと久しぶりに勉強必死こいた。具体的には記号論理を一夜漬けした。途中でついついマンガに手が伸びる、という現象もかなり久しぶりだった。結果、良は取れるんじゃね？
∀y∀x(Sx*y=(x*y)+y) の証明図を１時間ちょいで書けた自分に感謝。あと30分あれば∀x∀y(x*y=y*x) も示せただろうけど、解答用紙に証明図を写すだけで１時間近く喰われてもしょうがないのでヨシと。過去問より全然難しかった・・・・