Zephyr31429
Grünschnabel
Dabei seit: 20.02.2017
Beiträge: 1
|
|
Formale Verifikation von geordneten Paaren |
|
Hallo zusammen,
ich habe folgendes Problem.
Ich habe eine Menge A.
Ich möchte auf dieser das kartesische Produkt: A x A bilden.
Die resultierende Menge der geordneten Paare (a, b) möchte ich in Bezug auf ein Axiom überprüfen.
Wie kann ich dies am besten machen?
Lassen sich die geordneten Paare als Baum darstellen?
Auf diesem wäre eine Tiefensuche und elementweise Axiom-Überprüfung möglich?
VG Peter
|
|