Syntax Definition w3a 581

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

Hypotheses

Ref	Expression
wph	wff φ
wps	wff ψ
wch	wff χ

Assertion

Ref	Expression
w3a	wff (φ ∧ ψ ∧ χ)

See definition df-3an 583 for more information.

metamath.org