EDB — 1YD

↑ ← → ↓ view in whole PDF view in whole HTML

View

English

Exercise 74

[1YD]Prerequisites:[1Y9],[01R]. Let’s imagine a different definition for the ordered pair, defined as

⟬x,y⟭=.{x,{x,y}};

show that

(1)⟬a,b⟭=⟬x,y⟭⟺(a=x∧b=y).
75

To show it you will need [01R].

Solution 1

[1YF]

Download PDF
Authors: "Mennucci , Andrea C. G." .
Bibliography
Book index
  • formal set theory
Managing blob in: Multiple languages
This content is available in: Italian English