Студопедия
Случайная страница | ТОМ-1 | ТОМ-2 | ТОМ-3
АрхитектураБиологияГеографияДругоеИностранные языки
ИнформатикаИсторияКультураЛитератураМатематика
МедицинаМеханикаОбразованиеОхрана трудаПедагогика
ПолитикаПравоПрограммированиеПсихологияРелигия
СоциологияСпортСтроительствоФизикаФилософия
ФинансыХимияЭкологияЭкономикаЭлектроника

V. Решить задачу

Общезначимость теорем. Непротиворечивость L | Полнота теории L | Понятие предиката. | Простейшие логические операции над предикатами. | Операции квантификации. | Предикатные формулы. | Язык алгебры предикатов. | Понятие об исчислении предикатов. | ИНДИВИДУАЛЬНЫЕ ЗАДАНИЯ №1 | IV.Некоторые задачи |


Читайте также:
  1. Как решить кадровые проблемы.
  2. Как решить проблему нарушенного пищевого поведения у ребенка
  3. Как решить проблемы в детском саду
  4. Неверие в то, что можно быстро решить свои гигантские проблемы за несколько часов
  5. ОТВЕТ НА ЗАДАЧУ 07/2013-ФТ1
  6. Ответ на проблемно – ситуационную фото задачу №13.

 

1. Доказать, что если формула логики предикатов – тавтология, то – тавтология.

2. Пусть содержит только х и является тавтологией. Доказать, что – тавтология. Верно ли обратное утверждение?

3. Сколько имеется различных k -местных предикатов на n -элементном множестве?

4. Доказать, что из выполнимости формулы следует выполнимость формулы .

5. Показать, что выполнима тогда и только тогда, когда не тождественно истинная формула.

6. Показать, что если свободна для у, то .

7. Показать, что если свободна для у, то .

8. Доказать, что если формула логики предикатов – тавтология, то – тавтология.

9. Пусть не содержит свободно х, – формула, тогда если , то .

10. Пусть не содержит свободно х, – формула, тогда если , то .

11. Доказать, что если формула логики предикатов – тавтология, то – тавтология.

12. Доказать, что – тавтология тогда и только тогда, когда не выполнима.

13. Доказать, что если содержит свободно только х и является тавтологией, то – тавтология.

14. Доказать, что бескванторная формула является тавтологией тогда и только тогда, когда она получается подстановкой из тавтологии алгебры высказываний.

15. Сколько имеется различных n -местных предикатов на 2-элементном множестве?

16. Доказать, что если формула логики предикатов – тавтология, то – тавтология.

17. Доказать, что из выполнимости формулы следует выполнимость .

18. Доказать, что если , то .

19. Пусть содержит свободно только х, и . Доказать, что . Верно ли обратное?

20. Пусть и содержит свободно только х, тогда .

21. Доказать, что если , то .

22. Доказать, что если , то .

23. Доказать, что если свободна для у, то .

24. Доказать, что тогда и только тогда, когда тождественно ложна.


ДОПОЛНИТЕЛЬНЫЕ ВОПРОСЫ

1. Найти все эквивалентности и частичные порядки на множестве .

2. Образуют ли группу все отношения на множестве М, если в качестве операции берется композиция отношений?

3. Доказать, что пропозициональная формула от n переменных является тавтологией тогда и только тогда, когда ее совершенная дизъюнктивная нормальная форма содержит 2n дизъюнктивных членов.

4. Доказать, что если – пропозициональная формула, то .

5. Доказать или опровергнуть, что: а) ; б) .

6. Доказать, что для любых пропозициональных формул, если , то .

7. Доказать, что тогда и только тогда, когда .

8. Доказать, что для любых пропозициональных формул, если , то .

9. Построить выводы в теории L:
а) ;
б) ;
в) .

10. Доказать, что бескванторная формула тождественно истинна тогда и только тогда, когда она может быть получена подстановкой из некоторой тавтологии алгебры высказываний.

11. Для предиката найти равносильный, который не содержит кванторов.

12. Являются ли формулы

а) ;
б)

тавтологиями?

13. Пусть – два одноместных предиката, определенные на множестве М такие, что высказывание истинно. Доказать, что высказывание – ложно.

14. Для трехместного предиката с помощью кванторов и построить все соответствующие ему высказывания. Выяснить их истинность.


ЛИТЕРАТУРА

1. Столл Р. Множества. Логика. Аксиоматическая теория. – М.: Просвещение, 1968. – 231 с.

2. Мендельсон Э. Введение в математическую логику. – М.:Наука, 1971, – 320с.

3. Мощенский В.А. Лекции по математической логике. – Минск: Изд-во Беларус. ун-та, 1973. – 159. с.

4. Эдельман С.Л. Математическая логика. – М.: Высш. школа, 1975. – 172 с.

5. Ершов Ю.Л., Палютин Е.А. Математическая логика. – М.:Наука, 1979. – 320с.

6. Новиков П.С. Элементы математической логики. – М.: Изд-во физ. – мат. лит., 1959. – 288с.

7. Клини С.К. Математическая логика. – М.: Мир, 1973. – 480 с.

8. Калужин Л.А. Что такое математическая логика. – М.:Наука, 1964. – 151с.

9. Лавров И.А., Максимова Л.Л. Задачи по теории множеств, математической логики и теории алгоритмов. – М.:Наука, 1975. – 240с.


Дата добавления: 2015-11-14; просмотров: 44 | Нарушение авторских прав


<== предыдущая страница | следующая страница ==>
III. Применение кванторов| Развивающие и творческие задания: В протоколе воспроизвести и заполнить таблицу

mybiblioteka.su - 2015-2024 год. (0.008 сек.)