08 June 2015

## Faint amusement from arrows

In logic, we talk about propositions, giving them names, say p or q. For example, p might be the proposition 'it is raining', and q the proposition 'I will get wet'. Then to represent the proposition 'if it is raining then I will get wet', we can say 'p IMPLIES q', which is often written […]