Главная страница
Навигация по странице:

  • А.М. Кабанов

  • Ррр. Основные понятия математической логики


    Скачать 2.23 Mb.
    НазваниеОсновные понятия математической логики
    Дата03.10.2022
    Размер2.23 Mb.
    Формат файлаdoc
    Имя файлаege15.doc
    ТипЗакон
    #710566
    страница47 из 48
    1   ...   40   41   42   43   44   45   46   47   48

    (y ≤ ((x – 4)2 + 2 + |(x – 2)2 – 16| )) ≡ ((y ≤ 2x2 – 12x + A) (y ≤ – 4x + B))


    тождественно истинно при любых целых неотрицательных x и y. В ответе запишите их сумму.

    1. (А. Богданов) Для какого наибольшего целого числа A выражение

    (A < x) \/ (A < y) \/ (A < 101 − xy)


    тождественно истинно при любых целых x и y?

    1. (А.Н. Носкин) Сколько существует различных комбинаций натуральных значений x и y, при которых истинно выражение 

    ¬( ((x > 1) ((x + y) ≥ 6)) (y ≥ 5) )


    1. (А.Н. Носкин) Сколько существует различных комбинаций неотрицательных целых значений x и y, при которых истинно выражение 

    ¬( ((x > 6) ((x + y) ≥ 5)) (y ≥ 5) )


    1. (А.Н. Носкин) Сколько существует различных комбинаций неотрицательных целых значений x и y, при которых истинно выражение 

    ¬( (x > 5) ((x + y) ≥ 4) (y ≥ 5) )


    1. (А.М. Кабанов) Для какого наименьшего целого неотрицательного числа А выражение

    (x > 7) (y > 4) (x2 + 3y < A)


    тождественно истинно, т.е. принимает значение 1 при любых целых неотрицательных x и y

    1. (А.М. Кабанов) Для какого наименьшего целого неотрицательного числа А выражение

    (x > 4) (x + 2 < y) (x2 + y2 < A)


    тождественно истинно, т.е. принимает значение 1 при любых целых неотрицательных x и y

    1. (А.М. Кабанов) Для какого наименьшего целого неотрицательного числа А выражение

    (x2 3x + 2 > 0) (y > x2+7) (xy < A)


    тождественно истинно, т.е. принимает значение 1 при любых целых неотрицательных x и y

    1. (А.М. Кабанов) Для какого наименьшего целого неотрицательного числа А выражение
    1   ...   40   41   42   43   44   45   46   47   48


    написать администратору сайта