Правила прохождения (логика) - Rules of passage (logic)
В математическая логика, то правила проезда управлять как кванторы распределить по основным логические связки из логика первого порядка. Правила прохождения регулируют «прохождение» (перевод) из любого формула логики первого порядка к эквивалент формула в пренекс нормальная форма, наоборот.
Правила
См. Quine (1982: 119, гл. 23). Позволять Q и Q ' обозначают ∀ и ∃ или наоборот. β обозначает замкнутую формулу, в которой Икс не появляются. Затем правила перехода включают следующие предложения, основной связкой которых является двухусловный:
![Qx [lnot alpha (x)] leftrightarrow lnot Q'x [alpha (x)].](https://wikimedia.org/api/rest_v1/media/math/render/svg/b961999c3968f88576f63d40c72b70e62e173674)
|
|
![{displaystyle Qx [eta lor alpha (x)] leftrightarrow (eta lor Qxalpha (x)).}](https://wikimedia.org/api/rest_v1/media/math/render/svg/d65c2767d0661c2096f9155b96cc49342b1ca398)
![{displaystyle существует x [альфа (x) или гамма (x)] влево-вправо (существует xalpha (x) или существует xgamma (x)).}](https://wikimedia.org/api/rest_v1/media/math/render/svg/8f675624fa68829b757547e555842d8d5a09f899)
![{displaystyle Qx [eta land alpha (x)] leftrightarrow (eta land Qxalpha (x)).}](https://wikimedia.org/api/rest_v1/media/math/render/svg/c521f5a8a1674c6fa22d3ed82e878ca8e0719236)
![forall x, [alpha (x) land gamma (x)] leftrightarrow (forall x, alpha (x) land forall x, gamma (x)).](https://wikimedia.org/api/rest_v1/media/math/render/svg/14022047c6c7f720dcf0fe10a7025da873826f99)
Следующие условные предложения также могут быть приняты в качестве правил отрывка:
![{displaystyle существует x [альфа (x) земля, гамма (x)] ightarrow (существует xalpha (x) земля существует xgamma (x)).}](https://wikimedia.org/api/rest_v1/media/math/render/svg/52c0f8feae0cbe98c9d578df99cbb16635bbbff6)
![{displaystyle (forall x, alpha (x) lor forall x, gamma (x)) ightarrow forall x, [alpha (x) lor gamma (x)].}](https://wikimedia.org/api/rest_v1/media/math/render/svg/edf3154c7ac26391c17d9c5e3daa1441fe4a37be)
![{displaystyle (существует x, alpha (x) земля для всех x, gamma (x)) ightarrow существует x, [alpha (x) land gamma (x)].}](https://wikimedia.org/api/rest_v1/media/math/render/svg/130c2724d84bd81615ea1f2775c97572e965253e)
«Правила перехода» впервые появились на французском языке в трудах Жак Эрбранд. Куайн использовал английский перевод фразы в каждом издании своего Методы логики, начиная с 1950 г.
Смотрите также
Рекомендации
- Уиллард Куайн, 1982. Методы логики, 4-е изд. Harvard Univ. Нажмите.
- Жан Ван Хейеноорт, 1967. От Фреге до Гёделя: Справочник по математической логике. Harvard Univ. Нажмите.
внешняя ссылка
- Стэнфордская энциклопедия философии: "Классическая логика - Стюарт Шапиро.
 | Этот логика -связанная статья является заглушка. Вы можете помочь Википедии расширяя это. |