Syntax Definition wo 6

Description: If a and b are terms, so is (a v b).

Hypotheses

Ref	Expression
wva	term a
wvb	term b

Assertion

Ref	Expression
wo	term (a v b)

This syntax is primitive. The first axiom using it is ax-a2 31.

Copyright terms: Public domain