АвтоАвтоматизацияАрхитектураАстрономияАудитБиологияБухгалтерияВоенное делоГенетикаГеографияГеологияГосударствоДомДругоеЖурналистика и СМИИзобретательствоИностранные языкиИнформатикаИскусствоИсторияКомпьютерыКулинарияКультураЛексикологияЛитератураЛогикаМаркетингМатематикаМашиностроениеМедицинаМенеджментМеталлы и СваркаМеханикаМузыкаНаселениеОбразованиеОхрана безопасности жизниОхрана ТрудаПедагогикаПолитикаПравоПриборостроениеПрограммированиеПроизводствоПромышленностьПсихологияРадиоРегилияСвязьСоциологияСпортСтандартизацияСтроительствоТехнологииТорговляТуризмФизикаФизиологияФилософияФинансыХимияХозяйствоЦеннообразованиеЧерчениеЭкологияЭконометрикаЭкономикаЭлектроникаЮриспунденкция

Билет 33

Читайте также:
  1. БИЛЕТ 1
  2. Билет 1
  3. БИЛЕТ 1
  4. Билет 1
  5. Билет 1
  6. Билет 1
  7. Билет 1
  8. Билет 1
  9. Билет 1 Восточные славяне. Расселение, основные занятия, религия. Военная демократия.
  10. Билет 1(Эволюция взглядов на предмет экономической теории. Микроэкономика и макроэкономика. Экономическая теория и экономическая политика.)
  11. Билет 1.
  12. Билет 1. Предмет истории как науки: цели и задачи ее изучения

«Исчисления высказываний. Пример вывода теоремы».

Исчисление высказываний – один из методов формализации логики высказываний.

Алфавит.

1) ,

2) Набор переменных x1,…,xn

3) Скобки, запятые.

Аксиомы.

1. А А)

2. (А С)) ((А В) С))

3. ( В А) (( В А) В)

Формулы.

1) Все переменные Хi – формулы.

2) Если А и В – формулы, то ( А) и (А В) – формулы.

Правило вывода.

Единственное правило вывода – modus ponens. Пусть имеются три формулы: А, А В и В. Тогда про формулу В будем говорить, что она получается по правилу вывода из формул А и А В. Это правило вывода записывается как А,А В.

В

Или так: (А В)) В. Из тождественно-истинного выражения (посылок) выводится по правилу m.p. тождественно-истинное выражение. Посылки т.и. следовательно, заключение тоже т.и.

Т.к. в алфавите присутствуют только и , то все остальные выводятся так:

1) А В В)

2) А В А В

3) А~В ((В А) В))


1 | 2 | 3 | 4 | 5 | 6 | 7 | 8 | 9 | 10 | 11 | 12 | 13 | 14 | 15 | 16 | 17 | 18 | 19 | 20 | 21 | 22 | 23 | 24 | 25 | 26 | 27 | 28 | 29 | 30 |

Поиск по сайту:



Все материалы представленные на сайте исключительно с целью ознакомления читателями и не преследуют коммерческих целей или нарушение авторских прав. Студалл.Орг (0.004 сек.)