0703名無しさん@毎日が日曜日垢版 | 大砲2019/09/22(日) 12:59:07.56ID:hzlVdLcY SESの件は、以前も指摘した一階述語論理を扱えないって特徴が良く出ている。 ∃SESはブラック と ∀SESはブラック が等価w 小学生でも使えてるんだけどな。