wbi - Linear Logic Proof Explorer

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

Syntax Definition wbi 188

Description: Logical biconditional. Defined by df-bi 189.

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

**Assertion**
Ref	Expression
wbi	wff (𝜑 ↔ 𝜓)

See definition df-bi 189 for more information.

Colors of variables: wff var nilad