" will both be true, whatever

may be. For, according to the definition in the last chapter, "

implies

" means "not-

or