Syntax Definition wo 195

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

Hypotheses

Ref	Expression
wph	wff ph
wps	wff ps

Assertion

Ref	Expression
wo	wff (ph \/ ps)

See definition df-or 197 for more information.

metamath.org