Syntax Definition wo 195

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

Hypotheses

Ref	Expression
wph	wff φ
wps	wff ψ

Assertion

Ref	Expression
wo	wff (φ ∨ ψ)

See definition df-or 197 for more information.

metamath.org