simptcheck formal version of this item

Automated Reasoning in Higher Order Logic

Automated Reasoning in Higher Order Logic

Matracas Mathematics Related Software

Contact Person
Chad E Brown

Definition

Let A and B be objects. Then we define A∪B to be the object given by U({A,B}).

Background

The following background is necessary to understand this definition.

(.) ∅ is an object.

(.) Let x and y be objects. Then {x}∪y is an object.

(.) Let A be an object. Then UA is an object.

(.) We use {x1,...,xn} as shorthand notation for the finite set with elements x1, ..., xn.

Click here to modify variable names (JavaScript Must Be Enabled).

Hide Background.

Test yourself on this item.

See Also

Theorem Theorem Theorem Theorem Theorem Theorem Theorem Theorem Theorem Theorem Theorem Theorem Theorem Theorem Theorem Theorem Theorem Theorem Theorem Theorem Theorem Theorem Theorem Theorem Theorem Theorem Theorem Theorem Theorem Theorem Theorem Theorem Theorem Theorem Theorem Theorem Theorem Theorem Theorem Theorem Theorem Theorem Theorem Theorem Theorem Theorem Theorem Theorem Theorem Theorem Theorem Theorem Theorem Theorem Theorem Theorem

Feedback