>>488
>東北大 尾畑研のpdf程度で 良い
第一章の1.4に述語論理出てくるけど、
カラスの世田はこんな基本的なことも
何ひとつ全然理解できてないよ(バッサリ)
https://www.math.is.tohoku.ac.jp/~obata/student/subject/TaikeiBook/Taikei-Book_01.pdf