Логика. Разумов В.И. - 12 стр.

     8. a ⊃ (a ∨ b).                                                     Метод остатков:
     9. ((a ⊃ b) ∧ a) ⊃b.                                                       При условиях А В С возникают события аbc
     10. ((a ∨ b) ∧ ¬a) ⊃b.                                                                В вызывает событие b
     Законы взаимовыразимости пропозициональных связок.                                    C вызывает событие c
     (A⊃B)≡(¬A∨B),                                                               Вероятно, фактор А есть причина события a
     (A⊃B)≡¬(A∧¬B),
     (A∧B)≡ ¬(A⊃¬B),
                                                                                        ВОПРОСЫ ДЛЯ ЭКЗАМЕНА
     (A∧B)≡ ¬(¬A∨¬B),
     (A∨B)≡( ¬A⊃ B),                                                      1. Возникновение логики и основные этапы в ее становлении. Оп-
     (A∨B)≡¬(¬A∧¬B),                                               ределение предмета формальной логики. Связь логики с наукой, образова-
     (A∨B)≡((A⊃B)⊃B).                                              нием, техникой.
                                                                          2. Понятие о логической форме. Понятие, суждение, умозаключе-
               ИНДУКТИВНЫЕ УМОЗАКЛЮЧЕНИЯ                           ние как важнейшие формы логического мышления.
                                                                          3. Понятие и его связь со словом, именем, классом. Объем и содер-
     Индуктивные умозаключения, полученные методами установления   жание понятия, закономерность, выражающая их соотношение.
причинных связей Дж.Ст. Милля.                                            4. Виды понятий, определения каждого из видов, примеры.
     Метод сходства:                                                      5. Совместимость и несовместимость понятий. Сравнение понятий
             При условиях А В С D возникает событие а              по объему с помощью круговых схем Эйлера.
             При условиях Е G A R возникает событие а                     6. Деление понятий: дихотомическое и по видообразующему при-
              При условиях F K A T возникает событие а             знаку. Правила деления. Ошибки деления.
             Вероятно, фактор А есть причина события a                    7. Понятие класса в логике, класс и множество. Универсальный класс,
                                                                   класс, дополнение, нулевой и пустой классы, их определения и свойства.
     Метод различия:                                                      8. Триадическая схема образования и анализа понятия в системе:
             При условиях А В С D возникает событие а              универсум, класс, дополнение. Понятия необходимого и достаточного ус-
             При условиях В С D не возникает событие а             ловия. Образование понятия в триадической схеме.
             Вероятно, фактор А есть причина события a                    9. Операции над классами. Объединение (сложение), пересечение
                                                                   (умножение), разность, дополнение (отрицание) классов. Представление в
     Объединенный метод сходства и различия:                       соответствующих формулах и схемах.
               При условиях ABC возникает событие а                     10. Законы логики классов: определения, формулы.
              При условиях MFA возникает событие а                      11. Определение (дефиниция) понятий. Виды и правила определе-
              При условиях MBA возникает событие а                 ния. Ошибки в определениях. Алгоритм определения понятия.
              При условиях BC не возникает событие а                    12. Логика высказываний. Определение логических символов и логи-
              При условиях MF не возникает событие а               ческой формулы. Понятие правильно построенной, тожественно-истинной,
              При условиях MB не возникает событие а               тождественно-ложной, выполнимой формул. Примеры.
             Вероятно, фактор А есть причина события a                  13. Суждение как форма логического мышления. Суждения и пред-
     Метод сопутствующих изменений:                                ложения. Логическая структура суждений. Суждения атрибутивные, отно-
            При условиях А’ В С D возникает событие а’             шения, экзистенциальные (существования).
            При условиях А’’ В С D возникает событие а’’                14. Классификация суждений по качеству и количеству. Логические
           При условиях А’’’ В С D возникает событие а’’’          формы общеутвердительных, общеотрицательных, частноутвердительных,
             Вероятно, фактор А есть причина события a             частноотрицательных суждений и их символическая запись.

                                 23                                                                   24