WikiDer > Әмбебап инстанция
| Трансформация ережелері |
|---|
| Ұсыныс есебі |
| Қорытынды шығару ережелері |
| Ауыстыру ережелері |
| Логиканы болжау |
Жылы предикаттық логика, әмбебап инстанция[1][2][3] (UI; деп те аталады әмбебап спецификация немесе әмбебап жою, кейде шатастырады dictum de omni) Бұл жарамды қорытынды жасау ережесі индивидтер класының әрбір мүшесі туралы шындықтан бастап сол таптың белгілі бір жеке адамы туралы шындыққа дейін. Ол әдетте а түрінде беріледі сандық ереже үшін әмбебап квантор бірақ оны ан түрінде кодтауға болады аксиома схемасы. Бұл қолданылған негізгі қағидалардың бірі сандық теория.
Мысалы: «Барлық иттер - сүтқоректілер. Фидо - ит. Сондықтан Фидо - сүтқоректілер.»
Рәміздерде аксиома схемасы болып табылады
әрбір формула үшін A және әр тоқсан а, қайда нәтижесі болып табылады ауыстыру а әрқайсысы үшін Тегін пайда болуы х жылы A. болып табылады данасы туралы
Ал қорытынды жасау ережесі бойынша
- ⊢ ∀ бастапх A қорытынды шығару ⊢ A(а/х),
бірге A(а/х) жоғарыдағы сияқты.
Ирвинг Копи әмбебап инстанция «...келесіден ережелерінің нұсқаларытабиғи шегерім', олар тәуелсіз түрде ойлап тапты Герхард Гентцен және Станислав Янковский 1934 жылы ». [4]
Квине
Сәйкес Виллард Ван Орман Квин, әмбебап инстанция және экзистенциалды жалпылау бір принциптің екі аспектісі, өйткені «saying» дегеннің орнынах х = х«білдіреді» Сократ = Сократ «, біз» Сократ ≠ Сократ «дегенді жоққа шығаруды» ∃ білдіреді «деп те айтуға болады.х х ≠ х«. Осы екі операцияда қамтылған принцип - арасындағы байланыс сандық көрсеткіштер және олармен инстанция ретінде байланысты сингулярлық тұжырымдар. Бұл тек ілтипаттылықпен принцип. Ол термин атаулары болған жағдайда ғана, және, бұдан басқа, пайда болады сілтеме бойынша.[5]
Сондай-ақ қараңыз
Әдебиеттер тізімі
- ^ Ирвинг М.Копи; Карл Коэн; Кеннет Макмахон (қараша 2010). Логикаға кіріспе. Pearson білімі. ISBN 978-0205820375.[бет қажет]
- ^ Херли[толық дәйексөз қажет]
- ^ Мур және Паркер[толық дәйексөз қажет]
- ^ Копи, Ирвинг М. (1979). Символикалық логика, 5-ші шығарылым, Prentice Hall, Жоғарғы седле өзені, NJ
- ^ Виллард Ван Орман Квин; Роджер Ф. Гибсон (2008). «V.24. Анықтама және модальдық». Квинтессенция. Кембридж, Массачусетс: Гарнард Университетінің Белнап баспасы. OCLC 728954096. Мұнда: б. 366.