Predicate logic #2 - function and predicate symbols

Поділитися
Вставка
  • Опубліковано 21 гру 2024

КОМЕНТАРІ • 20

  • @TheFarshid360
    @TheFarshid360 4 роки тому +19

    ich schaue jetzt in 2020 deine Videos anstatt meine Universität Folien an und die sind echt deutlicher und verständlicher! herzlichen Dank für deine Tolle Tutorials. ich könnte nicht mich genug bedanken!

  • @commanderlabelle1
    @commanderlabelle1 6 місяців тому +1

    Sehr gute Tutorials :)
    das hier war etwas konfus, aber es ist auch ein schwieriges Thema zum Erklären.

  • @MsJavaWolf
    @MsJavaWolf 8 років тому +9

    Sehr gute Tutorials. Es gibt wenige, die das Thema formal erklären. Gleichzeitig hast du noch verständliche Beispiele.

  • @davudiok7923
    @davudiok7923 7 років тому +3

    u da real mvp dawg

  • @bratspinat
    @bratspinat 5 років тому

    Ahhh, endlich kapier ich Prädikatensymbole 😅 danke für das Video!

  • @mariojackle7847
    @mariojackle7847 8 років тому +3

    Insgesamt sehr schön erklärt, aber was genau die Verbindung zwischen Prädikatensymbolen und Atomaren Ausdrücken ist, kommt mmn nicht raus.

  • @hatu7020
    @hatu7020 3 роки тому +1

    hey Leute, habt ihr manch themen in Gymnasium gelernt? mein Prof verhält sich dass wir schon ne Grundlage davon wissen !!!

  • @alliecorex
    @alliecorex 6 років тому +1

    Hallo Morpheus,
    Ich finde es immer noch ganz schwer zu verstehen, wie genau sind Prädikate und Funktionen verschieden, wenn es um solchen Beispielrätsel geht.
    Würdest du die Verschiedenheit mit solchen Beispiele wie diese in Video #3 erkären bitte?

    • @TheMorpheusTutorials
      @TheMorpheusTutorials  6 років тому +7

      Der Unterschied ist zwar sehr subtil aber recht simpel:
      Prädikate geben immer einen Wahrheitswert zurück. Funktionen geben Variablen zurück

    • @alliecorex
      @alliecorex 6 років тому

      Alles klar! Danke sehr für die schnelle Antwort

    • @l3nn13
      @l3nn13 2 роки тому

      @@TheMorpheusTutorials und funktionen können keinen wahrheitswert zurückgeben, weil sie dann prädikate wären oder? :D

  • @squirrelbrains2197
    @squirrelbrains2197 7 років тому

    Das sieht so aus als würde eine atomare formel aus mehreren termen bestehen. ich hatte bisher angenommen das atomare ausdrücke die kleinsten möglichen sind, und terme unter anderem aus ihnen zusammen gesetzt werden. bei dir klingt es so als ob es anders herum wäre. das ist etwas verwirrend

    • @TheMorpheusTutorials
      @TheMorpheusTutorials  7 років тому +2

      Ein atomarer Ausdruck ist ein Prädikat ohne Verbindungen wie And, Or etc, also schon so, wie du vermutlich dachtest

    • @squirrelbrains2197
      @squirrelbrains2197 7 років тому

      danke. verwirrung beseitigt.