Beweis im deduktiven System < Sonstiges < Hochschule < Mathe < Vorhilfe
|
| Status: |
(Frage) reagiert/warte auf Reaktion  | | Datum: | 21:56 Do 02.06.2005 | | Autor: | squeezer |
Hallo.
Ich bin mir nicht sicher ob diese Frage hier rein passt, aber ich stell sie mal:
Zu geben ist ein Beweis im deduktiven System $ [mm] \cal{F}_0$ [/mm] für
[mm] $\vdash_{ \cal{F}_{0}} [/mm] B [mm] \to [/mm] (A [mm] \to [/mm] A)$
Dabei darf das Dedutkionstheorem nicht verwendet werden, sondern nur die Axiome, die Modus Ponens Regel und das Theorem:
[mm] $\vdash_{ \cal{F}_{0}}(A \to [/mm] B) [mm] \to [/mm] ((B [mm] \to [/mm] C) [mm] \to [/mm] (A [mm] \to [/mm] C))$
vielen Dank für Ihre Hilfe
P.S: Bei den Axiomen handelt es sich um:
$A [mm] \to [/mm] (B [mm] \to [/mm] A)$
$(A [mm] \to [/mm] B) [mm] \to [/mm] ((B [mm] \to [/mm] C) [mm] \to [/mm] (A [mm] \to [/mm] C))$
[mm] $((\neg [/mm] A) [mm] \to (\neg [/mm] B)) [mm] \to [/mm] (B [mm] \to [/mm] A)$
|
|
| |
|
| Status: |
(Mitteilung) Reaktion unnötig  | | Datum: | 13:27 Fr 03.06.2005 | | Autor: | Bastiane |
Hallo!
Leider kann ich mit den Begrifflichkeiten nichts anfangen. Aber da du Informatik studierst und mir diese komischen Zeichen bekannt vorkommen, könnte es sein, dass ich dir evtl. helfen kann, wenn du ein bisschen was erklärst, was das überhaupt bedeutet (ich habe schon theoretische Informatik gehört - dazu gehört es doch, oder?
> Zu geben ist ein Beweis im deduktiven System [mm]\cal{F}_0[/mm] für
> [mm]\vdash_{ \cal{F}_{0}} B \to (A \to A)[/mm]
> Dabei darf das
> Dedutkionstheorem nicht verwendet werden, sondern nur die
> Axiome, die Modus Ponens Regel und das Theorem:
> [mm]\vdash_{ \cal{F}_{0}}(A \to B) \to ((B \to C) \to (A \to C))[/mm]
>
>
> vielen Dank für Ihre Hilfe
>
> P.S: Bei den Axiomen handelt es sich um:
> [mm]A \to (B \to A)[/mm]
> [mm](A \to B) \to ((B \to C) \to (A \to C))[/mm]
>
> [mm]((\neg A) \to (\neg B)) \to (B \to A)[/mm]
Viele Grüße
Bastiane
![[banane]](/images/smileys/banane.gif "[banane]")
|
|
|
|
