Контрольна робота по логіки за 1 курс НАСБУ

Содержание:1. До якого виду умовиводів належать такі міркування: А) Залізо – тверде тіло; Мідь – тверде тіло; Золото – тверде тіло; Платина – тверде тіло. Ймовірно, всі метали – тверді тіла. 2. Скільки і яких категоричних висловлювань необхідно, щоб точно виразити зображення на діаграмі Ейлера відношенню трьох термінів? 3. Молекула (А → В) ≡ і, а (А ↔ В) ≡ 0. Яке значення істинності (В → А) ≡ ? 4. Подані категоричні висловлювання сформулюйте у вигляді імплікацій (умовних висловлювань): 5. Визначте кількість та якість таких висловлювань, звівши їх до одного з чотирьох типів: A (SP), E (SP), I (SP), O (SP). 6. Відносно поданих понять знайдіть найближчі, більші та менші за обсягом: