Formeln < Logik < Logik+Mengenlehre < Hochschule < Mathe < Vorhilfe
|
| Status: |
(Frage) reagiert/warte auf Reaktion  | | Datum: | 20:53 Mi 15.11.2006 | | Autor: | Raingirl87 |
| Aufgabe | (a) Zeigen Sie, dass es zu jeder Formel F eine äquivalente Formel G gibt, die nur die Operatoren [mm] \neg [/mm] und -> enthält.
(b) Gibt es zu jeder Formel F eine äquivalente Formel, die nur die Operatoren [mm] \wedge [/mm] , [mm] \vee [/mm] und -> enthält? |
Hallo!
Kann mir vielleicht jemand bei dieser Aufgabe helfen?
Wäre echt super...
Danke!
LG, Raingirl87
|
|
| |
|
Hallo Raingirl87!
> (a) Zeigen Sie, dass es zu jeder Formel F eine äquivalente
> Formel G gibt, die nur die Operatoren [mm]\neg[/mm] und -> enthält.
> (b) Gibt es zu jeder Formel F eine äquivalente Formel, die
> nur die Operatoren [mm]\wedge[/mm] , [mm]\vee[/mm] und -> enthält?
Also, bekanntermaßen lässt sich jede Formel ausschließlich durch [mm] \vee [/mm] und [mm] \neg [/mm] darstellen oder auch ausschließlich durch [mm] \wedge [/mm] und [mm] \neg. [/mm] Um also deine Aufgabe hier zu lösen musst du nur zeigen, dass sich [mm] \vee [/mm] und [mm] \neg [/mm] oder von mir aus auch [mm] \wedge [/mm] und [mm] \neg [/mm] nur durch [mm] \neg [/mm] und -> darstellen lassen, sie also einfach darstellen.
Siehe dazu auch hier.
Falls dir das nicht weiterhilft, melde dich nochmal, und sag mal, was genau -> bedeuten soll. Soll das [mm] \Rightarrow [/mm] sein?
Viele Grüße
Bastiane
![[cap]](/images/smileys/cap.gif "[cap]")
|
|
|
|
