Matrix (Logik)

In der Prädikatenlogik ist die Matrix einer Formel <math>F</math> diejenige Formel, die man durch Streichen sämtlicher Quantoren 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.

Beispiel

Die Matrix der Formel

<math>\exists n\forall a (a+n = a \land \exists b . a + b = n)</math>

(Existenz eines neutralen Elements der Addition) ist

<math>(a+n = a) \land (a + b = n)</math>.