論理学FAQのブログ

ひーひー言いながら動画を作っています。そして述語論理はいつまでたっても満足いく説明ができません。こちらもご批判たまわれば。 レジュメはこちらです。 すべてを表現する言語が存在する：古典述語論理 動画はレジュメと合わせてご覧ください。 youtu.be youtu.be 古典述語論理のパートは長いので、まだまだ作らないと…