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
Citata
Nors buvo dedamos visos pastangos laikytis citavimo stiliaus taisyklių, gali pasitaikyti tam tikrų neatitikimų. Jei turite klausimų, prašome vadovautis atitinkamu stiliaus vadovu arba kitais šaltiniais.