Den ena liittigheten är en logiskkonseqvens