 This gives the meanings of the propositional connectives as operations from an old context representing a state of knowledge to a new context representing the state of knowledge that results from processing the propositional information.