... vi trng thỏi DC PDC : Time {0,1} ủc ủnh ngha bi: PDC (t ) = P(t , max{k | (t , k ) WTM }) Vi mụ hỡnh WDC (WTM , ,[b, e]) , ta kớ hiu mụ hỡnh tng ng vi nú DC l (Time, DC ,[bDC , eDC ]) Proof ... gia nhng mụ hỡnh WDC v mụ hỡnh DC ú l, bng cỏch chiu mt ủim thi gian WTM vo thnh phn ủu tiờn ca nú, mi ủim thi gian WTM tng ng vi mt ủim thi gian thi gian thc i vi trng thỏi P WDC, P : WTM {0,1} ... thng chng minh ca DC* 0=0 ( DC 2) = l ( DC 3) S ( DC 4) S + S = ( S S ) + ( S S ) ( DC 5) ( S = x S = y ) S = x + y ( DC 6) S = S if S S propositional calculus ( DC1 ) 2 1 2 [l =...