mãtrica (lot. matrix, kilm. matricis – patelė), tam tikro pavidalo klasikinės predikatų logikos formulė. Kiekvieną formulę galima transformuoti į jai ekvivalenčią Q1x1 … QnxnM pavidalo formulę; čia Qi (i = 1, …, n) yra kvantoriai, M – bekvantorė formulė, vadinama matrica.
35