wff-and - bfol.mm Proof Explorer

	bfol.mm Proof Explorer		< Previous Next > Nearby theorems
Mirrors > Home > PE Home > Th. List > wff-and

Syntax Definition wff-and 132

Description: Extend WFF definition to include the "and" symbol '∧'.

**Hypotheses**
Ref	Expression
wff-ph	wff 𝜑
wff-ps	wff 𝜓

**Assertion**
Ref	Expression
wff-and	wff (𝜑 ∧ 𝜓)

See definition df-and-D2.2 133 for more information.

Colors of variables: wff objvar term class