Syntax Definition wa 103

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

Hypotheses

Ref	Expression
wph	wff ph
wps	wff ps

Assertion

Ref	Expression
wa	wff ( ph /\ ps )

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