Партнерка на США и Канаду по недвижимости, выплаты в крипто

  • 30% recurring commission
  • Выплаты в USDT
  • Вывод каждую неделю
  • Комиссия до 5 лет за каждого referral

Сначала определим области истинности исходных предикатов.
На множестве N четные числа имеют вид: ,

а числа, кратные 3: .

Пересечение этих областей и явится решением задачи:

.

8. Пользуясь равносильностями, найти отрицание формулы

.

Возьмем отрицание всей формулы и используем замену кванторов
по первой основной равносильности предикатов: .

А теперь используем равносильность (вторая группа равносильных формул алгебры логики): .

Следовательно: .

9. Пусть функция f(x) определена на множестве R. На языке логики предикатов записать определение: функция f(x) называется четной, если область ее определения симметрична относительно начала координат и для каждого x из этой области справедливо равенство .

Здесь задача заключается в переводе текстовой формулировки на язык предикатов. С помощью квантора:

Функция f(x) называется четной, если .

С целью более глубокого изучения темы выполните следующие задания:

1. Определив истинность или ложность высказываний:

,

решить задачи 1.1‑1.5.

1.1. Определить истинность или ложность предложений и .

1.2. Определить истинность или ложность предложений и .

1.3. Определить истинность или ложность предложений и .

1.4. Определить логическое значение формулы

.

1.5. Определить логическое значение формулы

.

2. Для произвольных высказываний p, q и r решить задачи 2.1‑2.4.

2.1. Построить таблицу истинности для формулы .

2.2. Построить таблицу истинности для формулы .

2.3. Является ли тавтологией или противоречием формула

?

2.4. Является ли тавтологией или противоречием формула

?

3. Даны предикаты : «x – нечетное число» и : «x – делится на 10». Найти область истинности предикатов и , если исходные предикаты определены на множестве N.

& Литература: 6, 26.


информатика
и математика

Программа курса.
Практические задания

Редактор

Макет, верстка

Корректор

Лицензия ИД № 000 от 25.01.00. Подписано в печать 12.10.2011
Формат 60×84 1/16. Усл. печ. л. 3,0. Изд. № 000

Издательство МИЭП, типография МИЭП
105082 Москва, Рубцовская наб., д. 3, стр. 1

 

Из за большого объема этот материал размещен на нескольких страницах:
1 2 3 4 5 6 7 8 9 10 11 12 13 14