A,A',B,B',C,C',D,D'は全て命題として、欲しい結論はD'が真であることとする。

ア、Aは真。Bは真。Cは真。A∧B∧C→Dは真。D→D'は真。
イ、Aは真。Bは真。Cは真。A→A'は真。B→B'真。C→C'は真。A'∧B'∧C'→Dは真。

どうみてもアの方が証明量が少ないのに、一般的にはイの方法がとられてる。
わけがわからない。なんでどうして？