законы Де Моргана и проч.
Работа добавлена на сайт samzan.net:
3. НЕКОТОРЫЕ ЗАКОНЫ ЛОГИКИ ПРЕДИКАТОВ
1. Все частные случаи тавтологий и тождественно-истинных формул (A=A, законы Де Моргана и проч.) логики высказываний являются общезначимыми формулами Л.П.
2. Взаимовыразимость кванторов:
∀αA ⇔ ¬∃α¬A
∃αA ⇔ ¬∀α¬A
3. Отрицание кванторов:
¬∀αA ⇔ ∃α¬A
¬∃αA ⇔ ∀α¬A
4. Перестановка кванторов:
∀α∀βA ⇔ ∀β∀αA
∃α∃βA ⇔ ∃β∃αA
∃α∀βA → ∀β∃αA
5. * Кванторные аксиомы:
∀αA → At, где At есть A(α/t)
At → ∃αA, где At есть A(α/t)
6. Вырожденные кванторы:
∀αA ⇔ A, если A не содержит свободных вхождений α (*)
∃αA ⇔ A, если A не содержит свободных вхождений α (*)
7. Законы пронесения и вынесения кванторов:
а) конъюнкция:
∀α(A ∧ B) ⇔ (∀αA ∧ ∀αB)
∃α(A ∧ B) → (∃αA ∧ ∃αB)
∃α(A ∧ B) ⇔ (A ∧ ∃αB), если A не содержит свободных вхождений α (*)
б) дизъюнкция:
∃α(A ∨ B) ⇔ (∃αA ∨ ∃αB)
(∀αA ∨ ∀αB) → ∀α(A ∨ B)
∀α(A ∨ B) ⇔ (A ∨ ∀αB), если А не содержит свободных вхождений α (*)
в) импликация:
∀α(A → B) → (∀αA → ∀αB)
∀α(A → B) ⇔ (A → ∀α B), если А не содержит свободных вхождений α (*)
∀α(A → B) ⇔ (∃αA → B), если B не содержит свободных вхождений α (*)
(∃αA → ∃αB) → ∃α(A → B)
∃α(A → B) ⇔ (A → ∃αB) , если А не содержит свободных вхождений α (*)
∃α(A → B) ⇔ (∀αA → B), если B не содержит свободных вхождений α (*).
Чтобы доказать общезначимость формулы <Ф> (например) , делаем предположение о необщезначимости формулы; говорим, что существует модель М при означивании v, в которых неверно, что <Ф>. Тогда , пользуясь определением истинности (один – для импл., другой – для эквив. и т.д.) и семантическими леммами, получаем несколько возможных вариантов. Если на выходе в варианте получилось противоречие, значит получить непротиворечивую модель M при означивании v, где <Ф> не является общезначимой, не удалось. Т.о. формула <Ф> истинна в любой модели М при любом означивании v, т.е. она общезначима (т.е. истинна вне зависимости от ?семантики).
Есть и другой путь доказательства. Например, закон взаимовыразимости кванторов ∀αA ⇔ ¬∃α¬A доказывается тем образом, что если нарисовать круг (формулу А), и сказать: «Любое α принадлежит А»
Для доказательства общезначимости кванторных аксиом требуется также лемма о формулах и означиваниях. Для доказательства законов логики предикатов, в которых оговаривается, что некоторая переменная не входит в ту или иную подформулу (*), потребуется лемма о переменных и означиваниях.
Лемма о формулах и означивании:
Пусть At – результат постановки в формулу А вместо свободной переменной α терма t. Обозначаем так: At=A(α/t). Тогда для любого терма t и любых означиваний v и v’ таких, что v’=v(α t[v]); имеет место
M, v’ |= A ⇔ M, v |= At.
Лемма о переменных и означиваниях:
Пусть формула А не содержит свободную переменную x, тогда для любого v’=v(α) имеет место
M, v |= A ⇔ M, v’ |= A.
2. НА ТЕМУ- Ресурсний потенціал розвитку спортивнооздоровчого туризму в Україніrdquo;
3. Вариант V 254.Отметьте особенности строения нервной системы ланцетника- 1
4. дипломная практика в ООО Либерти Введение Данная работа представляет аналитический отчет о прохожден
5. ОЛИМПИАДА Если одновременно участие в нескольких олимпиадах ~ заполнить строчки желаемых направлений
6. темами 2.5. Список рекомендованої літератури основна додаткова
7. .д. до 16384 а столбцам присваивается соответствие латинскому алфавиту B C и т
8. Модуль 5 Гармонические колебания
9. Тема- Перцептивная сторона общения Законы соответствия- а между вербальной и невербальной информацией; б м.html
10. тематики економіки та механіки Кафедра світового господарства і міжнародних економічних відносин
11. Что любят СМИ
12. докладов по специальности ldquo;Менеджментrdquo; по Теории менеджмента Организация и функционирование ма
13. РЕФЕРАТ дисертації на здобуття наукового ступеня кандидата педагогічних наук.html
14. Государственный пожарный надзор
15. «Униженные и оскорблённые» в творчестве Ф.М. Достоевского
16. тематизация процесса контроля в условиях ограничений частичной упорядоченности
17. Справочник специалиста по охране труда Несчастный случай со смертельным исходом произошел в ОАО 13 Элек
18. Вариант 1 1. Электрическое поле создается двумя разноименными точечными покоящимися зарядами q12 мКл и q28
19. КОНСПЕКТ ЛЕКЦИЙ ОСНОВЫ ЭКОНОМИКИ ПРЕДПРИЯТИЯ ЛЕКЦИЯ 1
20. ВАРИАНТ 1. Чему равна сила жевательных мышц на уровне резцов в кг-см2 b100 2.