Аналітичні тести до модуля 9

1. Формалізуйте умовиводи і перевірте їх правильність за допомогою таблиць істинності:

а) якщо бухта замерзає, то кораблі не можуть зайти до неї. Зараз ко­раблі не можуть зайти до бухти.

b) К.К. нс буде чемпіоном, якщо він не виграє цю партію. Але К.К. виграв цю партію. Отже, він став чемпіоном.

2. За структурою схем визначте, які з них є правильними виводами:

3. Зробіть тс саме, що і в завданні 1:

а) будь-яке атрибутивне судження с або загальним, або частковим, або одиничним. Цс судження-одиничне. Отже, воно не є ні загальним, ні частковим.

Ь) цей чоловік військовий або юрист. Але він - військовий. Отже, він не юрист.

4. Перевірте правильність виводу лише за структурою: