24/02/19 05:47:43.76 oynWM+cD.net
>>645 の定理Aの論理式に重大なミス発覚！
一番外、∧と書くべきところを∨を書いてた
正しい式は以下の通り
∀d(1),…,d(n)∈N.∧(i,j=1~n,i<j) ¬((d(i)>D(i))∧(d(j)>D(j)))
(注：D(i)=max(d(1),…,d(i-1),d(i+1),…,d(100)) とする)
あ、でも ID:Eujd26JJ は全く気づかず指摘すらしなかったね
やっぱり論盲でしたか
24/02/19 05:47:43.76 oynWM+cD.net
>>645 の定理Aの論理式に重大なミス発覚！
一番外、∧と書くべきところを∨を書いてた
正しい式は以下の通り
∀d(1),…,d(n)∈N.∧(i,j=1~n,i<j) ¬((d(i)>D(i))∧(d(j)>D(j)))
(注：D(i)=max(d(1),…,d(i-1),d(i+1),…,d(100)) とする)
あ、でも ID:Eujd26JJ は全く気づかず指摘すらしなかったね
やっぱり論盲でしたか