Злічэнне выказванняў
Зьвесткі зь Вікіпэдыі — вольнай энцыкляпэдыі.
![]() |
Гэта — накід артыкула. Вы можаце дапамагчы Вікіпэдыі, напісаўшы яго, для гэтага націсьніце спасылку «Рэдагаваць». |
Злічэ́нне выка́званняў ці выка́званняў злічэ́нне – асабісты выпадак злічэння, класы сімвалаў алфавіта якога могуць быць падзелены на класы: прапазіцыянальных сімвалаў, сімвалаў лагічных звязак і клас, які мае сімвалы адчыняючай і зачыняючай круглых дужак. Формулы ці тэксты фармальнай мовы (злічэння) логікі выказванняў падзяляюцца на простыя і складаныя. Кожны прапазіцыянальны сімвал разглядаецца як простая формула. Індуктыўна, з дапамогай сімвалаў класаў лагічных звязак, круглых дужак і ўжо пабудаваных формул можна будаваць новыя складаныя формулы.
Мноства аксіём логікі выказванняў можа быць бясконцым, як у выпадку фармалізацыі па Гільберту, так – і пустым. У апошнім выпадку патрабуецца больш правілаў вываду – для магчымасці вываду для кожнай лагічнай звязкі формул, якія яе ўтрымліваюць – выпадак фармалізацыі па Генцэну.