Логика и теория аргументации. Скачков А.С. - 178 стр.

    2. Вычислите значение формулы (¬((¬x∨y)∧z)⊃r), если значения переменной
    x — истинно, y — ложно, z — ложно, r — истинно.
    3. Назовите методы установления причинной связи.
    4. Формулой (а⊃а) фиксируется закон:
    a) поглощения; b) тождества; c) утверждения консеквента; d) закон де Моргана.
    5. К ошибкам в основаниях (аргументах) доказательства не относится:
    a) порочный круг; b) мнимое следование; c) основное заблуждение; d) ни од-
на из этих.
    6. По объему понятия не делятся:
    a) на несравнимые; b) пустые; c) общие; d) единичные.
    7. Дайте определение термину «логическое следование» и приведите по два
примера рассуждений, в которых 1) логическое следование отсутствует, 2) логи-
ческое следование наличествует.
    8. Формула (¬∀хА≡∃х¬А) выражает закон:
    a) подчинения; b) отрицания кванторов; c) исключенного третьего; d) закон
непустоты предметной области.
    9. Приведите пример строгой аналогии свойств.
    10. К какому элементу структуры аргументации относится и в чём заключает-
ся ошибка, выраженная фразой «Этот человек мудр, потому что очень стар».
    11. Выделите из высказывания «Некоторые любят рассуждать о завтрашнем
дне, не помня ничего из дня минувшего» элементарные суждения, укажите эле-
менты их логической структуры и круговыми схемами изобразите отношения
терминов.
    12. Докажите, что: ∃xA∨∃x¬A.
    13. Подберите высказывание, соответствующее формуле, приведённой в пре-
дыдущем задании, и выделите в нём все семантические категории.
    14. Какая из схем непосредственного силлогистического умозаключения соот-
ветствует «превращению»:

a)      S есть P              b)   S есть P          c)       S есть P              d)       S есть P
     __________________            ___________            ___________________            ___________________
                          ;                      ;                              ;                              .
     S не есть не-P                P есть S               не-P не есть S                 P не есть не-S

   15. Установите распределённость терминов следующих суждений: 1) Ни один
невежда не является человеком без самомнения; 2) Всё доброе следует вознагра-
ждать добром.
   16. В чём заключается общее и в чём — различное в субъектном и объектном
значениях логики?
   17. Сформулируйте правило IV фигуры простого категорического силлогизма.
   18. Дайте определение гипотетико-дедуктивного метода.

                       Перечень основных символов
                     классической формальной логики

     • a ∧ b, a ⋅ b, a & b, “a и b” — конъюнкция;
                                          178