On 07/17/19 11:22, Laszlo Ersek wrote: > because, (A --> B) === (!A --> !B)
Obviously, it is impossible for me to write an email containing logical formulae without at least one *crucial* typo. The correct form of the above equivalence is: (A --> B) === (!B --> !A) This typo does not affect the rest of my previous message -- while I quoted the equivalence incorrectly, I did use it correctly. Thanks & sorry Laszlo