Lösung von Aufgabe 3.5 (SoSe 13 P) - Versionsgeschichte

Tutorin Anne am 13. Mai 2013 um 08:48 Uhr

2013-05-13T08:48:28Z

← Nächstältere Version		Version vom 13. Mai 2013, 08:48 Uhr
Zeile 4:		Zeile 4:
	'''Erklären Sie den Zusammenhang zwischen Ihrer Wahrheitstabelle und dem indirekten Beweis durch Widerspruch.'''<br />		'''Erklären Sie den Zusammenhang zwischen Ihrer Wahrheitstabelle und dem indirekten Beweis durch Widerspruch.'''<br />

	Ich finde die Aufgabe etwas verwirrend;-/. Habe eine Wahrheitstabelle erstellt, jedoch bin ich mir nicht sicher, ob es stimmt.<br />		'''Ich''' finde die Aufgabe etwas verwirrend;-/. Habe eine Wahrheitstabelle erstellt, jedoch bin ich mir nicht sicher, ob es stimmt.<br />

	Habe in die Wahrheitstabelle: A ,B,A--> B,NICHT B,AundB geschrieben <br />		Habe in die Wahrheitstabelle: A ,B,A--> B,NICHT B,AundB geschrieben <br />
Zeile 13:		Zeile 13:
	Ist es richtig, was ich gemacht habe? Oder soll ich jeweils nur A->B und AundNichtB getrennt betrachten? Sprich zwei Tabellen erstellen da bei der Aufgabenstellung keine Implikation steht sondern UND . HILFE;-/ Was mache ich falsch? --[[Benutzer:Blumenkind\|Blumenkind]] 18:20, 11. Mai 2013 (CEST)Blumenkind<br /><br />		Ist es richtig, was ich gemacht habe? Oder soll ich jeweils nur A->B und AundNichtB getrennt betrachten? Sprich zwei Tabellen erstellen da bei der Aufgabenstellung keine Implikation steht sondern UND . HILFE;-/ Was mache ich falsch? --[[Benutzer:Blumenkind\|Blumenkind]] 18:20, 11. Mai 2013 (CEST)Blumenkind<br /><br />

	Hallo Blumenkind. Du brauchst nur eine Tabelle machen. Und du liegst richtig damit, dass die Aussagen nicht äquivalent sind.<br />		'''Hallo Blumenkind'''. Du brauchst nur eine Tabelle machen. Und du liegst richtig damit, dass die Aussagen nicht äquivalent sind.<br />
	Wie sieht die Wahrheitstabelle denn aus? Kann Sie jemand füllen? Und anschließend die Bedeutung für den indirekten Beweis mit Widerspruch herleiten?--[[Benutzer:Tutorin Anne\|Tutorin Anne]] 21:25, 11. Mai 2013 (CEST)		Wie sieht die Wahrheitstabelle denn aus? Kann Sie jemand füllen? Und anschließend die Bedeutung für den indirekten Beweis mit Widerspruch herleiten?--[[Benutzer:Tutorin Anne\|Tutorin Anne]] 21:25, 11. Mai 2013 (CEST)
	{\| class="wikitable sortable"		{\| class="wikitable sortable"
Zeile 34:		Zeile 34:
	* Beh.: AundNichtB Annahme NichtAundB		* Beh.: AundNichtB Annahme NichtAundB

	--> Ich glaube, man kann es nicht beweisen. HILFE;-/		--> Ich glaube, man kann es nicht beweisen. HILFE;-/ (Blumenkind)<br />

	Ich glaube die Tabelle ist falsch. Sieht sie nicht eigentlich so aus?:		'''Ich''' glaube die Tabelle ist falsch. Sieht sie nicht eigentlich so aus?:

	{\| class="wikitable sortable"		{\| class="wikitable sortable"
Zeile 49:		Zeile 49:
	\| f \|\| f \|\| w\|\| w \|\| f		\| f \|\| f \|\| w\|\| w \|\| f
	\|}		\|}
	Es ist ja AUNDnichtB und nicht AOderNichtB.		Es ist ja AUNDnichtB und nicht AOderNichtB. <br />
	Und damit können wir dann in der Tabelle zeigen, das AimpliziertB äquivalent zu nicht(AundNichtB) ist. Daraus folgt dann, dass das eine die Negation vom anderen ist, und sie nie gleichzeitig stimmen können. Daraus folgt dann: Wenn die Aussage des Beweises stimmt, muss beim Beweis durch Widerspruch für die Annahme etwas falsches herauskommen. Und wenn die Aussage falsch ist, so wird die Negation stimmen. --[[Benutzer:Lotta aus der Krachmacherstraße\|Lotta aus der Krachmacherstraße]] 10:25, 13. Mai 2013 (CEST)		Und damit können wir dann in der Tabelle zeigen, das AimpliziertB äquivalent zu nicht(AundNichtB) ist.<br />
			Daraus folgt dann, dass das eine die Negation vom anderen ist, und sie nie gleichzeitig stimmen können. <br />
			Daraus folgt dann: Wenn die Aussage des Beweises stimmt, muss beim Beweis durch Widerspruch für die Annahme etwas falsches herauskommen. Und wenn die Aussage falsch ist, so wird die Negation stimmen. --[[Benutzer:Lotta aus der Krachmacherstraße\|Lotta aus der Krachmacherstraße]] 10:25, 13. Mai 2013 (CEST)<br />
			'''Danke''' an Blumenkind und Lotta aus der Krachermacherstraße! Lottas Erklärung stimmt so. --[[Benutzer:Tutorin Anne\|Tutorin Anne]] 10:48, 13. Mai 2013 (CEST)
	[[Category:Einführung_P]]		[[Category:Einführung_P]]

Lotta aus der Krachmacherstraße am 13. Mai 2013 um 08:27 Uhr

2013-05-13T08:27:37Z

← Nächstältere Version		Version vom 13. Mai 2013, 08:27 Uhr
Zeile 1:		Zeile 1:
	~~<math></math>~~'''Vergleichen Sie die Wahrheitswerte von<br />'''		'''Vergleichen Sie die Wahrheitswerte von<br />'''

	<math>(\ A \Rightarrow B) </math> und <math>(\ A \wedge \neg B)</math>.<br />		<math>(\ A \Rightarrow B) </math> und <math>(\ A \wedge \neg B)</math>.<br />

Lotta aus der Krachmacherstraße am 13. Mai 2013 um 08:25 Uhr

2013-05-13T08:25:55Z

@@ Zeile 1: / Zeile 1: @@
-'''Vergleichen Sie die Wahrheitswerte von<br />'''
+<math></math>'''Vergleichen Sie die Wahrheitswerte von<br />'''
 <math>(\ A \Rightarrow B) </math> und <math>(\ A  \wedge \neg B)</math>.<br />
@@ Zeile 36: / Zeile 36: @@
 --> Ich glaube, man kann es nicht beweisen. HILFE;-/
+Ich glaube die Tabelle ist falsch. Sieht sie nicht eigentlich so aus?:
 [[Category:Einführung_P]]

Blumenkind am 12. Mai 2013 um 14:43 Uhr

2013-05-12T14:43:45Z

← Nächstältere Version		Version vom 12. Mai 2013, 14:43 Uhr
Zeile 18:		Zeile 18:
	!A!!B!!<math>A \Rightarrow B</math>!! <math>\neg B</math>!!<math>A\ \wedge \neg B</math>		!A!!B!!<math>A \Rightarrow B</math>!! <math>\neg B</math>!!<math>A\ \wedge \neg B</math>
	\|-		\|-
	\| w \|\| x\|\| x \|\| x \|\| x		\| w \|\| w\|\| w \|\| f \|\| f
	\|-		\|-
	\| w \|\| x \|\| x\|\| x \|\| x		\| w \|\| f\|\| f\|\| w \|\| w
	\|-		\|-
	\| f \|\| x\|\| x \|\| x \|\| x		\| f \|\| w\|\| w \|\| f \|\| w
	\|-		\|-
	\| f \|\| x \|\| x\|\| x \|\| x		\| f \|\| f \|\| w\|\| w \|\| w
	\|}		\|}

			Somit haben wir gezeigt, dass sie nicht gleichwertig sind.

			Indirekter Beweis mit Widerspruch:

			* VSS: Aus A folgt B
			* Beh.: AundNichtB Annahme NichtAundB

			--> Ich glaube, man kann es nicht beweisen. HILFE;-/


	[[Category:Einführung_P]]		[[Category:Einführung_P]]

