Propositional Logic And Set Theory