commutativity of conjunction

rule of inference

Categories: