4項述語3重量化∀x1∈S1 ∃x2∈S2 ∀x3∈S3

4項述語・4変項命題関数の3重量化∀x1∈S1 ∃x2∈S2 ∀x3∈S3 P(x1,x2,x3,x4)の定義・意味・読みを作成。アップロード。