<?xml version="1.0"?>
<feed xmlns="http://www.w3.org/2005/Atom" xml:lang="de">
	<id>https://wiki-de.moshellshocker.dns64.de/index.php?action=history&amp;feed=atom&amp;title=Konversion_%28Logik%29</id>
	<title>Konversion (Logik) - Versionsgeschichte</title>
	<link rel="self" type="application/atom+xml" href="https://wiki-de.moshellshocker.dns64.de/index.php?action=history&amp;feed=atom&amp;title=Konversion_%28Logik%29"/>
	<link rel="alternate" type="text/html" href="https://wiki-de.moshellshocker.dns64.de/index.php?title=Konversion_(Logik)&amp;action=history"/>
	<updated>2026-06-22T08:15:51Z</updated>
	<subtitle>Versionsgeschichte dieser Seite in Wikipedia (Deutsch) – Lokale Kopie</subtitle>
	<generator>MediaWiki 1.43.8</generator>
	<entry>
		<id>https://wiki-de.moshellshocker.dns64.de/index.php?title=Konversion_(Logik)&amp;diff=1914969&amp;oldid=prev</id>
		<title>imported&gt;Marvin Behrmann: Neue Hyperlinks</title>
		<link rel="alternate" type="text/html" href="https://wiki-de.moshellshocker.dns64.de/index.php?title=Konversion_(Logik)&amp;diff=1914969&amp;oldid=prev"/>
		<updated>2025-09-08T09:42:15Z</updated>

		<summary type="html">&lt;p&gt;Neue Hyperlinks&lt;/p&gt;
