17/11/03 16:29:03.79 aDx9K94Q.net
前スレ 999
直観主義論理では二重否定の除去
￢￢B → B
は出来ないけど三重否定から否定を二つ除去
￢￢￢B → ￢B
するのは出来るんだよな
「「「Bが成り立つなら矛盾が導き出される」が成り立つなら矛盾が導き出される」
が成り立つなら矛盾が導き出される」
から「Bが成り立つなら矛盾が導き出される」が導き出されるという…
17/11/03 16:29:03.79 aDx9K94Q.net
前スレ 999
直観主義論理では二重否定の除去
￢￢B → B
は出来ないけど三重否定から否定を二つ除去
￢￢￢B → ￢B
するのは出来るんだよな
「「「Bが成り立つなら矛盾が導き出される」が成り立つなら矛盾が導き出される」
が成り立つなら矛盾が導き出される」
から「Bが成り立つなら矛盾が導き出される」が導き出されるという…