1) Если x^3 < 10, то (x+1)^3 > 20. Это верно при x = 2. 2^3 < 10, 3^3 > 20 2) Если x(x+1) > 10, то (x+1)(x+2) < 10. Это верно при x = -4 (-4)(-3) = 12 > 10; (-3)(-2) = 6 < 10 Но при x = 2 будет ложная посылка (2*3 > 10 - это ложно), из которой следует ложный вывод 3*4 < 10. Поэтому импликация верна. ответ x = 2 3) Если x(x+1)(x+2) > 25, то x < x-1 Это сложнее. x < x-1 - ложно при любом х. Импликация будет истинной, только если посылка ложная. x(x+1)(x+2) > 25 - должно быть ложно. Это при x = 2. x(x+1)(x+2) = 2*3*4 = 24.
Абак - счётные доски для вычислений в Древней Греции, Древнем Риме, Древнем Китае и т.д.
Арифмометр - настольная или портативная механическая вычислительная машина.
Перфокарта - носитель информации. Тонкий картон с отверстиями или без них в определённых местах.
Транзистор - полупроводниковое устройство, которое используется для усиления, генерации и преобразования электрических сигналов. Транзисторы заменили вакуумные лампы в большинстве электронных устройств, свершив революцию в создании интегральных схем и компьютеров.
ЭНИАК – первая электронная вычислительная машина.
Бэббидж Чарлз - изобретатель первой аналитической вычислительной машины.
Лавлейс Ада - написала первые программы для аналитической вычислительной машины Беббиджа.
Лейбниц - предложил двоичную систему счисления, автор первой механической счётной машины производившей сложение, вычитание, умножение и деление чисел.
Возняк Стив - один из основателей компании Apple. Разработал первый массовый домашний компьютер и первый массовый персональный компьютер.
Холлерит Герман - создатель электрической статистической табулирующей системы (оборудования для работы с перфокартами).
Непер Джон - изобретатель логарифмов, для их вычисления он предложил устройство под названием «палочки Непера».
Шиккард Вильгельм - придумал «Считающие часы», первый арифмометр, умевший выполнять четыре арифметических действия.
Паскаль Блез - автор первой механической счётной машины, выполнявшей сложение и вычитание чисел. (Паскаль - один из наиболее известных языков программирования.)
Лебедева Сергей - под его руководством была создана МЭСМ (малая электронная счётная машина).
2^3 < 10, 3^3 > 20
2) Если x(x+1) > 10, то (x+1)(x+2) < 10. Это верно при x = -4
(-4)(-3) = 12 > 10; (-3)(-2) = 6 < 10
Но при x = 2 будет ложная посылка (2*3 > 10 - это ложно),
из которой следует ложный вывод 3*4 < 10.
Поэтому импликация верна. ответ x = 2
3) Если x(x+1)(x+2) > 25, то x < x-1
Это сложнее. x < x-1 - ложно при любом х.
Импликация будет истинной, только если посылка ложная.
x(x+1)(x+2) > 25 - должно быть ложно. Это при x = 2.
x(x+1)(x+2) = 2*3*4 = 24.
Смотри картинку
Объяснение:
Крестик - начало слова, стрелка - конец.
Абак - счётные доски для вычислений в Древней Греции, Древнем Риме, Древнем Китае и т.д.
Арифмометр - настольная или портативная механическая вычислительная машина.
Перфокарта - носитель информации. Тонкий картон с отверстиями или без них в определённых местах.
Транзистор - полупроводниковое устройство, которое используется для усиления, генерации и преобразования электрических сигналов. Транзисторы заменили вакуумные лампы в большинстве электронных устройств, свершив революцию в создании интегральных схем и компьютеров.
ЭНИАК – первая электронная вычислительная машина.
Бэббидж Чарлз - изобретатель первой аналитической вычислительной машины.
Лавлейс Ада - написала первые программы для аналитической вычислительной машины Беббиджа.
Лейбниц - предложил двоичную систему счисления, автор первой механической счётной машины производившей сложение, вычитание, умножение и деление чисел.
Возняк Стив - один из основателей компании Apple. Разработал первый массовый домашний компьютер и первый массовый персональный компьютер.
Холлерит Герман - создатель электрической статистической табулирующей системы (оборудования для работы с перфокартами).
Непер Джон - изобретатель логарифмов, для их вычисления он предложил устройство под названием «палочки Непера».
Шиккард Вильгельм - придумал «Считающие часы», первый арифмометр, умевший выполнять четыре арифметических действия.
Паскаль Блез - автор первой механической счётной машины, выполнявшей сложение и вычитание чисел. (Паскаль - один из наиболее известных языков программирования.)
Лебедева Сергей - под его руководством была создана МЭСМ (малая электронная счётная машина).