Фишки называются соседними, если они стоят на различных клетках, у которых есть общая сторона или угол. Это отношение между ними будем обозначать словом «рядом».
Запишите при помощи данных предикатов, кванторов и логических связок формулу исчисления предикатов, которая будет верна для левой картинки и не верна для правой.
Вы можете использовать как неформальную, словесную, так и более математически продвинутую, формальную запись, использующую математические символы: кванторы и знаки операций.
В качестве начального решения введена формула, которая не верна для обоих картинок.
Заметим, что данные картинки довольно похожи, то есть большая часть утверждений будет либо верна для обеих картинок, либо же неверна для обеих.
Самое заметное отличие между картинками - наличие на левой картинке блока из нескольких (больше одной) синих вершин, не соединённых с красными) которого нет на правой. Высказывание «Для любой синей вершины существует красный сосед» не проходит, так как одинокая синяя вершина на левой картинке всё же есть. А вот высказывание «Для любых двух соседних синих вершин есть общая соседняя красная» — как раз то, что нам нужно.
Ответ: см. рис.