>>967
ええ
演繹と条件法は無関係なので
仮定するというのは背理法のためにあるものです