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