Определить значение истинности высказывания

[Тата]

Дано множество М={a,b}. Предикат Р(х,у), где х и у принадлежат М, задан следующей таблицей
х   у   Р(х,у)
а   а   0
a   b   1
b   a   1
b   b   1
Определить значение истинности высказывания  "для любого у" Р(а,у) , не могу найти как записать квантор "для любого у"

[Nikgamer]

0, если y=a
1, иначе

[Тата]

0, если y=a
1, иначе

Так просто? Вы гений! А существует какая-либо специальная форма для записи, например в кванторах?

[Nikgamer]

В кванторах не знаю. Но существует запись, похожая на запись функций-таблиц, типа:
P(a,y)={ 0, если y=a
            1, иначе
ну фигурная скобка там длиннее, конечно, как в системах уравнений.

[Тата]

В кванторах не знаю. Но существует запись, похожая на запись функций-таблиц, типа:
P(a,y)={ 0, если y=a
            1, иначе
ну фигурная скобка там длиннее, конечно, как в системах уравнений.

Вы мне и так очень помогли, огромное человеческое спасибо!

[InfStudent]

Список кванторов найдете ссылка  Как и операции над ними, а вот квантор всеобщности ссылка. А так возьмите из инета книгу
А. В. Гладкий Введению в современную логику там все это довольно хорошо объясненено