Логіка

Plus de détails

Комп'ютер і здоров'я

par Назар Бодак

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

par Herasimov Oleksandr

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

par Elena Lyt

Карти знань

par Орлова Орлова

Логіка

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

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

Судження

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

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

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

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

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

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

Несумісні

протиріччя

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

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

Сумісні

перетину

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

тотожні

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

Порівнянні

абстрактне

конкретне

збірне

одиничне

загальне

порожнє

непорожнє

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

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

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

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

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

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

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

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

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

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

Види:

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

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

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

члени поділу

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

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

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

Неправильні

Правильні

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

сучасний

традиційний