Syntax Definition wo 357

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

Hypotheses

Ref	Expression
wph	wff φ
wps	wff ψ

Assertion

Ref	Expression
wo	wff (φ ∨ ψ)

See definition df-or 359 for more information.