やったならばできる

やればできるという言葉がある。
よく意味が分からないので、近そうな命題を考えてみた。
「やったならばできる」
これは常に正しい。
人間がやったということは、人間にできることだということだ。
逆もまた真なりだ。
「できるならばやった」
できると証明するためには、やらなければならない。
やっていないとすれば、それはできるとは限らない。
なのにできるということは、やったということだ。
「やったならばできる」と「できるならばやった」が成立する。
すなわち、やったとできるは同値である。
「やればできる」に代入すると、「やればやった」ということになる。
これも正しそうだ。