トートロジーの判別、LP、意味論的妥当性あたりを勉強すれば単位はとれる。
しかし高得点を狙おうとすると結構難しい。山口先生の落書きはかわいいので、黒板の写真を撮るために出席するのも一興。