0002132人目の素数さん垢版 | 大砲2017/11/03(金) 16:29:03.79ID:aDx9K94Q 前スレ 999 直観主義論理では二重否定の除去 ¬¬B → B は出来ないけど三重否定から否定を二つ除去 ¬¬¬B → ¬B するのは出来るんだよな 「「「Bが成り立つなら矛盾が導き出される」が成り立つなら矛盾が導き出される」 が成り立つなら矛盾が導き出される」 から「Bが成り立つなら矛盾が導き出される」が導き出されるという…