Begriff Matrix in der Prädikatenlogik

Wenn sich eine Formel in Skalen-Normalform befindet, nennt man den Teil der Formel, der sich hinter den All-Quantoren befinden, für die Matrix der Formel.