Предикат p(x):”x делится на 3»; предикат Q(x): “x есть действительное число»; предикат R(x):”x есть рациональное число»; предикаь T(x):»y меньше x”.Запишите следующие утверждения ,используя кванторы: a)каждое рациональное сисло есть действительное число;
Б)существует число,которые делится на 3;
В)Для каждого числа х существует такое число y,что х>y
Пошаговое объяснение:
A ) ( ∀x ∈ R(x) ) → ( x ∈ Q(x) ) ;
Б ) ( ⊃x ∈ Q(x) ) → ( x ∈ P(x) ) ; ТУТ символ ⊃ означає " існує "
В ) ( ∀х ∈ R(x) ⊃ y ∈ R(x) ) → ( x > y ) . ТУТ символ ⊃ означає " існує "