 |
 |
 |
 |
 |
 |
Startseite » Forum » Prädikatenlogik interpretation was muss ich machen
Prädikatenlogik interpretation was muss ich machen
Universität / Fachhochschule
Tags: gamma, Interpretation benötigt, quantor
 
|
  |
|---|
|
Angenommen, die Prädikatenlogik PD* ist wie die Prädikatenlogik PD, mit dem Unterschied, dass wir die Einführung des universellen Quantors auf einen Satz anwenden dürfen, selbst wenn die Konstante in einer aktiven (offenen) Annahme vorkommt. Zeigen Sie, dass PD* für die Prädikatenlogik nicht korrekt (nicht sound) ist. **Hinweis:** Sie müssen eine Menge von Sätzen und einen Satz finden, sodass aus in PD hergeleitet werden kann, aber nicht (quantifikatorisch) impliziert. Um zu zeigen, dass nicht quantifikatorisch impliziert, müssen Sie eine Interpretation der Sprache angeben, in der jedes Element von wahr und falsch ist. wäre ein mögliche interpretation UD: set of animals ist ein Haustier ein Hund ein Hund ist ein Haustier alle Hunde sind Haustiere? also starte ich mit irgendwie als meine annahme ? oder wie mache ich das? Für alle, die mir helfen möchten (automatisch von OnlineMathe generiert): "Ich möchte die Lösung in Zusammenarbeit mit anderen erstellen." |
|
|
Diese Frage wurde automatisch geschlossen, da der Fragesteller kein Interesse mehr an der Frage gezeigt hat.
|
1589162
1589162