wmc - Linear Logic Proof Explorer

	Linear Logic Proof Explorer	< Previous Next > Nearby theorems
Mirrors > Home > LLPE Home > Th. List > wmc		Structured version

Syntax Definition wmc 105

Description: Times, multiplicative conjunction. Defined by df-mc 106.

**Hypotheses**
Ref	Expression
wph	wff 𝜑
wps	wff 𝜓

**Assertion**
Ref	Expression
wmc	wff (𝜑 ⊗ 𝜓)

See definition df-mc 106 for more information.

Colors of variables: wff var nilad