Syntax Definition w3o 967

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

Hypotheses

Ref	Expression
wph	wff ph
wps	wff ps
wch	wff ch

Assertion

Ref	Expression
w3o	wff ( ph \/ ps \/ ch )

See definition df-3or 969 for more information.