https://wiki-de.moshellshocker.dns64.de/index.php?action=history&feed=atom&title=Matrix_%28Logik%29Matrix (Logik) - Versionsgeschichte2026-05-30T03:10:18ZVersionsgeschichte dieser Seite in Wikipedia (Deutsch) – Lokale KopieMediaWiki 1.43.8https://wiki-de.moshellshocker.dns64.de/index.php?title=Matrix_(Logik)&diff=904726&oldid=previmported>Texvc2LaTeXBot: Texvc Makros durch LaTeX Pendant ersetzt gemäß mw:Extension:Math/Roadmap2018-12-09T13:24:13Z<p>Texvc Makros durch LaTeX Pendant ersetzt gemäß <a href="https://www.mediawiki.org/wiki/Extension:Math/Roadmap" class="extiw" title="mw:Extension:Math/Roadmap">mw:Extension:Math/Roadmap</a></p>
<p><b>Neue Seite</b></p><div>In der [[Prädikatenlogik]] ist die '''Matrix''' einer Formel <math>F</math> diejenige Formel, die man durch Streichen sämtlicher [[Quantor]]en aus <math>F</math> erhält. Der Begriff wird vor allem im Zusammenhang mit der [[Pränexform]] verwendet, bei der sämtliche Quantoren am Anfang der Formel stehen.<br />
<br />
== Beispiel ==<br />
Die Matrix der Formel <br />
: <math>\exists n\forall a (a+n = a \land \exists b . a + b = n)</math><br />
(Existenz eines [[Neutrales Element|neutralen Elements]] der [[Addition]]) ist<br />
: <math>(a+n = a) \land (a + b = n)</math>.<br />
<br />
[[Kategorie:Logik]]</div>imported>Texvc2LaTeXBot