&lt;p&gt;&lt;b&gt;Neue Seite&lt;/b&gt;&lt;/p&gt;&lt;div&gt;&amp;#039;&amp;#039;&amp;#039;Konversion&amp;#039;&amp;#039;&amp;#039; (&amp;#039;&amp;#039;Umkehrung&amp;#039;&amp;#039;) ist ein Ausdruck sowohl der traditionellen Logik als auch der modernen Relationenlogik.&lt;br /&gt;
== Konversion im Sinne der traditionellen Logik ==&lt;br /&gt;
In der [[traditionelle Logik|traditionellen Logik]] bezeichnet &amp;#039;&amp;#039;Konversion&amp;#039;&amp;#039; einen unmittelbaren Schluss durch Vertauschung des Subjekts und des Prädikats in [[Kategorisches Urteil|kategorialen Sätzen]] (Aussagen, Urteilen).&lt;br /&gt;
&lt;br /&gt;
Man unterscheidet zwischen &amp;#039;&amp;#039;einfacher&amp;#039;&amp;#039; und &amp;#039;&amp;#039;eingeschränkter Konversion&amp;#039;&amp;#039;, wobei jeweils auf die [[Aristoteles#Kanonische_Sätze|kanonischen Sätze der aristotelischen Logik]] zurückgegriffen wird. &lt;br /&gt;
=== Einfache Konversion ===&lt;br /&gt;
Die &amp;#039;&amp;#039;einfache Konversion&amp;#039;&amp;#039; eines kategorischen Satzes entsteht dadurch, dass Subjekt und Prädikat in einem kategorialen Satz vertauscht werden.&lt;br /&gt;
&lt;br /&gt;
Nach den &amp;#039;&amp;#039;Gesetzen der Konversion&amp;#039;&amp;#039; führt dies zu gültigen Schlüssen bei den E- und bei den I-Sätzen:&lt;br /&gt;
&lt;br /&gt;
(1) S e P &amp;lt;math&amp;gt;\Leftrightarrow&amp;lt;/math&amp;gt; P e S (Kein S ist P. &amp;lt;math&amp;gt;\Leftrightarrow&amp;lt;/math&amp;gt; Kein P ist S.)&lt;br /&gt;
&lt;br /&gt;
Beispiel: Kein Mensch ist ein Vogel. &amp;lt;math&amp;gt;\Leftrightarrow&amp;lt;/math&amp;gt; Kein Vogel ist ein Mensch.&lt;br /&gt;
&lt;br /&gt;
(2) S i P &amp;lt;math&amp;gt;\Leftrightarrow&amp;lt;/math&amp;gt; P i S (Einige S sind P. &amp;lt;math&amp;gt;\Leftrightarrow&amp;lt;/math&amp;gt; Einige P sind S.)&lt;br /&gt;
&lt;br /&gt;
Beispiel: Einige Menschen haben einen Vogel. &amp;lt;math&amp;gt;\Leftrightarrow&amp;lt;/math&amp;gt; Einige, die einen Vogel haben, sind Menschen. &lt;br /&gt;
&lt;br /&gt;
=== Eingeschränkte Konversion ===&lt;br /&gt;
Bei der &amp;#039;&amp;#039;eingeschränkten Konversion&amp;#039;&amp;#039; (auch: &amp;#039;&amp;#039;Konversion per accidens&amp;#039;&amp;#039;, &amp;#039;&amp;#039;akzidentelle Konversion&amp;#039;&amp;#039;) wird in einem allgemeinen kategorischen Satz das Subjekt mit dem Prädikat vertauscht und die Quantität des Satze ohne Beeinträchtigung ihrer Qualität verändert. Das &amp;quot;a&amp;quot; wird durch &amp;quot;i&amp;quot; bzw. &amp;quot;e&amp;quot; durch &amp;quot;o&amp;quot; ersetzt.&amp;lt;ref&amp;gt;Borkowski, Ludwik: &amp;#039;&amp;#039;Formale Logik.&amp;#039;&amp;#039; Akademie Verlag, Berlin 1976, S.  386&amp;lt;/ref&amp;gt;&lt;br /&gt;
&lt;br /&gt;
(1) S a P ⇒ P i S.&lt;br /&gt;
&lt;br /&gt;
Beispiel: Alle Wale sind Säugetiere. ⇒ Einige Säugetiere sind Wale.&lt;br /&gt;
&lt;br /&gt;
Die eingeschränkte Konversion aus einem A-Satz ist nur dann zulässig, wenn das Subjekt des Satzes nicht leer ist.&lt;br /&gt;
&lt;br /&gt;
(2) S e P ⇒ P o S.&lt;br /&gt;
&lt;br /&gt;
Beispiel: Kein Mensch ist ein Fisch (= Alle Menschen sind kein Fisch) ⇒ Einige Fische sind keine Menschen.&lt;br /&gt;
&lt;br /&gt;
Die eingeschränkte Konversion aus einem E-Satz ist nur dann zulässig, wenn das Prädikat des Satzes nicht leer ist.&lt;br /&gt;
&lt;br /&gt;
=== Keine zulässige Konversion aus O-Sätzen ===&lt;br /&gt;
Für einen partikulär verneinenden Satz (O-Satz) gilt kein Konversionsgesetz.&lt;br /&gt;
&lt;br /&gt;
== Konversion im Sinne der Relationenlogik ==&lt;br /&gt;
In der Logik der Relationen ist die Konversion einer Relation (auch: die zur Relation R umgekehrte Relation, die &amp;#039;&amp;#039;Konverse&amp;#039;&amp;#039;, die &amp;#039;&amp;#039;Umkehrrelation&amp;#039;&amp;#039;) eine Relation, die zwischen den Gegenständen b und a besteht, wenn die Gegenstände in der Relation a und b zueinander stehen.&lt;br /&gt;
&lt;br /&gt;
Die Konverse wird verschieden symbolisiert, unter anderem durch &amp;quot;R´&amp;quot; oder durch &amp;quot;&amp;lt;math&amp;gt;R^{-1}&amp;lt;/math&amp;gt; &amp;quot; und kann dann symbolisiert definiert werden durch: &lt;br /&gt;
&lt;br /&gt;
yR´x = xRy.&lt;br /&gt;
&lt;br /&gt;
Oder - mathematischer -: &lt;br /&gt;
&lt;br /&gt;
für eine Relation &amp;lt;math&amp;gt;R \subseteq A\times B&amp;lt;/math&amp;gt; wird die Konverse definiert als&lt;br /&gt;
:&amp;lt;math&amp;gt;R^{-1} = \{(b,a)\in B\times A \mid (a,b)\in R\}&amp;lt;/math&amp;gt;.&lt;br /&gt;
&lt;br /&gt;
Beispiel 1: Die Konversion der Relation von &amp;quot;Ehemann von&amp;quot; ist die Relation &amp;quot;Ehefrau von&amp;quot;.&lt;br /&gt;
&lt;br /&gt;
Beispiel 2: Die Konversion der Relation &amp;quot;kleiner als&amp;quot; ist die konverse Relation &amp;quot;größer als&amp;quot;.&lt;br /&gt;
&lt;br /&gt;
== Siehe auch ==&lt;br /&gt;
* [[Inversion (Logik)]]&lt;br /&gt;
* [[Relation (Mathematik)]]&lt;br /&gt;
* [[Konversionsfehlschluss]]&lt;br /&gt;
* [[Inversionsfehlschluss]]&lt;br /&gt;
&lt;br /&gt;
== Einzelnachweise ==&lt;br /&gt;
&amp;lt;references/&amp;gt;&lt;br /&gt;
&lt;br /&gt;
[[Kategorie:Logik]]&lt;br /&gt;
[[Kategorie:Mathematische Logik]]&lt;/div&gt;</summary>
		<author><name>imported&gt;Marvin Behrmann</name></author>
	</entry>
</feed>