Originally Posted by
guadzilla
Actually, in logical structures, inverse, converse and reverse all have different connotations. If A -> B, then inverse is B -> A, converse is (not A) -> (not B). and reverse is A !-> B. Or something like that. Been a while (jeez, i just realized how long) since i studied that stuff.
Wait.. where is everyone going? This is interesting stuff.... Come back!!!!
I took two classes of formal logic, but having not used it much in almost 20 years, it's fading. The bit I remember is contrapositive (!B -> !A in your examples). However, as much as I do truly find this interesting, the strict logical uses of inverse and reverse don't rule the plain English uses, just as "or" in English is usually XOR in circuits.