This document discusses key concepts in sentence semantics and propositional logic. It defines sentences, utterances and propositions. A proposition is conceived as an abstract string of words that can be true or false depending on the state of affairs. The document also discusses truth conditions and how knowing the meaning of a sentence involves knowing when it is true or false. It introduces concepts of formal semantics like models and model theory. Finally, it discusses word meaning, propositions, entailment, predicate logic and propositional logic.