3期の3日目。1日休みがあったので気力充電完了。
哲学特殊:
相変わらず説明が・・・( ;´・ω・`)。
聞くのに忍耐が要求されるのは苦痛以外何物でもない。
論理学(専門):
意味論的な推論の正しさの証明と、構文論的な推論規則の説明。
推論の正しさは
「前提をすべて「∧」で結び、それと結論を「→」で結んだ論理式がトートロジーになれば正しい(=妥当な)推論といえる」と夜スクで習った。でもこの授業では、ちょっと違うやり方なので最初戸惑った。確かにこっちの方が簡単だけど、下手したらトートロジーを知らないまま授業が終わってしまいそうな勢い。論理学という一分野なのに色々なやり方があるんだなー。
構文論の説明は時間がないだけに大雑把なものだったけど、改めて説明を聞けて良かった。ただし、あまりにもざっくりした説明だから、かえって混乱をきたすような気がしないでもない。
途中、練習問題に1時間ほど時間を割いていたので、練習問題を解いてみたり、トイレに行ったり、ニフ慶のたまり場に行ってみたり(笑)TAKAさん、案内してくださりありがとうございました!
そんなこんなで、授業最後の30分は中間テスト。
基礎的な真理値分析2問と推論の記号化と証明3問。ちゃんとできたはず。
帰宅中、体調悪くなり薬飲んでダウン。
なんとか持ちこたえてくれ、ワタシの身体よ。

今日のお昼ご飯「冷や汁」。
ほんとにひんやりしています。
なかなか美味。でもちょっとしょっぱいかな。
ウタちゃんもDQ10☆彡ヾ(^▽^)ノワーイ
フレ登録してくださーい!PT組みませう☆
あとでメールしますね。nachi【DQ10】緑&白のキーエンブレムをゲット!ご無沙汰してます!
僕もドラクエ10買って、オーガの戦士で今レベル18です。
あとで一緒にやりたいですねえ~。ウタちゃん江東花火大会2012花火はいつみても楽しいですよね(^.^)nachi江東花火大会2012花火を楽しむシーズンですね。
わたしは、花火の動画に詩を書いてアップしてみました。俊樹夏スク2010~1期を振り返って(2)▼あきさんごぶさたしています。レス遅れて申し訳ありません~。
こちらはあいかわらず猫たちと生活してますよ(^.^)
もう夏スク科目登録の時期ですね。
着実に歩みを進めていらnachi猫の王様▼ chessさん胸を張って凛々しいでしょー(*´∀`)(親バカ)nachi猫の王様猫背とは無縁のクロノちゃん、素敵!!chess白環猫食?▼rieさんありがとーです♪
これならいつでもワッカが見られます(*`д´)bnachi白環猫食?あはははは!
ナイス発想です~~っっっ
可愛いなあ…rieベッドにて問題発生中▼chessさんそうなんです、肉球の色が違うんですわー。
ルッカは黒、クロノはピンクです( ´艸`)nachi