21/08/29 10:11:24.71 OVMh0lsj.net
A．あるm∈Nが存在し
任意のd1,d2,…,dn∈Nに対して
d1,d2,…,dn ≦ m
となる
B．任意のd1,d2,…,dn∈Nに対して
あるm∈Nが存在し
d1,d2,…,dn ≦ m
となる
AとBは異なる
Aのｍは、d1,d2,…,dnに依存しない定数mだが
Bのｍは、d1,d2,…,dnに依存する関数m(d1,d2,…,dn)である
1は、述語論理の基本である限量子の順序の意味すら知らんらしい
21/08/29 10:11:24.71 OVMh0lsj.net
A．あるm∈Nが存在し
任意のd1,d2,…,dn∈Nに対して
d1,d2,…,dn ≦ m
となる
B．任意のd1,d2,…,dn∈Nに対して
あるm∈Nが存在し
d1,d2,…,dn ≦ m
となる
AとBは異なる
Aのｍは、d1,d2,…,dnに依存しない定数mだが
Bのｍは、d1,d2,…,dnに依存する関数m(d1,d2,…,dn)である
1は、述語論理の基本である限量子の順序の意味すら知らんらしい