Syntax Definition wa 358

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

Hypotheses

Ref	Expression
wph	wff φ
wps	wff ψ

Assertion

Ref	Expression
wa	wff (φ ∧ ψ)

See definition df-an 360 for more information.