20/05/02 14:55:39.97 +ZMZwUk8.net
>>536
＞実際にCor3.12を導く前の前提となっているANDとORを間違えて、
＞数式を単純化するのが誤りであれば、SSレポートが間違え。
別スレッドの書き込み
2020/04/24(金) 09:32:51.95 ID:orcsTVam
＞Cor3.12単純化が間違えか否か、Cor3.11までの前提でANDをORで扱うべきでない
2020/05/01(金) 17:33:53.74 ID:LHYbnd6W
＞IUTで∧を∨を誤認した反例
＞Dupuyやフェセンコは、明確に「SSレポートの反例は間違え」と言い切っている。
ところで、望月氏のいう「ANDとORの取り違え」説って、
Dupuyや他の人に受け入れられてるの？