ABSTRACT
We learn about truth-functions very early in the study of symbolic logic. Propositional logic is compositional in two related ways. If we begin with atomic wellformed formulas (w s), represented syntactically by propositional symbols, then we can build up w s of any desired complexity by linking them together under a set of rules with certain truth-functional propositional connectives. Semantic compositionality extends the concept by implying that the meaning of a complex expression is determined by the meanings and relations holding among the expression’s meaningful constituents.
