Как называют запись вида ?
(Отметьте один правильный вариант ответа.)
Варианты ответа
логическая эквивалентность
транзитивность
квантор существования
квантор общности(Верный ответ)