Prädikatenlogik Umformung Programmierung

06.03.2014, 16:56

Taco

Prädikatenlogik Umformung Programmierung

Hallo,

Gibt es ein Programm im Internet, dass mir sagt wie ich in einem Sequenzenkalkül
$\begin{eqnarray*} \mathfrak G \end{eqnarray*}$
einen Ausdruck wie
$\begin{eqnarray*} \exists z ( \exists \beta (z=G(\beta) \wedge \beta < \delta ) \wedge \gamma \in z) \end{eqnarray*}$
umforme zu einem Ausdruck
$\begin{eqnarray*} \exists \beta ( \beta < \delta \wedge \gamma \in G(\beta)) \end{eqnarray*}$
?

bzw. kann man das irgendwie in Mathematica programmieren?
---------------------------
Bzw. Wie kann man sich plausibel machen, dass die beiden Ausdrücke äquivalent sind. Wenn man sich das umgangssprachlich aufschreibt wird das ganze ja nicht unbedingt übersichtlicher.

edit(kgV-6.3.,17,37 Uhr): zwei Beiträge zusammengefügt, damit es nicht so aussieht, als ob dir schon geholfen wird

07.03.2014, 15:56

weisbrot

Auf diesen Beitrag antworten »

RE: Prädikatenlogik Umformung Programmierung

Zitat:

Gibt es ein Programm im Internet, dass mir sagt wie ich in einem Sequenzenkalkül $\begin{eqnarray*} \mathfrak G \end{eqnarray*}$ einen Ausdruck wie $\begin{eqnarray*} \exists z ( \exists \beta (z=G(\beta) \wedge \beta < \delta ) \wedge \gamma \in z) \end{eqnarray*}$ umforme zu einem Ausdruck $\begin{eqnarray*} \exists \beta ( \beta < \delta \wedge \gamma \in G(\beta)) \end{eqnarray*}$ ? bzw. kann man das irgendwie in Mathematica programmieren?

weiß ich nicht, geht aber bestimmt mit prolog ganz einfach.

worum gehts dir? um soein programm? soweit ich das verstanden hab kann man einen entsprechenden beweisbaum streng per algorithmus aufbauen, also solltest du in der lage sein soein programm selbst zu schreiben.
oder willst du einfach nur einen beweis für die äquivalenz finden? das sollte auch nicht so schwer per hand zu machen sein - leite zuerst A=>B, und dann B=>A ab.

lg

Neue Frage »

Antworten »

Prädikatenlogik Umformung Programmierung

Verwandte Themen