Основные понятия математической логики
Скачать 2.32 Mb.
|
( (x 9) (xx A) ) ( (yy A) (y < 10) )тождественно истинна (то есть принимает значение 1 при любых целых неотрицательных значениях переменных x и y)?Сколько существует целых значений А, при которых формула ( (yy < A) (y 8) ) ( (x 5) (xx A) )тождественно истинна (то есть принимает значение 1 при любых целых неотрицательных значениях переменных x и y)?Сколько существует целых значений А, при которых формула ( (x < 10) (xx < A) ) ( (yy A) (y < 12) )тождественно истинна (то есть принимает значение 1 при любых целых неотрицательных значениях переменных x и y)?Сколько существует целых значений А, при которых формула ( (x < 3) (xx A) ) ( (yy < A) (y < 6) )тождественно истинна (то есть принимает значение 1 при любых целых неотрицательных значениях переменных x и y)?Сколько существует целых значений А, при которых формула ( (x 10) (xx < A) ) ( (yy A) (y < 15) )тождественно истинна (то есть принимает значение 1 при любых целых неотрицательных значениях переменных x и y)?Сколько существует целых значений А, при которых формула |