Syntax Definition wa 196

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

Hypotheses

Ref	Expression
wph	wff φ
wps	wff ψ

Assertion

Ref	Expression
wa	wff (φ ∧ ψ)

See definition df-an 198 for more information.

metamath.org