Правила трансформации |
---|
Исчисление высказываний |
Правила вывода |
Правила замены |
Логика предикатов |
Экспорт [1] [2] [3] [4] - допустимое правило замены в логике высказываний . Правило позволяет заменять условные утверждения, имеющие конъюнктивные антецеденты , утверждениями, имеющими условные следствия, и наоборот в логических доказательствах . Это правило:
Где " " - металогический символ, представляющий "может быть заменен в доказательстве на".
Формальные обозначения [ править ]
Экспортирование правило может быть записано в секвенции записи:
где представляет собой металогическое символ означает , что это синтаксический эквивалент из в какой - то логической системе ;
или в форме правила :
- ,
где правило таково, что везде, где в строке доказательства появляется " ", его можно заменить на " " и наоборот;
или как утверждение функциональной тавтологии истинности или теоремы логики высказываний:
где , и суждения, выраженные в некоторой логической системе .
Естественный язык [ править ]
Истинные ценности [ править ]
В любой момент, если P → Q истинно, его можно заменить на P → (P∧Q).
Один из возможных случаев P → Q - это истинность P и истинность Q; таким образом, P∧Q также верно, и P → (P∧Q) верно.
Другой возможный случай устанавливает P как ложное, а Q как истинное. Таким образом, P∧Q ложно, а P → (P∧Q) ложно; ложь → ложь верно.
Последний случай имеет место, когда и P, и Q ложны. Таким образом, P∧Q ложно, а P → (P∧Q) истинно.
Пример [ править ]
Идет дождь и светит солнце - это значит, что есть радуга.
Таким образом, если идет дождь, то светит солнце означает, что есть радуга.
Если моя машина включена, когда я переключаю передачу на D, машина трогается с места. Если моя машина включена и я переключил передачу на D, машина должна тронуться с места.
Доказательство [ править ]
Следующее доказательство использует Материальную Импликацию , двойное отрицание , Законы Де Моргана , отрицание условного утверждения, ассоциативное свойство конъюнкции, отрицание другого условного утверждения и снова двойное отрицание в указанном порядке для получения результата.
Предложение | Вывод |
---|---|
Дано | |
Материальное значение | |
Материальное значение | |
Ассоциативность | |
Закон де Моргана | |
Материальное значение |
Отношение к функциям [ править ]
Экспорт связан с каррированием через переписку Карри – Ховарда .
Ссылки [ править ]
- ^ Херли, Патрик (1991). Краткое введение в логику 4-е издание . Издательство Wadsworth. С. 364–5.
- ^ Копи, Ирвинг М .; Коэн, Карл (2005). Введение в логику . Прентис Холл. п. 371.
- ^ Мур и Паркер
- ^ http://www.philosophypages.com/lg/e11b.htm