Syntax Definition w3a 978

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

Hypotheses

Ref	Expression
wph	wff ph
wps	wff ps
wch	wff ch

Assertion

Ref	Expression
w3a	wff ( ph /\ ps /\ ch )

See definition df-3an 980 for more information.