propositional logic set 4 4841676