レトルトカレーの国立薬膳カレー野菜。 野菜の甘みがかなり強いカレーでした。

量化子の∀（全ての）と∃（存在する）に関し、∀x∃yf(x,y) と ∃y∀xf(x,y) の違いについて。 ∀x∃yf(x,y) は、日本語の文で表すと、全てのxについてf(x,y)であるyが存在する、 となり、 ∃y∀xf(x,y) は、同様に、あるyが存在し全てのxに対してf(x,y)である、 とな…