Дадатак 6 Асноўныя сімвалічныя абазначэнні

У працэсе развіцця логікі былі распрацаваныя розныя сістэмы сімвалічных абазначэнняў. Найчасцей на дадзены момант ужываецца наступная сістэма лагічных сімвалаў.

A, B, C, D… – сімвалічнае абазначэнне класаў прадметаў, а таксама выказванняў безадносна да іх структуры.

a, b, c, d... – сімвалічнае абазначэнне простых выказванняў, а таксама імёнаў- індывідуалій.

х – сімвалічнае абазначэнне квантара існавання.

х – сімвалічнае абазначэнне квантара ўсеагульнасці.

¬ – сімвалічнае абазначэнне адмаўлення.

– сімвалічнае абазначэнне кан’юнкцыі.

 – сімвалічнае абазначэнне дыз’юнкцыі (нястрогай).

 – сімвалічнае абазначэнне імплікацыі.

 – сімвалічнае абазначэнне эквіваленцыі.

 – сімвалічнае абазначэнне аперацыі лагічнага складання.

 – сімвалічнае абазначэнне аперацыі лагічнага множання.

- ; / – сімвалічныя абазначэнні аперацыі выключэння з класа.

 – сімвал, які ўводзіць заключэнне ў вывадах; адпавядае моўным выразам “значыцца” або “такім чынам”.

Вучэбнае выданне

ЛОГІКА

Праграма курса

і вучэбныя матэрыялы

Рэдактары Л.Ц.Спірыдонава, І.В.Смяян,

Камп’ютэрная вёрстка А.У.Гіцкай

Падпісана ў друк . Фармат 60×84¹/₁₆.

Папера пісчая № 2. Ум. друк. арк. 1,99. Ул.- выд. арк. 1,54.

Тыраж экз. Заказ

Беларускі дзяржаўны універсітэт культуры і мастацтваў

220007, Мінск, вул. Рабкораўская, 17.

Ліцэнзія 02330 / 0131818 ад 2.06.2006 г.

Надрукавана на рызографе

Беларускага дзяржаўнага універсітэта культуры і мастацтваў

220007, Г.Мінск, вул. Рабкораўская, 17.

Ліцэнзія ЛП № 496 ад 25.06.2002 г.

 Логика: учебная программа для высших учебных заведений / сост.: В.Ф. Берков, Я.С. Яскевич [и др.]. – Мн.: РИВШ БГУ, 2000. – С.3.

 Указваюцца бібліятэкі Беларусі, у якіх можна атрымаць дадзеныя кніжкі.

36