Математическая логика
Логика-это наука, изучающая формы и законы мышления, закономерности мыслительного процесса.
Высказывания. Классификация высказываний.
Определение логических операций
Моделирование логической структуры правовой нормы
Логические формулы. Таблицы истинности.
Равносильные логические формулы.
Понятие тавтологии. Законы логики.
442.50K
Category: mathematicsmathematics

Математическая логика

1. Математическая логика

Единственное средство улучшить наши
умозаключения состоит в том, чтобы
сделать их столь же наглядными, как и у
математиков, - такими, что их ошибочность
можно было бы увидеть глазами, и если
между людьми возникают разногласия,
достаточно было бы только сказать
«Вычислим!», чтобы без дальнейших
околичностей стало ясно, кто прав.
Г.В.Лейбниц
Математическая
логика
900igr.net

2. Логика-это наука, изучающая формы и законы мышления, закономерности мыслительного процесса.

Логика высказываний- раздел логики, в
котором вопрос об истинности или
ложности высказываний рассматривается и
решается на основе изучения способа
построения высказываний из элементарных с
помощью логических связок.

3. Высказывания. Классификация высказываний.

Высказыванием называется всякое утверждение
(повествовательное предложение), про которое
всегда определённо и объективно можно сказать,
является ли оно истинным или ложным.
Высказывания:
1.Абсолютно истинные
2. Абсолютно ложные
логические константы
Высказывания обозначаются заглавными
латинскими буквами: А, В, С и т. д.

4.

А – «Волга впадает в Каспийское море»
В – «3 больше 5»
А=1
В=0
Высказывания, которые нельзя разбить на еще
более мелкие, называются простыми, а
сконструированные при помощи логических
связок – сложными.

5. Определение логических операций

Операция отрицания
(операция “не”)
Операция отрицания
делает истинное
высказывание
ложным и ,наоборот,
ложное – истинным.
А
А
0
1
1
0

6.

Дизъюнкция высказываний
Соответствует «или». Обозначается А В.
«Грабеж может быть совершен с применением
физического или психического насилия».
Дизъюнкция А В –
сложное
высказывание, которое
ложно тогда и только
тогда, когда оба
высказывания А и В
одновременно ложны.
А
В
A B
1
1
1
1
0
1
0
1
1
0
0
0

7.

Конъюнкция высказываний
Соответствует «и». Обозначается А В.
«Это преступление наказывается лишением
свободы и конфискацией имущества».
Конъюнкция А В
A B
А
В
– сложное
высказывание,
1
1
1
которое истинно
1
0
0
тогда и только
тогда, когда оба
0
1
0
высказывания А и В
0
0
0
одновременно
истинны.

8.

Импликация высказываний
Соответствует объединению двух высказываний
с помощью союза «если …, то …» Обозначается
А В.«Если банк отказывает в принятии документов
..., то он обязан незамедлительно
проинформировать об этом получателя средств».
Импликация
высказываний А и В
(А В) – сложное
высказывание, которое
истинно всегда, кроме
случая когда А –
истинно, а В – ложно.
А
В
A B
1
1
1
1
0
0
0
1
1
0
0
1

9.

Эквивалентность высказываний
Читается: "А эквивалентно В". Обозначается А В.
«Деяние кража равносильно тайному хищению
чужого имущества».
Эквивалентность
А В
А
В
высказываний А и В
1
1
1
(А В) – сложное
высказывание, которое
1
0
0
истинно, когда А и В
одновременно либо
0
1
0
истинны– истинно,
или ложны и ложно во
0
0
1
всех других случаях.

10. Моделирование логической структуры правовой нормы

Логическая структура правовой нормы:
N= (( J→D ) ^ ( J ^ D ))→ S ,
где J- условие действия нормы права; D- правовое
предписание; S- санкция.
Структура норм уголовного права:
(P≡Q)→S
P-конкретный состав преступления; Qсовокупность признаков этого состава; Sсанкция, установленная за совершение
определённого преступления.

11. Логические формулы. Таблицы истинности.

A→B C ;
(A↔A B )→B ^ A и т.д.
Такие высказывания называются логическими
формулами или булевыми функциями , а
входящие в них простые высказываниялогическими переменными. Символы ¬ ‚ ^ , ,
→ , ↔ называют логическими связками.

12.

Таблица истинности - перебор всех возможных
комбинаций значений простых высказываний,
из которых состоит сложное, и указание
соответствующих значений сложного
высказывания.

13. Равносильные логические формулы.

Две логические формулы называются
равносильными, если при любых значениях
входящих в них логических переменных эти
формулы принимают одинаковые значения.
Равносильность формул обозначается с помощью
знака ≡ : A↔B≡(A→B)^(B→A).

14. Понятие тавтологии. Законы логики.

Если формула принимает значение «истина», то
есть 1, при любых значениях входящих в неё
логических переменных, то такая логическая
формула называется тождественно истинная
или тавтология.
Факт, что высказывание А является тавтологией,
обозначается так |=А.
Сложное высказывание называется тождественно
ложным, если оно принимает значение «ложь»
при любых значениях входящих в него простых
высказываний. То есть, если |=А, то А тождественно ложно.

15.

1.Закон силлогизма
|=[(A→B)^(B→C)]→(A→C).
Если из высказывания А следует В , а из
высказывания В следует С, то можно
заключить, что из А следует С.
2.Modus ponens.
|=[A^(A→B)]→B.
Если А – истинно и из А следует В, то В также
будет истинно.
3. Закон контрапозиции.
|=(A→B)↔(B→A).
Следование из высказывания А высказывания
В равносильно тому, что из не В следует не
А.

16.

4.Закон исключения третьего.
|=A A.
Для любого высказывания А или само
высказывание А истинно, или его отрицание.
5.Закон противоречия.
|=А^A.
Для любого высказывания А неверно, что
одновременно истинны и само А, и его
отрицание (не А).
6.Закон двойного отрицания.
|=А ↔ A.
Отрицание от отрицания равносильно самому
высказыванию.
English     Русский Rules