Propositional logic only looks at the propositions and how they are connected, and does not decompose them. That way, the proposition "All cats are dogs and the earth is a disc" is made of two propositions, "All cats are dogs", and "The Earth is a disc". These are joined together with the logical connective AND. 