Логіка

Mer som dette

речення

Ved Саша Віннічук

Виконання операцій в Пролог-програмах

Ved Herasimov Oleksandr

Висловлювання

Ved Вікторія Гімбер

Карти знань

Ved Дмитро Борлюк

Логіка

Висловлювання

речення, що виражає судження

Судження

частковозаперечні

частковостверджувальні

загальнозаперечні

загальностверджувальні

це така форма мислення, яка відображає зв'язок між предметом та його ознакою.

Поняття - це форма мислення, в якій узагальнюються та виділяються предмети й явища того або іншого класу за більш або менш суттєвими ознаками.

Несумісні

протиріччя

протилежності

співпідпорядкування

Сумісні

перетину

підпорядкування

тотожні

Непорівнянні

Порівнянні

абстрактне

конкретне

збірне

одиничне

загальне

порожнє

непорожнє

Ім'я - вираз формалізованої мови, що позначає окремий предмет чи клас предметів.

Дедуктивне міркування - це міркування, в якому між засновниками і висновком існує відношення логічного слідування.

неповна індукція

"повна індукція"

структура операцій поділу

Правила поділу:

Поділ повинен бути послідовним

Члени поділу повинні виключати один одного

Поділ слід здійснювати за однією підставою

Поділ поняття повинен бути співмірним

Види:

дихотомічний поділ

за видозмінюваною ознакою

Складається із:

члени поділу

підстави поділу

ділене поняття

Міркування - логічний засіб здобування нового знання

Неправильні

Правильні

Етапи розвитку:

сучасний

традиційний