dinh liddo cua dinh If dang (1). Luc do dinh li dang (1) se dugc ggi la dinh lithudn. Dinh If thuan va dao c6 thi vilt ggp thanh mgt dinh If" V X G X , P(x)e(x)".Khi do, ta n6iP(x) la dieu kien cdn vd du deed Q(x).11Ngoai ra, ta
con noi "P(x) nlu va chi nlu 2(x)" hoac "P(x) khi va chi khiQ(xy[r]