Syntax Definition w3o 972

Description: Extend wff definition to include 3-way disjunction ('or').

Hypotheses

Ref	Expression
wph	wff 𝜑
wps	wff 𝜓
wch	wff 𝜒

Assertion

Ref	Expression
w3o	wff (𝜑 ∨ 𝜓 ∨ 𝜒)

See definition df-3or 974 for more information.