バルカン式 ∀x□F(x)→□∀xF(x) （すべてのxについて必然的にF(x)ならば必然的にすべてのxについてF(x)である） 逆バルカン式 □∀xF(x)→∀x□F(x) （必然的にすべてのxについてF(x)ならばすべてのxについて必然的にF(x)である） バルカン式が成り立たないモデル す…

朝食に塩鯖と雑炊と小松菜のサラダと豆腐とわかめの味噌汁です。