05.02.2018, 13:32 |
Pippen |
Auf diesen Beitrag antworten » |
Leere Menge, Allquantorbeseitigung
Sei die leere Menge mal die Grundmenge für ein Modell/Interpretation. Dann wäre folgende Aussage wahr: , egal für was P stünde. Ist das richtig? Denn dann gilt die sog. Allquantorbeseitigung nicht mehr, wo man von auf schließen kann, oder? Ich will nur wissen, ob ich hier richtig denke. |
05.02.2018, 18:08 |
Guppi12 |
Auf diesen Beitrag antworten » |
Kenne mich mit Modellen nicht aus, aber für welches a willst du denn auf Pa schließen? Es gibt doch gar keins. |