記号論理学の問題ってここでいいですか?