An introduction to propositional logic and set theory ((S. N):(S. L), 2020)