Theorem mcmd 124

Description: Association of ⊗ into ⅋. The converse of this rule does not hold.

This theorem is its own dual: By flipping the ⊸ around and swapping ⊗ and ⅋, you end up with the same theorem.

Assertion

Ref	Expression
mcmd	⊦ ((𝜑 ⊗ (𝜓 ⅋ 𝜒)) ⊸ ((𝜑 ⊗ 𝜓) ⅋ 𝜒))

Proof of Theorem mcmd

Step	Hyp	Ref	Expression

Syntax hints:   ⅋ wmd 2   ⊸ wli 61   ⊗ wmc 105

 WARNING: This theorem has an incomplete proof.

This theorem is referenced by: (None)