Докажите, что следующая формула логики предикатов не является общезначимой, но является выполнимой:ху (Q(х; у) R(х, у))

Обратьях наших меньших никогда не оставляли равнодушными старших братьев. жизнь животного полна опасностей и сама по себе, а когда судьбой волка или кролика начинает распоряжаться человек, то развязка может быть драматичной. только смерть может остановить почтового голубя, летящего с письмом; сама природа спасает обитателя лесов от пули охотника; а жажда наживы способна превратить голодную дворовую кошку в "особу королевской крови" содержание: домино мустанг-иноходец по оленя бинго лобо вулли красношейка серебряное пятнышко жизнь серого медведя виннипегский волк королевская аналостанка мальчик и рысь снап джек - боевой конек арно уличный певец тито отчего синицы раз в году теряют рассудок медвежонок джонни чинк

ответ:Нельзя. Решение: Допустим, центр окружности красный. Тогда на окружности 1006 красных и 1007 синих точек, и потому там найдутся две синие точки, стоящие рядом. Но тогда и следующая за ними по часовой стрелке точка должна быть синей — иначе найдётся синяя точка, соединённая с одной синей. Продолжая рассуждение, получаем, что все точки, отмеченные на окружности, должны быть синими — противоречие. Допустим, центр окружности синий. Тогда на окружности найдутся две красные точки, стоящие рядом. Но тогда и следующая за ними по часовой стрелке точка должна быть красной — иначе найдётся красная точка, соединённая с двумя синими. Продолжая рассуждение, получаем, что все точки, отмеченные на окружности, должны быть красными — снова противоречие.