@Locci5674, @Kahn, просто помните, что формальной логикой можно доказать что угодно - в зависимости от исходных постулатов. Об этом в цикле "Я, робот" написал Азимов ещё в 1950 году.