Квантор

логічний оператор, що описує співвідношення між суб’єктом і предикатом, обмежує область істинності певного предиката й створює висловлення; найчастіше вживають квантор загальності («кожен», «всі», «будь-який») і квантор існування («існує», «є»)