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