This document discusses different methods of representing text semantics, including propositional semantics which converts text to logical formulas and vector representations which embeds text in a high-dimensional space. It also covers different general knowledge representations such as logical, production rule, semantic network, and description logic representations. Finally, it describes propositional and predicate logic in more detail, explaining their syntax, semantics, and how predicate logic builds upon propositional logic by allowing properties and relations between objects.