Tutorin Anne am 11. Mai 2013 um 19:26 Uhr

2013-05-11T19:26:23Z

← Nächstältere Version		Version vom 11. Mai 2013, 19:26 Uhr
Zeile 2:		Zeile 2:

	<math>(\ A \Rightarrow B) </math> und <math>(\ A \wedge \neg B)</math>.<br />		<math>(\ A \Rightarrow B) </math> und <math>(\ A \wedge \neg B)</math>.<br />
	'''		'''Erklären Sie den Zusammenhang zwischen Ihrer Wahrheitstabelle und dem indirekten Beweis durch Widerspruch.'''<br />
	Erklären Sie den Zusammenhang zwischen Ihrer Wahrheitstabelle und dem indirekten Beweis durch Widerspruch.<br />~~'''~~

	Ich finde die Aufgabe etwas verwirrend;-/. Habe eine Wahrheitstabelle erstellt, jedoch bin ich mir nicht sicher, ob es stimmt.<br />		Ich finde die Aufgabe etwas verwirrend;-/. Habe eine Wahrheitstabelle erstellt, jedoch bin ich mir nicht sicher, ob es stimmt.<br />

Tutorin Anne am 11. Mai 2013 um 19:25 Uhr

2013-05-11T19:25:42Z

← Nächstältere Version		Version vom 11. Mai 2013, 19:25 Uhr
Zeile 1:		Zeile 1:
	Vergleichen Sie die Wahrheitswerte von<br />		'''Vergleichen Sie die Wahrheitswerte von<br />'''

	<math>(\ A \Rightarrow B) </math> und <math>(\ A \wedge \neg B)</math>.<br />		<math>(\ A \Rightarrow B) </math> und <math>(\ A \wedge \neg B)</math>.<br />
			'''
			Erklären Sie den Zusammenhang zwischen Ihrer Wahrheitstabelle und dem indirekten Beweis durch Widerspruch.<br />'''

	~~Erklären Sie den Zusammenhang zwischen Ihrer~~ Wahrheitstabelle ~~und dem indirekten Beweis durch Widerspruch~~.<br />		Ich finde die Aufgabe etwas verwirrend;-/. Habe eine Wahrheitstabelle erstellt, jedoch bin ich mir nicht sicher, ob es stimmt.<br />

	~~Ich finde~~ die ~~Aufgabe etwas verwirrend;~~-~~/. Habe eine Wahrheitstabelle erstellt~~, ~~jedoch bin ich mir nicht sicher~~, ~~ob es stimmt.~~		Habe in die Wahrheitstabelle: A ,B,A--> B,NICHT B,AundB geschrieben <br />

	~~Habe in die Wahrheitstabelle: A B A--> B NICHT B AundB geschrieben~~		Als Ergebnis bzw. dass es äquivalent ist muss ja eine Richtung bewiesen werden.<br />

	Als Ergebnis bzw. dass es äquivalent ist muss ja eine Richtung bewiesen werden.

	~~Als Ergebnis habe ich jedoch rausbekommen dass A-~~>B und AundNichtB NICHT ÄQUIVALENT SIND. Ist es richtig, was ich gemacht habe? Oder soll ich jeweils nur A->B und AundNichtB getrennt betrachten? Sprich zwei Tabellen erstellen da bei der Aufgabenstellung keine Implikation steht sondern UND . HILFE;-/ Was mache ich falsch? --[[Benutzer:Blumenkind\|Blumenkind]] 18:20, 11. Mai 2013 (CEST)Blumenkind

			Als Ergebnis habe ich jedoch rausbekommen dass A->B und AundNichtB NICHT ÄQUIVALENT SIND. <br />
			Ist es richtig, was ich gemacht habe? Oder soll ich jeweils nur A->B und AundNichtB getrennt betrachten? Sprich zwei Tabellen erstellen da bei der Aufgabenstellung keine Implikation steht sondern UND . HILFE;-/ Was mache ich falsch? --[[Benutzer:Blumenkind\|Blumenkind]] 18:20, 11. Mai 2013 (CEST)Blumenkind<br /><br />

			Hallo Blumenkind. Du brauchst nur eine Tabelle machen. Und du liegst richtig damit, dass die Aussagen nicht äquivalent sind.<br />
			Wie sieht die Wahrheitstabelle denn aus? Kann Sie jemand füllen? Und anschließend die Bedeutung für den indirekten Beweis mit Widerspruch herleiten?--[[Benutzer:Tutorin Anne\|Tutorin Anne]] 21:25, 11. Mai 2013 (CEST)
			{\| class="wikitable sortable"
			!A!!B!!<math>A \Rightarrow B</math>!! <math>\neg B</math>!!<math>A\ \wedge \neg B</math>
			\|-
			\| w \|\| x\|\| x \|\| x \|\| x
			\|-
			\| w \|\| x \|\| x\|\| x \|\| x
			\|-
			\| f \|\| x\|\| x \|\| x \|\| x
			\|-
			\| f \|\| x \|\| x\|\| x \|\| x
			\|}


	[[Category:Einführung_P]]		[[Category:Einführung_P]]

