CEVAP:

?x ((Fx ? GA) ? (Gx › Hx)) önermesinde, F, G ve H yüklem sembolleri ve A ad
sembolü geçmektedir. Dolayısıyla, bu önermeyi denetleyebileceğimiz bir M modeli,
modelin evreni olarak bir SM kümesinden, F, G ve H yüklemlerinin herbiri için SM
kümesinin FM, GM ve HM altkümelerinden ve A ad sembolünün karşılığı olarak SM
kümesinin bir AM elemanından oluşmalıdır. O halde, aşağıdaki modellerin herbiri
?x ((Fx ? GA) ? (Gx › Hx)) önermesini denetleyebileceğimiz birer modeldir:

(a) SM = {a, b}, FM = {a}, GM = {a,b}, HM = {b}, AM = a
(b) SM= {a, b, c}, FM = {b}, GM = {b,c}, HM = {b}, AM = c
(c) SM = {a}, FM = { }, GM = {a}, HM = {a}, AM= a