Aussagenlogik Alle -> und <-> < Sonstiges < Hochschule < Mathe < Vorhilfe
|
| Status: |
(Frage) beantwortet  | | Datum: | 15:34 Do 30.12.2004 | | Autor: | chris28 |
Ich habe diese Frage in keinem Forum auf anderen Internetseiten gestellt.
Ich habe folgende Aufgabe die lautet:
(P->Q)<->((p und Q)<->Q)
Bei dieser Aufgabe muss man alle -> und <-> entfernen.
Mit der Formel Regel 1.10
p<->= (p und Q) oder(neg P und neg. Q)
Den Ansatz denn ich momentan habe ist folgend.
(neg.P oder Q) <->(neg. P und Q)oder Q) und (P und Q) oder neg. Q)
Kennt jemand viellicht noch Adressen wo man solche Aufgaben mit Lösungen bekommt ?
Freundliche Grüsse
chris
|
|
| |
|
Hallo chris!
> Ich habe folgende Aufgabe die lautet:
> (P->Q)<->((p und Q)<->Q)
Du meinst wohl:
[mm] (P\Rightarrow Q)\gdw((P\wedge Q)\gdw [/mm] Q) ?
> Bei dieser Aufgabe muss man alle -> und <-> entfernen.
> Mit der Formel Regel 1.10
> p<->= (p und Q) oder(neg P und neg. Q)
>
> Den Ansatz denn ich momentan habe ist folgend.
> (neg.P oder Q) <->(neg. P und Q)oder Q) und (P und Q) oder
> neg. Q)
Ich würde das nicht nur mit dieser Regel machen, sondern vor allem auch mit: [mm] A\gdw [/mm] B [mm] \equiv (A\Rightarrow B)\wedge(B\Rightarrow [/mm] A)
für den linken Teil erhalte ich dann:
[mm] \neg P\vee [/mm] Q
und für den rechten:
[mm] (((P\wedge Q)\Rightarrow Q)\wedge (Q\Rightarrow(P\wedge [/mm] Q)))
hierbei erhalte ich für den linken Teil:
[mm] \neg(P\wedge Q)\vee [/mm] Q
= [mm] \neg P\vee\neg [/mm] Q [mm] \vee [/mm] Q
= [mm] \neg P\vee [/mm] 1
=1
und für den rechten Teil:
[mm] \neg Q\vee(P\wedge [/mm] Q)
[mm] =(\neg Q\vee P)\wedge(\neg Q\vee [/mm] Q)
[mm] =(\neg Q\vee P)\wedge [/mm] 1
[mm] =\neg Q\vee [/mm] P
Jetzt müsstest du eigentlich nur noch das letzte [mm] \gdw [/mm] -Zeichen mithilfe meiner obigen Regel ersetzen und schon bist du fertig.
Ich hoffe, ich habe mich hier jetzt nirgendwo vertan...
> Kennt jemand viellicht noch Adressen wo man solche Aufgaben
> mit Lösungen bekommt ?
Leider nein. Mit google müsstest du eigentlich mit dem Suchbegriff "Aussagenlogik" etliche Aufgabe finden, aber ob da Lösungen dabei sind, weiß ich nicht. Hast du denn sonst keine Aufgaben? Dann könnten wir sie hier zusammen machen?
Ich hoffe, das hilft dir trotzdem etwas weiter.
Viele Grüße
Bastiane
![[cap]](/images/smileys/cap.gif "[cap]")
|
|
|
| |
|
| Status: |
(Frage) beantwortet | | Datum: | 21:11 Do 30.12.2004 | | Autor: | chris28 |
Ich habe diese Frage in keinem Forum auf anderen Internetseiten gestellt.
Ich habe folgende Aufgabe die lautet:
(P->Q)<->((p und Q)<->Q)
Bei dieser Aufgabe muss man alle -> und <-> entfernen.
Mit der Formel Regel 1.10
p<->= (p und Q) oder(neg P und neg. Q)
Den Ansatz denn ich momentan habe ist folgend.
(neg.P oder Q) <->(neg. P und Q)oder Q) und (P und Q) oder neg. Q)
Kennt jemand viellicht noch Adressen wo man solche Aufgaben mit Lösungen bekommt ?
Freundliche Grüsse
chris
Vielen Dank für die Hilfe.
Habe die Aufgabe dann folgend gelöst
Am Schluss steht dann
[mm] (\neg [/mm] P [mm] \vee [/mm] Q) <->(-Q [mm] \vee [/mm] P) und dies ergibt dann
[mm] (\neg [/mm] P [mm] \vee Q->(\neg [/mm] Q [mm] \vee [/mm] P) [mm] \wedge(-Q \vee P)->(\neg \vee [/mm] Q)
und das Resultat am Schluss ist [mm] (\neg [/mm] Q [mm] \veeP) \wedge(\neg [/mm] P [mm] \vee [/mm] Q)
Ja ich habe noch weitere Frage, es wäre super wenn du mir Unterstützung geben könntest.
Zum Beispiel:
(P3 [mm] \wedge [/mm] T) [mm] \vee [/mm] (P2 [mm] \wedge [/mm] T) sollte (p3 [mm] \vee [/mm] P2 ) geben, da man die klammern wegnehmen kann bei und .
Eine weitere Aufgabe ist:
(Q [mm] \wedge [/mm] R [mm] \wedge [/mm] S) [mm] \vee [/mm] (Q [mm] \wedge \neg [/mm] R [mm] \wedge [/mm] S) sollte (Q [mm] \wedge [/mm] S) [mm] \vee [/mm] R geben verstehe aber nicht warum, sehe nicht dahintert.
Wenn es ok ist könnte ich die weitere Aufgaben auch noch posten ,
wäre toll.
Freundliche Grüsse Chris> Hallo chris!
>
> > Ich habe folgende Aufgabe die lautet:
> > (P->Q)<->((p und Q)<->Q)
>
> Du meinst wohl:
> [mm](P\Rightarrow Q)\gdw((P\wedge Q)\gdw[/mm] Q) ?
>
> > Bei dieser Aufgabe muss man alle -> und <-> entfernen.
> > Mit der Formel Regel 1.10
> > p<->= (p und Q) oder(neg P und neg. Q)
> >
> > Den Ansatz denn ich momentan habe ist folgend.
> > (neg.P oder Q) <->(neg. P und Q)oder Q) und (P und Q)
> oder
> > neg. Q)
>
> Ich würde das nicht nur mit dieser Regel machen, sondern
> vor allem auch mit: [mm]A\gdw[/mm] B [mm]\equiv (A\Rightarrow B)\wedge(B\Rightarrow[/mm]
> A)
> für den linken Teil erhalte ich dann:
> [mm]\neg P\vee[/mm] Q
> und für den rechten:
> [mm](((P\wedge Q)\Rightarrow Q)\wedge (Q\Rightarrow(P\wedge[/mm]
> Q)))
>
> hierbei erhalte ich für den linken Teil:
> [mm]\neg(P\wedge Q)\vee[/mm] Q
> = [mm]\neg P\vee\neg[/mm] Q [mm]\vee[/mm] Q
> = [mm]\neg P\vee[/mm] 1
> =1
>
> und für den rechten Teil:
> [mm]\neg Q\vee(P\wedge[/mm] Q)
> [mm]=(\neg Q\vee P)\wedge(\neg Q\vee[/mm] Q)
> [mm]=(\neg Q\vee P)\wedge[/mm] 1
> [mm]=\neg Q\vee[/mm] P
>
> Jetzt müsstest du eigentlich nur noch das letzte [mm]\gdw[/mm]
> -Zeichen mithilfe meiner obigen Regel ersetzen und schon
> bist du fertig.
> Ich hoffe, ich habe mich hier jetzt nirgendwo vertan...
>
> > Kennt jemand viellicht noch Adressen wo man solche
> Aufgaben
> > mit Lösungen bekommt ?
> Leider nein. Mit google müsstest du eigentlich mit dem
> Suchbegriff "Aussagenlogik" etliche Aufgabe finden, aber ob
> da Lösungen dabei sind, weiß ich nicht. Hast du denn sonst
> keine Aufgaben? Dann könnten wir sie hier zusammen
> machen?
>
> Ich hoffe, das hilft dir trotzdem etwas weiter.
> Viele Grüße
> Bastiane
>
>
|
|
|
| |
|
Hallo chris!
> Vielen Dank für die Hilfe.
> Habe die Aufgabe dann folgend gelöst
>
> Am Schluss steht dann
> [mm](\neg[/mm] P [mm]\vee[/mm] Q) <->(-Q [mm]\vee[/mm] P) und dies ergibt dann
> [mm](\neg[/mm] P [mm]\vee Q->(\neg[/mm] Q [mm]\vee[/mm] P) [mm]\wedge(-Q \vee P)->(\neg \vee[/mm]
> Q)
>
> und das Resultat am Schluss ist [mm](\neg[/mm] Q [mm]\veeP) \wedge(\neg[/mm]
> P [mm]\vee[/mm] Q)
Du meintest wohl
[mm] (P\vee(\neg Q))\wedge(Q\vee(\neg [/mm] P)) - dann habe ich das Gleiche raus. 
Pass ein bisschen auf, wie du das hier eintippst, lass lieber mal ein Leerzeichen zu viel, ansonsten kann es passieren, dass etwas verschluckt wird, so wie hier. Und vielleicht schaust du dir auch die Vorschau an, bevor du es abschickst? 
> Ja ich habe noch weitere Frage, es wäre super wenn du mir
> Unterstützung geben könntest.
> Zum Beispiel:
> (P3 [mm]\wedge[/mm] T) [mm]\vee[/mm] (P2 [mm]\wedge[/mm] T) sollte (p3 [mm]\vee[/mm] P2 )
> geben, da man die klammern wegnehmen kann bei und .
Also, ich weiß ja nicht, ob hier wieder etwas verschluckt wurde... Aber meiner Meinung nach müsste das eigentlich [mm] T\wedge(P_2\vee P_3) [/mm] heißen, das ist das Distributivgesetz.
Die Klammern wegnehmen kann man in der Regel nur, wenn da nur [mm] \wedge [/mm] oder nur [mm] \vee [/mm] stehen. Du meintest hier wohl, dass man sie weglassen kann, weil [mm] \wedge [/mm] stärker bindet als [mm] \vee. [/mm] Aber dann steht da ja immer noch das Gleiche, und du kannst auch nicht die Reihenfolge ändern, weil unterschiedliche Verknüpfungen da stehen...
> Eine weitere Aufgabe ist:
> (Q [mm]\wedge[/mm] R [mm]\wedge[/mm] S) [mm]\vee[/mm] (Q [mm]\wedge \neg[/mm] R [mm]\wedge[/mm] S)
> sollte (Q [mm]\wedge[/mm] S) [mm]\vee[/mm] R geben verstehe aber nicht warum,
> sehe nicht dahintert.
Mmh, woher weißt du denn, was da rauskommen soll? Ich würde das so machen:
Du hast zwei Klammern, die mit [mm] \vee [/mm] verknüpft sind. In beiden Klammern steht sowohl ein Q als auch ein S, und alles ist mit [mm] \wedge [/mm] verknüpft. Es ist also egal, welche der beiden Klammern da steht, beide Male steht auf jeden Fall da [mm] (Q\wedge [/mm] S). Und dazu kommt noch entweder R oder [mm] \neg [/mm] R, also ist der Ausdruck meiner Meinung nach [mm] (Q\wedge [/mm] S [mm] \wedge(R\vee\neg [/mm] R)) = [mm] Q\wedge [/mm] S [mm] \wedge [/mm] 1 = [mm] Q\wedge [/mm] S.
> Wenn es ok ist könnte ich die weitere Aufgaben auch noch
> posten ,
> wäre toll.
Ja, mach mal! Werden wir ja sehen, ob ich dir helfen kann.
Viele Grüße
Bastiane
|
|
|
| |
|
| Status: |
(Frage) beantwortet | | Datum: | 22:42 Do 30.12.2004 | | Autor: | chris28 |
Gut, ich poste mal paar Aufgaben
(P3 [mm] \wedge [/mm] T) [mm] \wedge(P2 \wedge [/mm] T)
sollte ja (P3 [mm] \wedge [/mm] P2 ) da wenn alle Klammern und sind man sie weglassen kann, daselbe ist auch möglich, wenn alle Klammern oder sind.
Eine weiter Aufgabe:
(P3 [mm] \wedge [/mm] T) [mm] \wedge [/mm] (P2 [mm] \wedge \neg [/mm] P3)
und
(Q [mm] \wedge [/mm] R [mm] \wedge [/mm] S) [mm] \vee [/mm] (Q [mm] \wedge \neg [/mm] R [mm] \wedge [/mm] S)
(p [mm] \vee [/mm] R) [mm] \wedge [/mm] (P [mm] \vee [/mm] R [mm] \vee [/mm] S)
(P [mm] \vee [/mm] (Q [mm] \wedge [/mm] S)) [mm] \vee (\neg [/mm] Q [mm] \wedge [/mm] S)
Etwas schwierigers ist
P [mm] \vee \neg [/mm] Q [mm] \vee [/mm] (P [mm] \wedge Q)\wedge(P \vee \neg [/mm] Q) [mm] \wedge \neg [/mm] P [mm] \wedge [/mm] Q
(P [mm] \vee \neg [/mm] Q) [mm] \wedge (\neg [/mm] P [mm] \vee [/mm] Q) [mm] \vee \neg(\neg(P \vee \negR)\wedge [/mm] Q)
[mm] \neg((P \vee [/mm] Q) [mm] \wedge [/mm] R) [mm] \vee [/mm] Q
Bei diesen 3 letzten Aufgabe hab ich herausgefunden, dass man aus zum Beispiel [mm] \wedg(\neg [/mm] P) [mm] \vee [/mm] P machen kann.
Eine Aufgabe ist auch noch die vollständige Konjunktivform von folgenden Formen zu finden
(p->Q)<->(P->R [mm] \vee [/mm] Q)
und auch bei
(P [mm] \vee [/mm] Q) [mm] \wedge(P \vee(R \wedge [/mm] S)) [mm] \vee [/mm] (P [mm] \wedge [/mm] Q [mm] \wedge [/mm] S)
Ich kam bei den Resulten auf einen langen Term
Oder wie geht man am besten hier vor ?
Danke dir schon jetzt im voraus,, vielen Dank
Gruss Chris
|
|
|
| |
|
| Status: |
(Mitteilung) Reaktion unnötig  | | Datum: | 22:44 Do 30.12.2004 | | Autor: | chris28 |
Noch vielen Dank, es hat mir schon sehr viel genützt, bin so wieder weitergekommen.
Gruss Chris
|
|
|
| |
|
Hallo!
> Gut, ich poste mal paar Aufgaben
>
> (P3 [mm]\wedge[/mm] T) [mm]\wedge(P2 \wedge[/mm] T)
> sollte ja (P3 [mm]\wedge[/mm] P2 ) da wenn alle Klammern und sind
> man sie weglassen kann, daselbe ist auch möglich, wenn alle
> Klammern oder sind.
Nein, also hier darfst du das T aber nicht vergessen, wenn du die Klammern weglässt, hast du zuerst ja noch genau das Gleiche da stehen, wie jetzt, nur ohne die Klammern, und dann kannst du [mm] T\wedge [/mm] T zu T zusammenfassen, aber du kannst das T nicht einfach weglassen!
> Eine weiter Aufgabe:
> (P3 [mm]\wedge[/mm] T) [mm]\wedge[/mm] (P2 [mm]\wedge \neg[/mm] P3)
Ich weiß ja nicht, was du hier machen sollst - deine ursprüngliche Aufgabenstellung war ja, alle [mm] \Rightarrow [/mm] 's und [mm] \gdw [/mm] 's wegzubekommen, hier steht aber gar nichts von diesen...
Jedenfalls kannst du es folgendermaßen umformen:
[mm] =P3\wedge T\wedge P2\wedge(\neg [/mm] P3)=0 (wegen [mm] P3\wedge\neg [/mm] P3=0)
> und
> (Q [mm]\wedge[/mm] R [mm]\wedge[/mm] S) [mm]\vee[/mm] (Q [mm]\wedge \neg[/mm] R [mm]\wedge[/mm] S)
die hatte ich dir doch vorhin schon vorgerechnet! ![[haee]](/images/smileys/haee.gif "[haee]")
> (p [mm]\vee[/mm] R) [mm]\wedge[/mm] (P [mm]\vee[/mm] R [mm]\vee[/mm] S)
[mm] =P\vee [/mm] R
> (P [mm]\vee[/mm] (Q [mm]\wedge[/mm] S)) [mm]\vee (\neg[/mm] Q [mm]\wedge[/mm] S)
[mm] =P\vee(S\wedge(Q\vee(\neg [/mm] Q))) = [mm] P\vee(S\wedge [/mm] 1) = [mm] P\vee [/mm] S
> Etwas schwierigers ist
> P [mm]\vee \neg[/mm] Q [mm]\vee[/mm] (P [mm]\wedge Q)\wedge(P \vee \neg[/mm] Q)
> [mm]\wedge \neg[/mm] P [mm]\wedge[/mm] Q
Mmh - sicher, dass hier nicht vielleicht ne Klammer oder so fehlt? Naja, mir kommt nur mein Ergebnis nicht richtig vor:
[mm] =P\vee(\neg Q)\vee(P\wedge Q)\wedge(P\vee(\neg Q))\wedge(\neg P)\wedge [/mm] Q
[mm] =P\vee(\neg Q)\wedge((\neg P)\wedge P\vee(\neg P)\wedge(\neg Q))\weedge(Q\wedge P\vee W\wedge\neg [/mm] Q)
[mm] =P\vee(\neg Q)\wedge(\neg P)\wedge(\neg Q)\wedge Q\wedge [/mm] P
[mm] =P\vee(\neg Q)\wedge [/mm] 0 =P (?)
> (P [mm]\vee \neg[/mm] Q) [mm]\wedge (\neg[/mm] P [mm]\vee[/mm] Q) [mm]\vee \neg(\neg(P \vee \negR)\wedge[/mm]
> Q)
Ich glaub', hier fehlt was!?
> [mm]\neg((P \vee[/mm] Q) [mm]\wedge[/mm] R) [mm]\vee[/mm] Q
[mm] =(\neg(P\vee Q)\vee\neg R)\vee [/mm] Q
[mm] =(\neg P\wedge\neg Q\vee\neg R)\vee [/mm] Q
weiß nicht, ob man das noch weiter vereinfachen kann...
> Bei diesen 3 letzten Aufgabe hab ich herausgefunden, dass
> man aus zum Beispiel [mm]\wedg(\neg[/mm] P) [mm]\vee[/mm] P machen kann.
Was meinst du damit? Das ist ja keine Vereinfachung, da steht ja gar kein Gleichheitszeichen!? ![[kopfkratz]](/images/smileys/kopfkratz.gif "[kopfkratz]")
> Eine Aufgabe ist auch noch die vollständige Konjunktivform
> von folgenden Formen zu finden
> (p->Q)<->(P->R [mm]\vee[/mm] Q)
> und auch bei
> (P [mm]\vee[/mm] Q) [mm]\wedge(P \vee(R \wedge[/mm] S)) [mm]\vee[/mm] (P [mm]\wedge[/mm] Q
> [mm]\wedge[/mm] S)
>
> Ich kam bei den Resulten auf einen langen Term
> Oder wie geht man am besten hier vor ?
Ja, ein langer Term kommt da bestimmt raus. Am besten nimmst du dir verschiedene Farben und machst die ganzen Klammern in verschiedenen Farben, sonst blickt man nachher überhaupt nicht mehr durch. Ich habe hier mal mit der ersten angefangen, aber es ist sehr viel Schreibarbeit...
[mm] =(\neg P\vee Q)\gdw(\neg P\vee R\vee [/mm] Q) [mm] \equiv (\neg(\neg P\vee Q)\vee(\neg P\vee R\vee Q))\wedge(\neg(P\vee R\vee Q)\vee(\neg P\vee [/mm] Q))
usw....
Erfahrungsgemäß kommen in Klausuren aber sehr einfache Aufgaben, also 3-Zeiler, die man direkt ohne viel Nachdenken hinbekommt, wenn man es verstanden hat.
Ich hoffe, das hilft dir weiter...
Viele Grüße
Bastiane
![[banane]](/images/smileys/banane.gif "[banane]")
|
|
|
| |
|
| Status: |
(Frage) beantwortet | | Datum: | 14:54 Fr 31.12.2004 | | Autor: | chris28 |
Nochmals danke für die Antwort?Gut zu den Aufgaben. Etwas was ich nicht verstehe ist dass
(P [mm] \vee R)\wedge(P \vee [/mm] R [mm] \vee [/mm] S) P [mm] \vee [/mm] R ergibt, wo bleibt dann das S ?
Gut es gibt ja eine Regele P [mm] \vee [/mm] (P [mm] \wedge [/mm] Q) = P und auch P [mm] \wedge [/mm] (P [mm] \vee [/mm] Q) P.
Zu einer Aufgabe hatte ich noch folgende Lösung, hab es geposted, weil ich es nicht 100 % verstand. Es war die Aufgabe
[mm] P\vee \neg [/mm] Q(P [mm] \wedge Q)\wedge(P \vee \neg [/mm] Q) [mm] \wedge \neg [/mm] P [mm] \wedge [/mm] Q . Da kann man den Ausdruck (P [mm] \wedge Q)\wedge [/mm] (P [mm] \vee \neg [/mm] Q) mit P ersetzen, denke kommt von der Regel (P [mm] \wedge [/mm] Q) [mm] \vee (\neg [/mm] P [mm] \wedge [/mm] Q) = Q. Gut, und weiter gibt es dann
P [mm] \wedge \neg [/mm] P gibt 0 und mit noch [mm] \wegde [/mm] Q gibt es auch 0. So ist das Endprodukt P [mm] \vee \neg [/mm] Q
Eine andere Aufgabe die ich auch noch gepostete habe, der folgend hiess
[mm] \neg [/mm] ((P [mm] \vee Q)\wedge R)\vee [/mm] Q
Da benützt man am Anfang das Distributivgesetz d.h.
[mm] (\neg [/mm] P [mm] \wedge \neg Q)\vee \neg [/mm] R [mm] \vee [/mm] Q und dies ergibt dann
[mm] (\neg [/mm] P [mm] \vee (\neg [/mm] R\ vee [mm] Q))\wedge (\neg [/mm] Q [mm] \vee(\neg [/mm] R [mm] \vee [/mm] Q))
und hier gibt ja [mm] (\neg [/mm] Q [mm] \vee(\neg [/mm] R [mm] \vee [/mm] Q)) gibt 1 so ergibt das Resultat am Schlusse [mm] \neg [/mm] P [mm] \vee [/mm] Q [mm] \vee \neg [/mm] R, irgendwie verstehe ich es.
Noch eine weitere Aufgabe habe schon die Lösung vom Unterricht aber verstehe nicht alle Umformungen. Die Aufgabe lautet folgend:
Hoffentlich tippe ich es richtig ab:
(P [mm] \vee \neg Q)\wedge (\neg [/mm] P [mm] \vee Q)\vee \neg (\neg (P\vee \neg R)\wedge [/mm] Q)
Die ersten 4 Zeichen ergeben da man die die Klammern bei oder weglassenn kann [mm] P\vee \neg [/mm] Q [mm] \vee \neg [/mm] R
die anderen Zeichen auf der rechten Seiten ergeben durch die Umformungen [mm] \wedge ((\negP \vee Q)\vee [/mm] (P [mm] \vee \neg [/mm] R [mm] \vee \neg [/mm] Q) und dies ergibt 1 soll ergibt das Resultat laut Unterricht
P [mm] \vee \neg [/mm] Q [mm] \vee [/mm] neg R.
Was ich nicht genau verstehe ist die Umformungen vom rechten Teil wenn man dann aus dem [mm] \vee [/mm] das dazwischen liegt ein [mm] \wedge [/mm] macht, dann drehen sich ja die Zeichen ja in der Klammern irgendwie.
Danke dir schon jetzt im voraus. Bin so weitergekommen.
Grüsse chris
|
|
|
| |
|
| Status: |
(Antwort) fertig  | | Datum: | 01:51 Mo 03.01.2005 | | Autor: | andreas |
> Nochmals danke für die Antwort?Gut zu den Aufgaben. Etwas
> was ich nicht verstehe ist dass
> (P [mm]\vee R)\wedge(P \vee[/mm] R [mm]\vee[/mm] S) P [mm]\vee[/mm] R ergibt, wo
> bleibt dann das S ?
wenn [m] (P \vee R) \wedge (P \vee R \vee S) [/m] gilt, müssen die aussagen [m] (P \vee R) [/m] und [m] (P \vee R \vee S) [/m] gleichzeitigen gelte. wenn aber die erste aussage - [m] (P \vee R) [/m] - gilt muss zwangsläufig die aussage [m] (P \vee R \vee S) [/m] gelten, da bei [m] \vee [/m]-aussagen genügt, wenn eine dieser aussagen gilt und das ist ja hier der fall, wenn [m] (P \vee R) [/m] gilt.
> Zu einer Aufgabe hatte ich noch folgende Lösung, hab es
> geposted, weil ich es nicht 100 % verstand. Es war die
> Aufgabe
> [mm]P\vee \neg[/mm] Q(P [mm]\wedge Q)\wedge(P \vee \neg[/mm] Q) [mm]\wedge \neg[/mm] P
> [mm]\wedge[/mm] Q . Da kann man den Ausdruck (P [mm]\wedge Q)\wedge[/mm] (P
> [mm]\vee \neg[/mm] Q) mit P ersetzen
das glaube ich nicht. man kann den ausdruck [m] (P \wedge Q) \wedge (P \vee \neg Q) [/m] wohl nur durch [m] P \wedge Q [/m] erstzen, da mindestens der erste der beiden ursprüngliche ausdrücke erfüllt sein muss (hier folgt aber damit schon die erfüllbarkeit der ganzen formel, da dann natürlich auch [m] P [/m] und somit auch [m] (P \vee \neg Q) [/m] wahr ist) !
soweit erstmal. die aufgaben danach sind so furchtbar formatiert, dass ich im moment nicht wirklich lust habe diese durchzuarbeiten.
grüße
andreas
|
|
|
| |
|
| Status: |
(Mitteilung) Reaktion unnötig | | Datum: | 19:36 Sa 01.01.2005 | | Autor: | chris28 |
Hallo Bastiane
Gut habe keine Antwort bekommen, gut denke dass eifach die Grundlagen fehlen. Und dass es vielleicht schon zu viele Aufgaben auf einmal waren.
Es ist schwierig eine gute Seite über dieses Aufgaben im Internet zu finden.
Grüsse Chris
|
|
|
|
