Learning Functional Programming in Go

Conditional propositions

The following propositions say the same thing:

• If a, then b
• a implies b
• a → b
• a ⇒ b

The variable a is the hypothesis and b is the conclusion. The conclusion is always true, except when a is true and b is false. One way of thinking about this is: "If pigs could fly, then…" anything you conclude is true after such an obviously false statement. If a and b are both true, then obviously going from a to b will be true. However, if a is true and b is false, then when going from a to b we'll end up with a false value.