20/12/28 23:08:14.96 zPg85e89.net
>>87
(1){馬鹿→(死なない→直らない)}の対偶
↔（死なない→直らない)でない→馬鹿でない
↔死なないかつ直る ならば 馬鹿でない
(2){死なない→(馬鹿→直らない)}の対偶
↔(馬鹿→直らない)でない→(死なない)でない
↔馬鹿かつ直る ならば 死ぬ
20/12/28 23:08:14.96 zPg85e89.net
>>87
(1){馬鹿→(死なない→直らない)}の対偶
↔（死なない→直らない)でない→馬鹿でない
↔死なないかつ直る ならば 馬鹿でない
(2){死なない→(馬鹿→直らない)}の対偶
↔(馬鹿→直らない)でない→(死なない)でない
↔馬鹿かつ直る ならば 死ぬ