Learning Functional Programming in Go

Not propositions

The following are the examples of not propositions:

• x = 5  (this is not an assertion of truth, it's an assignment)
• x + y = 5 (not enough information to be an assertion, answer depends on missing data)

Propositions can combine terms using connectives (and, or not).