prop. やればできる.
proof. 対偶を取ると, できなければやらない となる. やる/やらない は できる/できない に意思などを加えたものであるため, これは明らかに真である. よって, prop やればできる は真である.□
なにかが間違っています.