матлогика

.doc

Скачиваний:

Добавлен:

24.03.2015

Размер:

37.89 Кб

Скачать

☆

1. Определение формулы алгебры высказываний.+8

2 Таблицы истинности для формул алгебры высказываний.+9

3 Законы равносильности формул в алгебре высказываний.--1

4 Полнота систем логических связок.++

5 Конъюнктивные и дизъюнктивные нормальные формы связок. +15

6 Система аксиом исчисления высказываний.+17

7 Лемма A-->A.--2

8 Понятие вывода в исчислении высказываний.+20

9 Лемма A-->(B-->C), B выводится A -->C.--3

10 Лемма A-->B,B-->C выводится A-->C.--4

11 Теорема о дедукции.+23

12 Леммы о выводимости B--> \neg \neg B, \neg \neg B -->B.--5

13 Леммы о выводимости (A-->B)-->(\neg B -->\neg A).--6

14 Лемма о выводимости A -->[\neg B -->\neg (A -->B)].--7

15 Лемма о полноте Кальмара.+28

1 Теорема полноты для исчисления высказываний.+29

2 Система аксиом для исчисления предикатов.+33

3 Правила вывода в исчислении предикатов.+34

4 Равносильность формул. Равносильные формулы в исчислении предикатов. --8

5 Доказательство общезначимости доказуемых формул исчисления высказываний.--9

6 Теорема о перестановочности универсальных кванторов.--10

7 Теорема о полноте исчисления предикатов.+39

8 Формальная система модели (N,+,*,=).--11

9 Система одноместных предикатов, формульно определимых в арифметике. +41

10 Система двухместных предикатов, формульно определимых в арифметике. +42

11 Система двухместных операций формульно определимых в арифметике. +43

12 Определимость констант 0,1,2,.. в моделях не менее сильных чем следование.--12

13 Отношения взаимной простоты и делимости.+46

14 Операция exp, определимость в ней сложения и умножения. +47

15 Неопределимость сложения в умножении чисел.--13

Соседние файлы в предмете [НЕСОРТИРОВАННОЕ]