... so.dˆo`thu..c th e’- liˆen kˆe´td˜a o.’da.ng chuˆa’n 3 c´o th e’du.o..c n˘a´m b˘a´t trong SDKN th ong qua mˆo.t ph´epdi.ch t`u.so.dˆo`thu..c th e’- ... l`a tham chiˆe´u cu’a c.V´o.i mˆo.t n´ut kh´ai niˆe.m C ∈ CCC, nˆe´u Ca(C) = DT th` ı n´utd´o c´o th e’biˆe’u diˆe˜n mˆo.t thuˆo.ct´ınh ho˘a.c mˆo.t thu..c th e’, ... C(x),∀z ∈ A C(z) ho˘a.c ∃yC(y). Th ong qua ph´ep di.ch c´ac ECG th` anh mˆo.t biˆe’u th u.c FOL, ch´ung ta c´o th e’nhˆa.n th a´y,c´acdˆo`thi.kh´ai niˆe.m c´o kha’n˘ang...