- #1
cragar
- 2,552
- 3
Homework Statement
For each structure, draw a directed graph representing the membership relation. Then determine which of the following axioms is satisfied by the structure: Extensionality, Foundation, Pairing, Union
U= {a,b} a in b , and b in a
The Attempt at a Solution
The directed graph would be an arrow from a to b and then an arrow from b to a.
This fails foundation because a can't be in b and b can't be in a.
It satisfies Extensionality because a is a member of b and vice versa.
it satisfies pairing and union
[/B]