Артикул: 1106144

Раздел:Технические дисциплины (69244 шт.) >
  Математика (25111 шт.) >
  Математическая логика (173 шт.)

Название или условие:
Система аксиом. Аксиома выбора. Лемма Цорна. (контрольная работа)

Описание:
Содержание
Введение…….3
§1. Система аксиом….4
1. Аксиома объемности……6
2. Аксиома пары…6
3. Аксиома пустого множества…6
4. Аксиомы существования классов……8
5. Аксиома объединения….14
6. Аксиома множества всех подмножеств…14
7. Аксиома выделения….15
8. Аксиома замещения……16
9. Аксиома бесконечности…..16
§2. Аксиома выбора. Лемма Цорна….19
Заключение…22
Список литературы...23


Процесс покупки очень прост и состоит всего из пары действий:
1. После нажатия кнопки «Купить» вы перейдете на сайт платежной системы, где можете выбрать наиболее удобный для вас способ оплаты (банковские карты, электронные деньги, с баланса мобильного телефона, через банкоматы, терминалы, в салонах сотовой связи и множество других способов)
2. После успешной оплаты нажмите ссылку «Вернуться в магазин» и вы снова окажетесь на странице описания задачи, где вместо зеленой кнопки «Купить» будет синяя кнопка «Скачать»
3. Если вы оплатили, но по каким-то причинам не смогли скачать заказ (например, случайно закрылось окно), то просто сообщите нам на почту или в чате артикул задачи, способ и время оплаты и мы отправим вам файл.
Условия доставки:
Получение файла осуществляется самостоятельно по ссылке, которая генерируется после оплаты. В случае технических сбоев или ошибок мозно обратиться к администраторам в чате или на электронную почту и файл будет вам отправлен.
Условия отказа от заказа:
Отказаться возможно в случае несоответсвия поулченного файла его описанию на странице заказа.
Возврат денежных средств осуществляется администраторами сайта по заявке в чате или на электронной почте в течении суток.

Похожие задания:

На числовой прямой даны три отрезка P=[10, 15], Q=[5, 20] и R=[15, 25]. Выберите такой отрезок A, что выражения (x ∉ A) → (x ∈ P) и (x ∈ Q) → (x ∈ R) принимают разные значения при любом значении переменной x (кроме, возможно, конечного количества точек)
1) [7,20]
2) [2,15]
3) [5,12]
4) [20,25]
На числовой прямой даны два отрезка: P = [41, 61] и Q = [11, 91]. Выберите такой отрезок A, что формула ((x ∈ P) → (x ∈ А)) ∧ ((x ∈ A) → (x ∈ Q)) тождествен-но истинна, то есть принимает значение 1 при любом значении переменной х. Если таких отрезков несколько, укажите тот, который имеет большую длину.
1) [7, 43]
2) [7, 73]
3) [37, 53]
4) [37, 63]
На числовой прямой даны два отрезка: P = [10, 20] и Q = [5, 15]. Выберите такой отрезок A, что формула ((x ∈ Q) → (x ∈ P) ) ∧ (x ∈ A) тождественно ложна, то есть принимает значение 0 при любом значении переменной х.
1) [0, 6]
2) [5, 8]
3) [7, 15]
4) [12, 20]
Постройте СДНФ, СКНФ и МДНФ для булевых функций, заданных таблично:
Результаты опроса 1 000 случайно отобранных молодых людей таковы
Определить, содержится ли в этой информации ошибка.

Для какого из приведенных чисел Х истинно логическое условие: ¶ ((Х кратно 5) → (Х кратно 25))?
1) 37
2) 59
3) 65
4) 125
На числовой прямой даны два отрезка: P = [10, 30] и Q = [20, 40]. Выберите такой отрезок A, что формула (x ∈ A) → ((x ∈ P) ≡ (x ∈ Q)) тождественно истинна, то есть принимает значение 1 при любом значении переменной х. Если таких отрезков несколько, укажите тот, который имеет большую длину.
1) [10, 19]
2) [21, 29]
3) [31, 39]
4) [9, 41]
Составить таблицу истинности для функции
Дан фрагмент таблицы истинности выражения F
Каким выражением может быть F?
1) x1 /\ x2 /\ x3 /\ x4 /\ x5 /\ x6 /\ x7 /\ x8
2) x1 \/ x2 \/ x3 \/ x4 \/ x5 \/ x6 \/ x7 \/ x8
3) x1 /\ x2 /\ x3 /\ x4 /\ x5 /\ x6 /\ x7 /\ x8
4) x1 \/ x2 \/ x3 \/ x4 \/ x5 \/ x6 \/ x7 \/ x8

Доказать, что формула G является логическим следствием формул F1, F2, F3, F4: