Студенческий документ № 00112704 из СПбГУ

Пользователь пт, 18.05.2018 18:04

Образец Учебный курс "Логика" (Второй семестр) Контрольная работа №2 1) Определить к какому классу принадлежит формула, используя метод аналитических таблиц ((p?q)?((s??q)?r)) 2) Используя приведение к соответствующей нормальной форме показать, является ли формула тождественно истинной

((p??q)?((s?q)?r)) 3) Используя приведение к соответствующей нормальной форме показать, является ли формула тождественно ложной ((p??q)?((s?q)?r)) 4) Найти все следствия формулы ((p??q)?((s?q)?r)) 5) Найти все простые следствия формулы

((p??q)?((s?q)?r)) 6) Найти все гипотезы формулы ((p??q)?((s?q)?r)) 7) Найти все простые гипотезы формулы ((p??q)?((s?q)?r) 8) Доказать в позитивной системе ((p?q)?p)?p 9) Доказать в слабой системе ((p?q)??(p?q))??p

10) Доказать в квазисильной системе ((p?q)??(p?q))?r 11) Доказать в сильной системе ?? (?p??q)? (p?q) 12) Объяснить почему эквивалентны или не эквивалентны следующие две формулы, и, если они не эквивалентны, какие минимальные изменения второй формулы сделают их эквивалентными

х ? y (P(x) ? Q(x, y)) ? ? х T(x) и ? z ? x (P(z) ? R(z, x)) ? ? y T(y) 13) Записать на языке логики предикатов: "Каждая контрольная работа очень проста для одних и чрезвычайно сложна для других"

Скачать файлы