Blumenkind am 11. Mai 2013 um 16:20 Uhr

2013-05-11T16:20:30Z

← Nächstältere Version		Version vom 11. Mai 2013, 16:20 Uhr
Zeile 4:		Zeile 4:

	Erklären Sie den Zusammenhang zwischen Ihrer Wahrheitstabelle und dem indirekten Beweis durch Widerspruch.<br />		Erklären Sie den Zusammenhang zwischen Ihrer Wahrheitstabelle und dem indirekten Beweis durch Widerspruch.<br />

			Ich finde die Aufgabe etwas verwirrend;-/. Habe eine Wahrheitstabelle erstellt, jedoch bin ich mir nicht sicher, ob es stimmt.

			Habe in die Wahrheitstabelle: A B A--> B NICHT B AundB geschrieben

			Als Ergebnis bzw. dass es äquivalent ist muss ja eine Richtung bewiesen werden.

			Als Ergebnis habe ich jedoch rausbekommen dass A->B und AundNichtB NICHT ÄQUIVALENT SIND. Ist es richtig, was ich gemacht habe? Oder soll ich jeweils nur A->B und AundNichtB getrennt betrachten? Sprich zwei Tabellen erstellen da bei der Aufgabenstellung keine Implikation steht sondern UND . HILFE;-/ Was mache ich falsch? --[[Benutzer:Blumenkind\|Blumenkind]] 18:20, 11. Mai 2013 (CEST)Blumenkind




	[[Category:Einführung_P]]		[[Category:Einführung_P]]

Schnirch: Die Seite wurde neu angelegt: „Vergleichen Sie die Wahrheitswerte von
$(\ A \Rightarrow B)$ und $(\ A \wedge \neg B)$ .
Erklären Sie den Zusammenhang zwisc…“

2013-05-03T11:36:11Z

Die Seite wurde neu angelegt: „Vergleichen Sie die Wahrheitswerte von <math>(\ A \Rightarrow B) </math> und <math>(\ A \wedge \neg B)</math>. Erklären Sie den Zusammenhang zwisc…“

Neue Seite

Vergleichen Sie die Wahrheitswerte von 

<math>(\ A \Rightarrow B) </math> und <math>(\ A \wedge \neg B)</math>. 

Erklären Sie den Zusammenhang zwischen Ihrer Wahrheitstabelle und dem indirekten Beweis durch Widerspruch. 

[[Category:Einführung_P]]