Standard ("classical") propositional logic deals with sentence connectives having a special property: they are truth functional. The terminology derives from the mathematical notion of a function, and one can use this to give a mathematically precise definition of truth functionality.