Logik:Zeigen Sie für zwei Aussagen p und q...

21.11.2009, 13:44	darbo47	Auf diesen Beitrag antworten »
Logik:Zeigen Sie für zwei Aussagen p und q... Hallo,komme leider bei der folgenden Aufgabe nicht weiter. Zeigen Sie für zwei Aussagen p und q: (p impliziert q) ist äquivalent zu (Negation p oder q) Jedoch sollte die Aufgabe ohne eine Wahrheitstabelle bewältigt werden.Vielen Dank!
21.11.2009, 17:56	kiste	Auf diesen Beitrag antworten »
Wie wurde p -> q bei euch definiert? Ich kenne die Definition als das was du zeigen musst
22.11.2009, 12:04	darbo47	Auf diesen Beitrag antworten »
da hast du recht.nur aufgabe ist es jetzt,diese definition zu zeigen.
22.11.2009, 12:10	kiste	Auf diesen Beitrag antworten »
Tolle Sache, man kann aber keine Definitionen beweisen...
22.11.2009, 12:12	darbo47	Auf diesen Beitrag antworten »
ja das ist klar nur wie kann ich dann zeigen dass die aussage stimmt?
22.11.2009, 12:15	kiste	Auf diesen Beitrag antworten »
Okay, also welches äquivalent meinst du den? Meinst du $\begin{eqnarray} \equiv \end{eqnarray}$ oder $\begin{eqnarray} \Leftrightarrow \end{eqnarray}$ ? Im zweiten Fall könnte man $\begin{eqnarray} F \Leftrightarrow F \equiv (F\Rightarrow F) \land (F\Rightarrow F) \end{eqnarray}$ aufdröseln nach Definition und dann auf eine wahre Aussage kommen. Die Regeln die man da aber benutzt muss man auch schon bewiesen haben(was mit einem Wahrheittabelle gemacht wurde)
Anzeige

22.11.2009, 12:24	darbo47	Auf diesen Beitrag antworten »
ich meine den zweiten fall.könntest du deine erläuterungen dazu etwas erweitern?
22.11.2009, 12:29	kiste	Auf diesen Beitrag antworten »
Nein weil es nur noch ein Schritt ist den ich dir auch schon vorgegeben habe
22.11.2009, 13:12	darbo47	Auf diesen Beitrag antworten »
ich glaube es ist in der aufgabe so zu verstehen dass die linke aussage gleich der rechten ist und man soll jetzt eben zeigen dass das gilt.
22.11.2009, 13:41	kiste	Auf diesen Beitrag antworten »
Es ist aber eine Definition dass $\begin{eqnarray} p \rightarrow q \equiv \lnot p \lor q \end{eqnarray}$ . Mehr als zu beweisen dass $\begin{eqnarray} F \leftrightarrow F \end{eqnarray}$ für jede Formel F gilt bleibt also nicht übrig... Außer natürlich du hast eine andere Definition, ansonsten sehe ich keinen Sinn weiter noch etwas zu schreiben. Ich habe alles geschrieben was es dazu zu sagen gibt
22.11.2009, 13:42	darbo47	Auf diesen Beitrag antworten »
ich glaube du hast bei deiner argumentation p und q vertauscht.
22.11.2009, 13:43	kiste	Auf diesen Beitrag antworten »
Ich habe ausversehen einmal q statt p geschrieben, ja. Habe ich jetzt korrigiert.
25.11.2009, 15:15	bretos1	Auf diesen Beitrag antworten »
hat vielleicht jemand noch einen vorschlag?

1

Verwandte Themen

Die Beliebtesten »

Die Größten »

Die Neuesten »