.) p align="justify">. Яка класифікація простих атрибутивних суджень? (Загальні, общеотріцательние, частноутвердітельние, частноотріцательние)
. Де використовується "аксіоми класичного числення"? (В логіці предикатів)
. Коли кон'юнкція істина? (Коли обидва входять до кон'юнкцію висловлювання істинними)
. Коли кон'юнкція помилкова? (Коли хоча б одне з висловлювань входять до кон'юнкцію хибно)
. Чи можна змінювати тезу? (Теза повинна залишатися незмінним протягом усього докази)
. Чому операцію диз'юнкція ще називають "логічною операцією АБО"? (По своєму застосуванню максимально наближена до союзу "або" в сенсі "або те, або це, або обидва відразу")
2.2 Онтологія бази знань проектованої інтелектуальної системи
Специфікація ключових елементів бази знань проектованої інтелектуальної системи:
Абсолютні поняття:
В· Предикат
Визначення: це характеристична функція деякого відносини, яка характеризує кожну в'язку декартова твори істинністю у разі, якщо ця зв'язка належить відношенню і хибністю, якщо не належить.
Синоніми: predicate
Розбиття множини: тотожно-істинний, тотожно-помилковий.
Приклад: Сократ - людина
В· Поняття
Визначення: поняття - відображене в мисленні єдність істотних властивостей <# "justify"> В· Судження
Визначення: судження - форма мислення <# "justify"> В· полісіллогізм
Визначення: полісіллогізм - умовивід, що представляє собою кінцеву послідовність ("ланцюжок") силогізмів, яка задовольняє деяким певним умовам.
Синоніми: polisillogizm.
Розбиття множини: прогресивний, регресивний.
Приклад: Всі живі істоти смертні
Всі хребетні мають червоне кров.
Всі ссавці суть хребетні.
Всі ссавці мають червону кров.
Всі ссавці мають червону кров.
Всі хижі суть ссавці.
Всі хижі мають червоне кров.
В· Умовивід
Визначення: умовивід - це розумова структура, в якій з двох істинних вихідних суджень (посилок) на підставі певної логічного зв'язку між ними формується нове істинне судження.
Синоніми: conclusion.
Розбиття множини: дедуктивний, індуктивний, безпосереднє, опосредственное.
Приклад: Смоленськ північніш...
