21/05/31 16:07:27.92 bKoS+/J9.net
>>683
>> 1∈2∈3∈・・∈n∈ω
↓
>> 1∈2∈3∈・・∈∀n∈ω
>などと、∀を使えば、よかんべ
反例 1∈1∈ω
∀nは任意の自然数だから1でもよい。しかし 1∈1 は偽だから「1∈1∈ω は∈列」も偽。
1∈2∈3∈・・∈∃n∈ω
は良い。しかしこれは有限列。
さすがに大学数学に入門を拒絶されただけのことはありますね。量化子がまったく分かってない。
21/05/31 16:07:27.92 bKoS+/J9.net
>>683
>> 1∈2∈3∈・・∈n∈ω
↓
>> 1∈2∈3∈・・∈∀n∈ω
>などと、∀を使えば、よかんべ
反例 1∈1∈ω
∀nは任意の自然数だから1でもよい。しかし 1∈1 は偽だから「1∈1∈ω は∈列」も偽。
1∈2∈3∈・・∈∃n∈ω
は良い。しかしこれは有限列。
さすがに大学数学に入門を拒絶されただけのことはありますね。量化子がまったく分かってない。