Das Kefk Network Wiki befindet sich im Testbetrieb.
Matrix (Logik)
Aus Kefk.
In der Prädikatenlogik ist die Matrix einer Formel F diejenige Formel, die man durch Streichen sämtlicher Quantoren aus F erhält. Der Begriff wird vor allem im Zusammenhang mit der Pränexform verwendet, bei der sämtliche Quantoren am Anfang der Formel stehen.
 | Dieses Dokument entstammt in seiner ersten oder einer späteren Version der deutschsprachigen Wikipedia. Es ist dort zu finden unter dem Stichwort Matrix_%28Logik%29, die Liste der bisherigen Autoren befindet sich in der Versionsliste; die Originalfassung kann dort auch bearbeitet werden. Alle Texte der Wikipedia und ihre Derivate stehen unter der GNU-Lizenz für freie Dokumentation. |
