Кванторы.

Квантор — общее название для логических операций, ограничивающих область истинности какого-либо предиката. Чаще всего упоминают квантор всеобщности (обозначение: , читается: «для всех…», «для любого…» или «любой…») и квантор существования (обозначение: , читается: «существует…» или «найдётся…»). В математической логике приписывание квантора к формуле называется связыванием или навешиванием квантора. Существует также квантор плюральности (квантор Решера) W (перевёрнутая M). Wx означает " для большинства x".

Квантор — В логике предикатов, большое значение имеют 2-е операции называемые:

1. Квантор «Существования»

2. Квантор «Общности»

· Высказывание означает, что область истинности предиката P (x) совпадает с областью значений переменной x.

(«При всех значениях (x) утверждение верно»).

· Высказывание означает, что область истинности предиката P (x) непуста.

(«Существует (x) при котором утверждение верно»).