logic of propositions 734117