三項述語二重量化 ∃x∈S ∀y∈T P(x,y,z)

三項述語・3変項命題関数の二重量化∃x∈S ∀y∈T P(x,y,z)の定義・意味・読みなどについて、ノートを新規作成。アップロード。