[FRAGE] - Beispiel 2.1.1 af Seite 6
Results 1 to 5 of 5
  1. #1

    Title
    Veteran
    Join Date
    Oct 2002
    Posts
    16
    Thanks
    0
    Thanked 0 Times in 0 Posts

    Beispiel 2.1.1 af Seite 6

    hi,
    hab mir heute das skriptum für theoretische informatik 2 bissi angeschaut .Da ich leider nicht in die VO kommen kann ,hätt ich da ein paar Fragen bezüglich dem inhalt, und zwar beim bsp 1.2.1 auf S. 9. warum ist f(x) kein term?die bsp für die teilformeln und A(x/t) versteh ich leider auch nicht.
    kann mir das irgendwer erklären?
    danke + lg,
    Estelle

  2. #2
    soad's Avatar
    Title
    Baccalaureus
    Join Date
    Apr 2002
    Posts
    505
    Thanks
    18
    Thanked 20 Times in 19 Posts
    also: f(x) ist kein Term, weil hier f als 2-stellige Funktion betrachtet wird, z.B: f(x,y) wäre ein Term

    weiters: A(x/t) heißt das in der Formel A alle frei vorkommenden x, d.h. alle x die nicht durch einen Quantor gebunden sind, durch den Term t ersetzt werden

    tja und zu den Teilformeln: das würde ich auch gerne wissen.
    Ich denke, dass notP(f(x,a)) aufgrund der fehlenden Junktoren keine Teilformel ist . Sicher bin ich mir aber nicht

  3. #3

    Title
    Veteran
    Join Date
    Oct 2002
    Posts
    16
    Thanks
    0
    Thanked 0 Times in 0 Posts
    danke trotzdem
    vielleicht kannst uns beiden ja jemand anderer weiter helfen

  4. #4

    Title
    Principal
    Join Date
    Feb 2002
    Posts
    78
    Thanks
    0
    Thanked 0 Times in 0 Posts

    Re: Beispiel 2.1.1 af Seite 6

    notP(f(x,a)) ist keine Teilformel, weil das not nicht nur zu P(...)
    sondern auch noch zu impl Q(...) gehört.
    Richtige Aufteilung wäre:
    not(P(F(x,a))impl Q(y,f(y,a))) -->
    (P(F(x,a))impl Q(y,f(y,a))) -->
    P(F(x,a)
    Q(y,f(y,a)) -->
    ....

  5. #5
    soad's Avatar
    Title
    Baccalaureus
    Join Date
    Apr 2002
    Posts
    505
    Thanks
    18
    Thanked 20 Times in 19 Posts
    genau das wars

    ist zwar erst eine Woche her, hatte es aber trotzdem schon vergessen
    wo soll das noch hinführen....

Bookmarks

Posting Permissions

  • You may not post new threads
  • You may not post replies
  • You may not post attachments
  • You may not edit your posts
  •