Ableitungen < Lineare Algebra < Hochschule < Mathe < Vorhilfe
|
| Status: |
(Frage) reagiert/warte auf Reaktion  | | Datum: | 00:11 Mo 06.12.2004 | | Autor: | Gerd52 |
Hallo Forum-Teilnehmer,
ich versuche mich gerade in der Logik, leider fällt mir es doch sehr schwer, aber auch mit dem Alter sollte man am Ball bleiben.
Vielleicht könnte mir einer diese Aufgabe vorrechnen und mir den richtigen Ablauf erklären, damit ich das Schritt für Schritt verstehe.
Aufgabe:
ß:=(p->q)->((q->r)->(p->r))
über die sieben Axiome ableiten
Mit freundlichen Grüßen
Gerd
Ich habe diese Frage in keinem Forum auf anderen Internetseiten gestellt.
|
|
| |
|
Hallo Gerd!
> Hallo Forum-Teilnehmer,
> ich versuche mich gerade in der Logik, leider fällt mir es
> doch sehr schwer, aber auch mit dem Alter sollte man am
> Ball bleiben.
Mmh - was ist denn die 52 in deinem Namen? Bist du so alt oder bist du in diesem Jahr geboren?  - Obwohl, mmh, das kommt im Moment wohl aufs selbe raus... 
> Vielleicht könnte mir einer diese Aufgabe vorrechnen und
> mir den richtigen Ablauf erklären, damit ich das Schritt
> für Schritt verstehe.
> Aufgabe:
> ß:=(p->q)->((q->r)->(p->r))
> über die sieben Axiome ableiten
Mmh, was meinst du denn mit ableiten? Soll da eine KNF oder DNF rauskommen oder was soll am Ende da stehen?
Jedenfalls würde ich so anfangen:
(es gilt ja: [mm] (A\Rightarrow [/mm] B) [mm] \equiv \neg [/mm] B [mm] \vee [/mm] A)
[mm] \beta [/mm] = [mm] \neg ((q\Rightarrow r)\Rightarrow (p\Rightarrow [/mm] r)) [mm] \vee (p\Rightarrow [/mm] q)
und jetzt würde ich alle [mm] \Rightarrow [/mm] so ersetzen. Ich weiß nicht, ob das Sinn macht, das hier alles aufzuschreiben, jedenfalls ist es sehr viel Arbeit. Vielleicht probierst du es mal und ich gucke es mir dann an?
Oder sind hierzu noch Fragen?
Ich gehe jetzt wohl erstmal ins Bett, aber morgen bin ich bestimmt wieder hier, und es gibt ja auch noch anderen Helfer...
Viele Grüße und ![[gutenacht]](/images/smileys/gutenacht.gif "[gutenacht]")
Bastiane
![[banane]](/images/smileys/banane.gif "[banane]")
|
|
|
| |
|
| Status: |
(Mitteilung) Reaktion unnötig  | | Datum: | 12:13 Mo 06.12.2004 | | Autor: | Gerd52 |
Axoimatische Systeme in der Aussagenlogik.
Es handelt sich hier nicht um eine Funktion, sondern um eine Beweisform in der Aussagenlogik. Aufbauend auf der Grundlage einiger Axiome und Ableitungsregeln.
und nun zu der Aufgabe
Ich habe wohl zu wenig Informationen aufgeschrieben, es ereilten mich einige Fragen:
ein Beispiel für Axoim 1:
1. A->(B->A)
2. (A->(B->A))->((A->B)->(A->))
3. (A-->B)->(A->A) MP
4. A->((B->A)->A) Ax1
5. Ax2
6. MP
.
.
.
A->A Ende
>Mmh, was meinst du denn mit ableiten? Soll da eine KNF oder DNF >rauskommen oder was soll am Ende da stehen?
>Jedenfalls würde ich so anfangen:
>(es gilt ja: B) B A)
> = r)) \ vee q)
Hallo Bastiane,
ich habe oben ein Beispiel angegeben, es handelt sich hier um eine Beweisform in der Aussagenlogik, aufbauend über das Axiomssystem und den zugehörigen Ableitungsregelen.
Gruß
Gerd
|
|
|
| |
|
| Status: |
(Mitteilung) Reaktion unnötig | | Datum: | 12:58 Mo 06.12.2004 | | Autor: | Bastiane |
Hallo Gerd!
Sorry, aber ehrlich gesagt, weiß ich immer noch nicht, was du machen sollst. Konntest du denn mit meinem Anfang gar nichts anfange? Übrigens war da ein Zeichen nicht richtig angezeigt worden, ich werde das jetzt mal ändern.
Viele Grüße
Bastiane
![[cap]](/images/smileys/cap.gif "[cap]")
> Axoimatische Systeme in der Aussagenlogik.
> Es handelt sich hier nicht um eine Funktion, sondern um
> eine Beweisform in der Aussagenlogik. Aufbauend auf der
> Grundlage einiger Axiome und Ableitungsregeln.
>
> und nun zu der Aufgabe
>
> Ich habe wohl zu wenig Informationen aufgeschrieben, es
> ereilten mich einige Fragen:
> ein Beispiel für Axoim 1:
> 1. A->(B->A)
> 2. (A->(B->A))->((A->B)->(A->))
> 3. (A-->B)->(A->A)
> MP
> 4. A->((B->A)->A)
> Ax1
> 5.
> Ax2
> 6.
> MP
> .
> .
> .
> A->A
> Ende
>
> >Mmh, was meinst du denn mit ableiten? Soll da eine KNF
> oder DNF >rauskommen oder was soll am Ende da stehen?
>
> >Jedenfalls würde ich so anfangen:
> >(es gilt ja: B) B A)
> > = r)) \ vee q)
>
> Hallo Bastiane,
> ich habe oben ein Beispiel angegeben, es handelt sich hier
> um eine Beweisform in der Aussagenlogik, aufbauend über das
> Axiomssystem und den zugehörigen Ableitungsregelen.
>
>
> Gruß
> Gerd
>
|
|
|
|
