共立の『応用論理』を読み中。いまだ一章の古典命題論理。さっさと一階述語まで行きましょう。
ミステリ板の観察スレで師の名前を見てびっくりした。つか、師ーぽん(©V林田@V日記)はもうデフォですか。
引用をストックしました
引用するにはまずログインしてください
引用をストックできませんでした。再度お試しください
限定公開記事のため引用できません。