Логіка

Mai multe ca aceasta

Льюїс Керролл "Аліса в Дивокраї "

după Oleksandr Pereima

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

după Herasimov Oleksandr

Навіщо нам карти пам'яті

după Elena Lyt

карти знань

după Ivan Melnyk

Логіка

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

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

Судження

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

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

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

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

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

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

Несумісні

протиріччя

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

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

Сумісні

перетину

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

тотожні

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

Порівнянні

абстрактне

конкретне

збірне

одиничне

загальне

порожнє

непорожнє

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

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

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

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

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

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

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

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

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

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

Види:

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

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

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

члени поділу

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

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

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

Неправильні

Правильні

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

сучасний

традиційний