
- •1. Выяснить, является ли рассуждение правильным:
- •7. Методом резолюций проверить следующее соотношение:
- •8. Проанализировать рассуждение:
- •1. Выяснить, является ли рассуждение правильным:
- •8. Проанализировать рассуждение:
- •1. Выяснить, является ли рассуждение правильным:
- •3. Логическая задача:
- •7. Методом резолюций проверить следующее соотношение:
- •8. Проанализировать рассуждение:
- •1. Выяснить, является ли рассуждение правильным:
- •8. Проанализировать рассуждение:
- •1. Выяснить, является ли рассуждение правильным:
- •7. Методом резолюций проверить следующее соотношение:
- •8. Проанализировать рассуждение:
- •1. Выяснить, является ли рассуждение правильным:
- •3. Логическая задача:
- •8. Проанализировать рассуждение:
- •1. Выяснить, является ли рассуждение правильным:
- •7. Методом резолюций проверить следующее соотношение:
- •8. Проанализировать рассуждение:
- •1. Выяснить, является ли рассуждение правильным:
- •8. Проанализировать рассуждение:
- •1. Выяснить, является ли рассуждение правильным:
- •7. Методом резолюций проверить следующее соотношение:
- •8. Проанализировать рассуждение:
- •1. Выяснить, является ли рассуждение правильным:
- •8. Проанализировать рассуждение:
- •1. Выяснить, является ли рассуждение правильным:
- •7. Методом резолюций проверить следующее соотношение:
- •8. Проанализировать рассуждение:
- •1. Выяснить, является ли рассуждение правильным:
- •8. Проанализировать рассуждение:
- •1. Выяснить, является ли рассуждение правильным:
- •7. Методом резолюций проверить следующее соотношение:
- •8. Проанализировать рассуждение:
- •1. Выяснить, является ли рассуждение правильным:
- •8. Проанализировать рассуждение:
- •1. Выяснить, является ли рассуждение правильным:
- •7. Методом резолюций проверить следующее соотношение:
- •8. Проанализировать рассуждение:
- •1. Выяснить, является ли рассуждение правильным:
- •8. Проанализировать рассуждение:
- •1. Выяснить, является ли рассуждение правильным:
- •3. Логическая задача:
- •7. Методом резолюций проверить следующее соотношение:
- •8. Проанализировать рассуждение:
- •1. Выяснить, является ли рассуждение правильным:
- •3. Логическая задача:
- •8. Проанализировать рассуждение:
- •1. Выяснить, является ли рассуждение правильным:
- •6. Найдите равносильную приведенную форму
- •8. Проанализировать рассуждение:
- •1. Выяснить, является ли рассуждение правильным:
- •8. Проанализировать рассуждение:
1. Выяснить, является ли рассуждение правильным:
Если я поеду автобусом, а автобус опоздает, то я пропущу назначенное свидание. Если я пропущу назначенное свидание и начну огорчаться, то мне не следует ехать домой. Если я не получу работу, то я начну огорчаться и мне следует поехать домой. Следует ли тогда, что если я поеду автобусом и автобус опоздает, то я получу работу?
2. Найдите недостающую посылку (формулу) F, зависящую лишь от указанных пропозициональных переменных так, чтобы была верна следующая выводимость:
├
;
3. Логическая задача:
Четыре подруги пришли на каток каждая со своим братом. Они разбились на пары и начали кататься. Оказалось, что в каждой паре “кавалер” выше “дамы”, и никто не катается со своей сестрой. Самый высокий из компании Юра Воробьев, следующий по ростуАндрей Егоров, потом Люся Егорова, Сережа Петров, Оля Петрова, Дима Крымов, Инна Крымова и Аня Воробьева. Кто с кем катается?
4. Доказать Утверждение 8: |-A(B(AB))
5.ПустьЕ (х)означает «хчетное число», D (x,
y)«хделиту» или «уделится
нах». Переведите на русский язык
следующие символические записи на языке
алгебры предикатов, учитывая, что
переменныехиупробегают
множество натуральных чисел:;
8. Проанализировать рассуждение:
9. Найти результат применения итерациимашины Т к слову Р по паре состояний (q0,qi) (заключительными состояниями являютсяq0 иq0’ )i=1,P=13k+2,k>=1
|
q1 |
q2 |
q3 |
q4 |
q5 |
0 |
q0 0 S |
q4 0 S |
q5 0 S |
q4 1 R |
q0’ 0 R |
1 |
q2 0 R |
q3 0 R |
q1 0 R |
- |
- |
10.Постройте машину Тьюринга(называемую «удвоение»
и обозначаемую Г), которая перерабатывает
слово в
слово
,
причем в начальном и конечном положении
обозревается крайняя левая ячейка.