Current Slide

Small screen detected. You are viewing the mobile version of SlideWiki. If you wish to edit slides you will need to use a larger device.

1/4: Logische Regeln

  • Implikationen in Prädikatenlogik
  • Zum Beispiel: \[F\to G \;\;\; (\equiv\;\neg F \vee G)\]
  • Logische Erweiterung der Wissensbasis → statisch
  • Open World 
  • Deklarativ (beschreibend)
 

Speaker notes:

Content Tools

Sources

There are currently no sources for this slide.