“People like to try to translate English into logical expressions, an enterprise that does not always work very well. Let’s try a simple example: “Either you won’t go skiing, or you will and there won’t be any snow.” Using proposition symbols skiing and isSnow, we create the logical expressions: skiing ⇔ ¬snow ¬skiing ∨ ¬snow I’m not really sure which was the speaker’s intent. I think the speaker was just trying to be ironic, and math doesn’t capture that real well.”












