Syntax Definition wa 103

Description: Extend wff definition to include conjunction ('and').

Hypotheses

Ref	Expression
wph	wff 𝜑
wps	wff 𝜓

Assertion

Ref	Expression
wa	wff (𝜑 ∧ 𝜓)

This syntax is primitive. The first axiom using it is ax-ia1 105.