Learning Functional Programming in Go

Order matters

Remember the statement: "If Jenny were sitting at her desk, then she'd be at home?"

Its converse would be, "If Jenny were at home then she'd be sitting at her desk." The converse is created by swapping the hypothesis and conclusion. How does the converse change the logic of the sentence? (Could "Jenny be at home, but not at her desk?") The same words in a different order can change the resulting truth value.

Similarly, the inverse of a conditional can also change the logic. For example, consider the negative form of "If Jenny were sitting at her desk, then she'd be at home," which is "If Jenny were not sitting at her desk, then she would not be at home." (Could Jenny be at home, but not at her desk?)

See how we can use truth ...