>>533
なんだか私が説明不足であるといわんばかりの言い草ですね。

結局「ならば」について488が何を言いたかったのかを考えたところ、
「A⇒B」＝「AはBの十分条件である」ということであろうと結論付けました。
つまり「全知全能⇒プログラミングできる」ということが言いたかったのだろうと。
しかしこれはすぐにわかりますが、裏は成り立ちません。
それを488は成り立つと勘違いしてしまったのかな、と思っています。

これが私なりの解答です。