 The type of logic called propositional, sentential, or statement logic includes only operators and propositional constants as symbols in its language.The propositions in this language are propositional constants, which are considered atomic propositions, and composite (or compound) propositions, which are composed by recursively applying operators to propositions.