28.11.2018, 22:25 |
Pippen |
Auf diesen Beitrag antworten » |
Elementrelation basal?
Wie formuliert man "" in traditioneller Logik? Gilt etwa: a ? Oder läßt sich die Elementbeziehung nicht grundlegender einfangen, so dass "" basal ist? |
29.11.2018, 02:20 |
zweiundvierzig |
Auf diesen Beitrag antworten » |
ZFC ist eine - Theorie, wobei zweistellige Relationssymbole sind. Neben den ZFC-Axiomen wird nur angenommen, dass die Axiome einer Äquivalenzrelation und einer Kongruenzrelation bezüglich erfüllt.
Edit: Die von dir angegebene Formel ist syntaktisch inkorrekt |
29.11.2018, 12:34 |
Elvis |
Auf diesen Beitrag antworten » |
Ein Mensch ist ein Element der Menschheit . Nach meiner Erfahrung ist für sein Dasein eher ein biologischer Vorgang notwendig als ein logischer Vorgang. Wir haben uns unsere Kinder jedenfalls nicht ausgedacht. |
30.11.2018, 00:02 |
Pippen |
Auf diesen Beitrag antworten » |
Zitat: |
Original von zweiundvierzig
ZFC ist eine - Theorie, wobei zweistellige Relationssymbole sind. Neben den ZFC-Axiomen wird nur angenommen, dass die Axiome einer Äquivalenzrelation und einer Kongruenzrelation bezüglich erfüllt.
|
D.h. das Elementzeichen kann nicht grundlegender durch ein AL/PL Zeichen wie ~, ->, &, ..., Allquantor, ... ausgedrückt werden, oder? Genau wie das Gleichheitszeichen nicht durch das Bikonditional hinreichend beschrieben werden kann. Will nur wissen, ob ich das richtig verstehe. |