@ipc_bot ¬¬¬ A → ¬¬A
@Yakumi7401 Not provable in intuitionistic logic; not provable in classical logic neither.
思考の /dev/null
@Yakumi7401 Not provable in intuitionistic logic; not provable in classical logic neither.