Finished sections on formalizing sentences using propositional logic