Зачётная работа (СИБИТ)

1. Дать определение следующим понятиям:
а) стул
б) закон
в) государство

2. В следующих суждениях определить субъект, предикат и связку, а так же привести их к канонической форме:
а) Вода, имеющая 80ºС при атмосферном давлении, не кипит.
б) Ничто не вечно под луной.
в) Что в лоб, что по лбу.

3. Выделить в сложном суждении простые исходные суждения и привести сложное суждение к символической форме.
а) Если я не ошибаюсь, логика – простая наука.
б) Мал золотник, да дорог.
в) Когда самолёт терпит аварию, то лётчик либо катапультируется, либо пытается посадить самолёт.

4. Построить таблицы истинности для следующих сложных суждений, представленных в символической форме:

5. Сделать вывод посредством превращения из следующих посылок:
а) Каждый воин должен понимать свой манёвр.
б) Вселенная бесконечна.
в) Некоторые грибы не являются съедобными.

6. Сделать вывод посредством обращения из следующих посылок:
а) Каждый воин должен понимать свой манёвр.
б) Вселенная бесконечна.
в) Некоторые грибы не являются съедобными.

7. Сделать вывод посредством противопоставления предикату из следующих посылок:
а) Каждый воин должен понимать свой манёвр.
б) Вселенная бесконечна.
в) Некоторые грибы не являются съедобными.

8. Сделать вывод по правилам простого категорического силлогизма (если это возможно) из следующих посылок. Если вывод сделать невозможно – указать причину.
а) Я совершил прогулку. Я чувствую себя лучше.
б) Те, кто не стар, любят ходить пешком. Ни Вы, ни я не стары.
в) Ни одно жирное животное не может бегать быстро. Некоторые гончие бегают быстро.