- •Распрацаваў
- •Рэцэнзенты
- •Тэматычны план
- •Тэматычны план
- •Змест курса Тэма 1. Прадмет і значэнне логікі
- •Тэма 2. Імёны
- •Тэма 3. Выказванні
- •Тэма 4. Сілагістычныя вывады
- •Тэма 5. Недэдуктыўныя (імаверныя) вывады
- •Тэма 6. Мадальнасці
- •Тэма 6. Законы логікі
- •Тэма 7. Логіка і зносіны
- •Літаратура
- •Планы семінарскіх заняткаў Тэма 1. Імёны
- •Тэма 2. Выказванне
- •Тэма 3. Сілагістычныя вывады
- •Д а д а т к і
- •Вучэбныя матэрыялы
- •Дадатак 1
- •Пытанні да заліку
- •Асноўныя тыпы задач
- •Дадатак 3 Тэматыка рэфератаў
- •Тэставыя заданні
- •Дадатак 5 Слоўнік асноўных лагічных паняццяў
- •Дадатак 6 Асноўныя сімвалічныя абазначэнні
- •220007, Мінск, вул. Рабкораўская, 17.
- •220007, Г.Мінск, вул. Рабкораўская, 17.
Дадатак 6 Асноўныя сімвалічныя абазначэнні
У працэсе развіцця логікі былі распрацаваныя розныя сістэмы сімвалічных абазначэнняў. Найчасцей на дадзены момант ужываецца наступная сістэма лагічных сімвалаў.
A, B, C, D… – сімвалічнае абазначэнне класаў прадметаў, а таксама выказванняў безадносна да іх структуры.
a, b, c, d... – сімвалічнае абазначэнне простых выказванняў, а таксама імёнаў- індывідуалій.
х – сімвалічнае абазначэнне квантара існавання.
х – сімвалічнае абазначэнне квантара ўсеагульнасці.
¬ – сімвалічнае абазначэнне адмаўлення.
– сімвалічнае абазначэнне кан’юнкцыі.
– сімвалічнае абазначэнне дыз’юнкцыі (нястрогай).
– сімвалічнае абазначэнне імплікацыі.
– сімвалічнае абазначэнне эквіваленцыі.
– сімвалічнае абазначэнне аперацыі лагічнага складання.
– сімвалічнае абазначэнне аперацыі лагічнага множання.
- ; / – сімвалічныя абазначэнні аперацыі выключэння з класа.
– сімвал, які ўводзіць заключэнне ў вывадах; адпавядае моўным выразам “значыцца” або “такім чынам”.
Вучэбнае выданне
ЛОГІКА
Праграма курса
і вучэбныя матэрыялы
Рэдактары Л.Ц.Спірыдонава, І.В.Смяян,
Камп’ютэрная вёрстка А.У.Гіцкай
Падпісана ў друк . Фармат 60×841/16.
Папера пісчая № 2. Ум. друк. арк. 1,99. Ул.- выд. арк. 1,54.
Тыраж экз. Заказ
Беларускі дзяржаўны універсітэт культуры і мастацтваў
220007, Мінск, вул. Рабкораўская, 17.
Ліцэнзія 02330 / 0131818 ад 2.06.2006 г.
Надрукавана на рызографе
Беларускага дзяржаўнага універсітэта культуры і мастацтваў
220007, Г.Мінск, вул. Рабкораўская, 17.
Ліцэнзія ЛП № 496 ад 25.06.2002 г.
Логика: учебная программа для высших учебных заведений / сост.: В.Ф. Берков, Я.С. Яскевич [и др.]. – Мн.: РИВШ БГУ, 2000. – С.3.
Указваюцца бібліятэкі Беларусі, у якіх можна атрымаць дадзеныя кніжкі.