Определение. Пусть предложение j находится в СНФ:
j: ("x1) … ("xn)[С1(x1, … , xn)Ù … Ù Сk(x1, … , xn)] где
Сi(x1, … , xn) – дизъюнкция атомов или их отрицаний P1, … , Pk. Тогда теоретико-множественным представлением предложения j называется множество
S={{ 
, … , 
}, … , { 
, … , 
}}
Пример 5.
j: ("y)("x)("z)[P(x, y) Ù (ØQ(x) Ú R(z)) Ù (ØD(z,x))]
ТМФ: {{ P(x, y)}, {ØQ(x), R(z)}, {ØD(z,x)}}
