In the predicate logic that is matrix of a formula that formula, which can all by brushing quantifiers from receives. The term is mainly used in connection with the prenex form , in which all quantifiers are at the beginning of the formula. F. {\ displaystyle F} F. {\ displaystyle F}
The matrix of the formula
(Existence of a neutral element of addition ) is