Логіка

Mai multe ca aceasta

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

după Herasimov Oleksandr

карти знань

după Ivan Melnyk

речення

după Саша Віннічук

Карти знань

după d d

Логіка

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

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

Судження

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

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

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

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

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

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

Несумісні

протиріччя

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

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

Сумісні

перетину

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

тотожні

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

Порівнянні

абстрактне

конкретне

збірне

одиничне

загальне

порожнє

непорожнє

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

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

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

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

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

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

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

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

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

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

Види:

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

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

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

члени поділу

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

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

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

Неправильні

Правильні

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

сучасний

традиційний