前スレ 999
直観主義論理では二重否定の除去
¬¬B → B
は出来ないけど三重否定から否定を二つ除去
¬¬¬B → ¬B
するのは出来るんだよな

「「「Bが成り立つなら矛盾が導き出される」が成り立つなら矛盾が導き出される」
が成り立つなら矛盾が導き出される」
から「Bが成り立つなら矛盾が導き出される」が導き出されるという…