Заливаем меньшую банку (700 г) и выливаем её в большую (800 г). В большей недостаёт 100 г. Снова заливаем меньшую и доливаем большую. В меньшей остаётся 600 г. Большую опустошаем и заливаем в неё из меньшей те самые 600 г. Снова заполняем меньшую и доливаем из неё до верху большую. В меньшей остаётся
1.
х≠1
утверждение ложно
х€∅
2.
х≠2
3.
n≠1, n≠3, n≠2
утверждение ложно
n€∅