Квантор

Квантор — общее название для логических операций, которые по предикату \ P(x) строят высказывание, характеризующее область истинности предиката \ P(x). В математической логике наиболее употребительны кванторы всеобщности \forall и квантор существования \exists:

  • Высказывание \forall xP(x) означает, что область истинности предиката P(x) совпадает с областью значений переменной x.
  • Высказывание \exists xP(x) означает, что область истинности предиката P(x) непуста.
 
Начальная страница  » 
А Б В Г Д Е Ж З И Й К Л М Н О П Р С Т У Ф Х Ц Ч Ш Щ Ы Э Ю Я
A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
0 1 2 3 4 5 6 7 8 9 Home