(Жеткіліктілік). Кері жағдайды дәлелдейміз. ((sА, SB) SА SВ) жеткілікті (sА, SB)( sА,х)= ( SB,х) дәлелдейміз, А және В эквивалентті, яғни ¬(SОА,SОВ,.
Бұл кіріс түзілістердің ұзындығы индукциясымен дәлелденеді.Басқаша, дәлелдейміз
Достарыңызбен бөлісу: |