Die Mathe-Redaktion [Home] - Neues auf einen Blick 22.03.2023 01:07 [Neues] [Forum] [Suche] - Registrieren/Login
 
Matroids Matheplanet Forum Index
Moderiert von mire2 StrgAltEntf
Logik, Mengen & Beweistechnik » Prädikatenlogik » Warum ist dies keine prädikatenlogische Formel?
Autor
Universität/Hochschule J Warum ist dies keine prädikatenlogische Formel?
owehhoweh0
Junior Letzter Besuch: vor mehr als 3 Monaten
Dabei seit: 30.03.2022
Mitteilungen: 13
  Themenstart: 2022-03-30

R ist ein zweistelliges Prädikat F ein einstelliges Prädikat f eine einstellige Funktion Wir hatten eine Aufgabe wo wir bestimmen mussten, ob Formeln prädikatenlogsiche Formeln sind, die hier: ∃x(R(x,a)↔F(f(a)) sei keine, warum? Es gibt wahrscheinlich kein Modell, für diese FOrmel, aber an sich ist das doch eine korrekte prädikatenlogische Formel oder nicht?

   Profil
zippy
Senior Letzter Besuch: in der letzten Woche
Dabei seit: 24.10.2018
Mitteilungen: 4404
  Beitrag No.1, eingetragen 2022-03-30

Bei dem $\exists$ fehlt die Angabe einer Variable, die existieren soll. --zippy

   Profil
owehhoweh0
Junior Letzter Besuch: vor mehr als 3 Monaten
Dabei seit: 30.03.2022
Mitteilungen: 13
  Beitrag No.2, vom Themenstarter, eingetragen 2022-03-30

\quoteon(2022-03-30 18:46 - zippy in Beitrag No. 1) Bei dem $\exists$ fehlt die Angabe einer Variable, die existieren soll. --zippy \quoteoff Sorry, das habe ich vergessen, da muss ein x sein, also das: ∃x(R(x,a)↔F(f(a)) sei anscheiennd keine prädikatenlogische Formel (warum auch immer)

   Profil
StrgAltEntf
Senior Letzter Besuch: in der letzten Woche
Dabei seit: 19.01.2013
Mitteilungen: 8194
Wohnort: Milchstraße
  Beitrag No.3, eingetragen 2022-03-30

Es gehen vier Klammern auf aber nur drei wieder zu

   Profil
owehhoweh0 hat die Antworten auf ihre/seine Frage gesehen.
owehhoweh0 hat selbst das Ok-Häkchen gesetzt.

Wechsel in ein anderes Forum:
 Suchen    
 
All logos and trademarks in this site are property of their respective owner. The comments are property of their posters, all the rest © 2001-2023 by Matroids Matheplanet
This web site was originally made with PHP-Nuke, a former web portal system written in PHP that seems no longer to be maintained nor supported. PHP-Nuke is Free Software released under the GNU/GPL license.
Ich distanziere mich von rechtswidrigen oder anstößigen Inhalten, die sich trotz aufmerksamer Prüfung hinter hier verwendeten Links verbergen mögen.
Lesen Sie die Nutzungsbedingungen, die Distanzierung, die Datenschutzerklärung und das Impressum.
[Seitenanfang]