Question

if a then b is logically equivalent to

Answer 1

its contrapositive.

The contapositive of a-->b is the following ---- ~b --> ~a

Answer 2

if a then not b, or if not a then not b, or if not b then not a, or if b then a

Answer 3

"if not b then not a" is the word version of the symbols
~b --> ~a

Answer 4

thx

Answer 5

Glad to help.

Answer 6

More questions?