Злічэнне выказванняў - Вікіпэдыя

# Злічэнне выказванняў

### Зьвесткі зь Вікіпэдыі — вольнай энцыкляпэдыі.

| Гэта — накід артыкула. Вы можаце дапамагчы Вікіпэдыі, напісаўшы яго, для гэтага націсьніце спасылку «Рэдагаваць».

Злічэ́нне выка́званняў ці выка́званняў злічэ́нне – асабісты выпадак злічэння, класы сімвалаў алфавіта якога могуць быць падзелены на класы: прапазіцыянальных сімвалаў, сімвалаў лагічных звязак і клас, які мае сімвалы адчыняючай і зачыняючай круглых дужак. Формулы ці тэксты фармальнай мовы (злічэння) логікі выказванняў падзяляюцца на простыя і складаныя. Кожны прапазіцыянальны сімвал разглядаецца як простая формула. Індуктыўна, з дапамогай сімвалаў класаў лагічных звязак, круглых дужак і ўжо пабудаваных формул можна будаваць новыя складаныя формулы.

Мноства аксіём логікі выказванняў можа быць бясконцым, як у выпадку фармалізацыі па Гільберту, так – і пустым. У апошнім выпадку патрабуецца больш правілаў вываду – для магчымасці вываду для кожнай лагічнай звязкі формул, якія яе ўтрымліваюць – выпадак фармалізацыі па Генцэну.

Атрымана з «http://be.wikipedia.org../../../%D0%B7/%D0%BB/%D1%96/%D0%97%D0%BB%D1%96%D1%87%D1%8D%D0%BD%D0%BD%D0%B5_%D0%B2%D1%8B%D0%BA%D0%B0%D0%B7%D0%B2%D0%B0%D0%BD%D0%BD%D1%8F%D1%9E.html»

Катэгорыі: Накіды | Матэматычная лёгіка

##### Views

- Артыкул
- Гутаркі
- Бягучая вэрсія

##### Пошук

##### На іншых мовах

- العربية
- Deutsch
- English
- Español
- Eesti
- Français
- עברית
- Magyar
- Italiano
- Nederlands
- Norsk (bokmål)
- Polski
- Русский
- Svenska
- ไทย
- 中文