A-ból következik B = nem B-ből következik nem A?

Igen, a kettő ekvivalens.

Az A -> B implikációt ki tudod fejezni így is: -A V B (vagyis negációval és diszjunkcióval).

Ezért a -B -> -A kifejezhető így is: B V -A

A kettő ekvivalens, mert a diszjunkció kommutatív, azaz felcserélhető.

A klasszikus megoldás ennek bizonyítására az, hogy felírod az igazságtáblázatát:

A|B||A->B|¬B->¬A|

0|0|| 1 _| 1 ___|

0|1|| 1 _| 1 ___|

1|0|| 0 _| 0 ___|

1|1|| 1 _| 1 ___|

A "0" az nálam "h" (hamis)-t jelöl, az "1" pedig "i" (igaz) értéket.

Ugyanaz lett a két oszlop?