>>139
120： ロシュ限界
簡潔に言うと、A→B,B→C, A→Cという論理手続きを踏んでいる一連の論理に反論するためには、Cに対する反例を提示することだけではなく、Aが成り立たないことを述べることによっても成立する。


ではAが成り立たないことを示せれば、（A→B,B→C, A→C）という命題は偽であってるんでしょうか？