wand - Linear Logic Proof Explorer

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

Syntax Definition wand 182

Description: Logical conjunction. Defined by df-and 183.

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

**Assertion**
Ref	Expression
wand	wff (𝜑 ∧ 𝜓)

See definition df-and 183 for more information.

Colors of variables: wff var nilad