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