- #1
agapito
- 49
- 0
Which axioms (at minimum) would have to be invoked so the following expression holds:
(x = y) ----> [(y=x) <---> (y=y)] ?
All help appreciated, am
(x = y) ----> [(y=x) <---> (y=y)] ?
All help appreciated, am