Logik - Versionsgeschichte

Kowa: /* Definition (Güntzer, Schmidt, Kempf, Möller){{Quelle|Güntzer, U.; Schmidt, G.; Kempf, M.; Möller, B. (1989): Mathematische Logik}}, Seite 1-2 */

2019-05-23T16:03:29Z

Definition (Güntzer, Schmidt, Kempf, Möller){{Quelle|Güntzer, U.; Schmidt, G.; Kempf, M.; Möller, B. (1989): Mathematische Logik}}, Seite 1-2

← Nächstältere Version		Version vom 23. Mai 2019, 16:03 Uhr
Zeile 9:		Zeile 9:
	==Definition (Güntzer, Schmidt, Kempf, Möller)<ref>{{Quelle\|Güntzer, U.; Schmidt, G.; Kempf, M.; Möller, B. (1989): Mathematische Logik}}, Seite 1-2</ref>==		==Definition (Güntzer, Schmidt, Kempf, Möller)<ref>{{Quelle\|Güntzer, U.; Schmidt, G.; Kempf, M.; Möller, B. (1989): Mathematische Logik}}, Seite 1-2</ref>==

	Ziel der mathematischen Logik ist es [...], das natürliche, umgangssprachliche Hantieren mit [[Aussage]]n und [[Folgerung]]en in einem ~~mathematischn~~ Formalisms, einem [[Kalkül]], zu präsisieren, um zu einer rein mechanischen Ausführung von Beweisen zu gelangen.		Ziel der mathematischen Logik ist es [...], das natürliche, umgangssprachliche Hantieren mit [[Aussage]]n und [[Folgerung]]en in einem mathematischen Formalisms, einem [[Kalkül]], zu präsisieren, um zu einer rein mechanischen Ausführung von Beweisen zu gelangen.

	==Quellen==		==Quellen==

Kowa am 20. Mai 2019 um 11:33 Uhr

2019-05-20T11:33:27Z

← Nächstältere Version		Version vom 20. Mai 2019, 11:33 Uhr
Zeile 7:		Zeile 7:
	}}		}}

	=Definition (Güntzer, Schmidt, Kempf, Möller)<ref>{{Quelle\|Güntzer, U.; Schmidt, G.; Kempf, M.; Möller, B. (1989): Mathematische Logik}}, Seite 1-2</ref>=		==Definition (Güntzer, Schmidt, Kempf, Möller)<ref>{{Quelle\|Güntzer, U.; Schmidt, G.; Kempf, M.; Möller, B. (1989): Mathematische Logik}}, Seite 1-2</ref>==

	Ziel der mathematischen Logik ist es [...], das natürliche, umgangssprachliche Hantieren mit [[Aussage]]n und [[Folgerung]]en in einem mathematischn Formalisms, einem [[Kalkül]], zu präsisieren, um zu einer rein mechanischen Ausführung von Beweisen zu gelangen.		Ziel der mathematischen Logik ist es [...], das natürliche, umgangssprachliche Hantieren mit [[Aussage]]n und [[Folgerung]]en in einem mathematischn Formalisms, einem [[Kalkül]], zu präsisieren, um zu einer rein mechanischen Ausführung von Beweisen zu gelangen.

	=Quellen=		==Quellen==
	<references/>		<references/>

	=Siehe auch=		==Siehe auch==

	* [[Aussage]]		* [[Aussage]]

Kowa am 16. August 2012 um 12:58 Uhr

2012-08-16T12:58:16Z

← Nächstältere Version		Version vom 16. August 2012, 12:58 Uhr
Zeile 6:		Zeile 6:
	\|conformance = 5		\|conformance = 5
	}}		}}
	~~{{In Bearbeitung}}~~
	=Definition (Güntzer, Schmidt, Kempf, Möller)<ref>{{Quelle\|Güntzer, U.; Schmidt, G.; Kempf, M.; Möller, B. (1989): Mathematische Logik}}, Seite 1-2</ref>=		=Definition (Güntzer, Schmidt, Kempf, Möller)<ref>{{Quelle\|Güntzer, U.; Schmidt, G.; Kempf, M.; Möller, B. (1989): Mathematische Logik}}, Seite 1-2</ref>=

Zeile 19:		Zeile 19:
	* [[Metasprache\|Metasprache/Objektsprache]]		* [[Metasprache\|Metasprache/Objektsprache]]
	* [[Aussagenlogik]]		* [[Aussagenlogik]]
	* [[Prädikatenlogik ~~erster~~ Stufe]]		* [[Prädikatenlogik 1. Stufe]]
	* [[Prädikatenlogik ~~zweiter~~ Stufe]]		* [[Prädikatenlogik 2. Stufe]]
	* [[Kalkül]]		* [[Kalkül]]

	[[Kategorie:Logik]]		[[Kategorie:Logik]]

Kowa: Die Seite wurde neu angelegt: „{{Qualität |correctness = 5 |extent = 1 |numberOfReferences = 5 |qualityOfReferences = 4 |conformance = 5 }} {{In Bearbeitung}} …“

2012-08-15T14:39:44Z

Die Seite wurde neu angelegt: „{{Qualität |correctness = 5 |extent = 1 |numberOfReferences = 5 |qualityOfReferences = 4 |conformance = 5 }} {{In Bearbeitung}} …“

Neue Seite

{{Qualität
|correctness = 5
|extent = 1
|numberOfReferences = 5
|qualityOfReferences = 4
|conformance = 5
}}
{{In Bearbeitung}}
=Definition (Güntzer, Schmidt, Kempf, Möller)<ref>{{Quelle|Güntzer, U.; Schmidt, G.; Kempf, M.; Möller, B. (1989): Mathematische Logik}}, Seite 1-2</ref>=

Ziel der mathematischen Logik ist es [...], das natürliche, umgangssprachliche Hantieren mit [[Aussage]]n und [[Folgerung]]en in einem mathematischn Formalisms, einem [[Kalkül]], zu präsisieren, um zu einer rein mechanischen Ausführung von Beweisen zu gelangen.

=Quellen=
<references/>

=Siehe auch=

* [[Aussage]]
* [[Metasprache|Metasprache/Objektsprache]]
* [[Aussagenlogik]]
* [[Prädikatenlogik erster Stufe]]
* [[Prädikatenlogik zweiter Stufe]]
* [[Kalkül]]

[[Kategorie:Logik]]