Логіка

Mere som dette

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

af Herasimov Oleksandr

речення

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

Депресія

af Дмитро Андрійович Ардашов

карти знань

af Ivan Melnyk

Логіка

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

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

Судження

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

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

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

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

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

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

Несумісні

протиріччя

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

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

Сумісні

перетину

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

тотожні

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

Порівнянні

абстрактне

конкретне

збірне

одиничне

загальне

порожнє

непорожнє

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

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

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

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

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

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

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

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

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

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

Види:

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

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

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

члени поділу

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

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

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

Неправильні

Правильні

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

сучасний

традиційний