natürliches schliessen < Logik < Logik+Mengenlehre < Hochschule < Mathe < Vorhilfe
|
| Status: |
(Frage) für Interessierte  | | Datum: | 20:13 Mi 14.07.2010 | | Autor: | nomixe |
| Aufgabe | könnte mir jemand erklären wie ich folgende aufgabe löse
herleitung einer formel im kalkül des natürlichen schliessens
herleitungsschritte + regeln + annahmen
((p&(p->q))->(p&q))
|
Ich habe diese Frage auch in folgenden Foren auf anderen Internetseiten gestellt
http://www.gutefrage.net/tag/logik/1
|
|
| |
|
Hallo nomixe,
> könnte mir jemand erklären wie ich folgende aufgabe
> löse
>
> herleitung einer formel im kalkül des natürlichen
> schliessens
> herleitungsschritte + regeln + annahmen
>
> ((p&(p->q))->(p&q))
>
>
> Ich habe diese Frage auch in folgenden Foren auf anderen
> Internetseiten gestellt
> http://www.gutefrage.net/tag/logik/1
Eine selten freundliche Anfrage mit einem netten Hallo, bitte und Tschüß ...
Keine Manieren, schließlich willst du (kostenlose) Hilfe haben. Da könnte man doch auf die Idee kommen, wenigstens ein paar nette Worte zu verlieren ...
Lies dir schleunigst die Forenregeln zum Umgangston durch.
Und was mich noch mehr begeistert:
Deine umfangreichen eigenen Ansätze.
Auch dazu steht was in den Forenregeln ...
Also ...
![[motz]](/images/smileys/motz.gif "[motz]")
Kein Gruß
schachuzipus
|
|
|
|
