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