Ход урока.

Актуализация опорных знаний.

а) Беседа.

1. Что изучает формальная логика?

2. Что изучает математическая логика?

3. Изложите основные этапы развития логики.

4. Области применения математической логики.

5. Что такое высказывание?

6. Какие высказывания бывают?

7. Какие высказывания называются простыми, а какие - сложными?

Что не является высказыванием? Основные логические операции и их свойства.

б) Тест.

20 Вопросов

1. Кто является основоположником математической логики:

   1. Аристотель;

   2. Декарт Рене;

   3. Лейбниц Г.В.;

   4. Джордж Буль. 4

2. Слово "логика" обозначает

   1. форму мышления, в которой отражаются признаки предмета;

   2. совокупность правил, которым подчиняется процесс мышления;

   3. мысль, к которой что-то утверждается или отрицается;

   4. прием мышления, когда из исходного знания получается новое знание. 2

3. Понятие - это ...

   1. форму мышления, в которой отражаются существенные признаки предмета;

   2. совокупность правил, которым подчиняется процесс мышления;

   3. мысль, к которой что-то утверждается или отрицается;

   4. прием мышления, когда из исходного знания получается новое знание. 1

4. Суждение - это ...

   1. форму мышления, в которой отражаются признаки предмета;

   2. совокупность правил, которым подчиняется процесс мышления;

   3. мысль, к которой что-то утверждается или отрицается;

   4. прием мышления, когда из исходного знания получается новое знание. 3

5. Умозаключение - это ...

   1. форму мышления, в которой отражаются признаки предмета;

   2. совокупность правил, которым подчиняется процесс мышления;

   3. мысль, к которой что-то утверждается или отрицается;

   4. прием мышления, когда из исходного знания получается новое знание. 4

6. Наука о законах и формах правильного мышления - это

   1. женская логика;

   2. формальная логика;

   3. шахматная логика;

   4. математическая логика. 2

7. Наука о логических связях и отношениях, лежащих в основе дедуктивного вывода - это

   1. женская логика;

   2. формальная логика;

   3. шахматная логика;

   4. математическая логика. 4

8. Рассуждение, в котором из заданных двух суждений выводится третье - это

   1. высказывание;

   2. силлогизм;

   3. понятие;

   4. логика. 2

9. Повествовательное предложение, относительно которого можно сказать истинно оно или ложно - это ...

   1. высказывание;

   2. силлогизм;

   3. понятие;

   4. логика. 1

10. Логическая операция, соответствующая союзу "И" - это

    1. импликация;

    2. эквиваленция;

    3. дизъюнкция;

    4. конъюнкция. 4

11. Логическая операция, соответствующая союзу "ИЛИ" - это

    1. импликация;

    2. эквиваленция;

    3. дизъюнкция;

    4. конъюнкция. 3

12. Логическая операция, соответствующая союзу "ЕСЛИ..., ТО..." - это

    1. импликация;

    2. эквиваленция;

    3. дизъюнкция;

    4. конъюнкция. 1

13. Логическая операция, соответствующая союзу "ТОГДА И ТОЛЬКО ТОГДА, КОГДА" - это

    1. импликация;

    2. эквиваленция;

    3. дизъюнкция;

    4. конъюнкция. 2

14. Кто предложил использовать аппарат логики для описания электронно-ламповых схем?

    1. Порецкий П.С.;

    2. Клод Шеннон;

    3. Аугустус де Морган;

    4. Пирс Ч.С. 2

15. Кто предложил использовать в логике двоичную систему счисления?

    1. Аристотель;

    2. Декарт Рене;

    3. Лейбниц Г.В.;

    4. Джордж Буль. 3

16. Логическая операция ... истинна всегда, кроме случая, когда оба высказывания ложны:

    1. импликация;

    2. эквиваленция;

    3. дизъюнкция;

    4. конъюнкция. 3

17. Логическая операция ... истинна только в случае, когда оба высказывания истинны:

    1. импликация;

    2. эквиваленция;

    3. дизъюнкция;

    4. конъюнкция. 4

18. Логическая операция ... истинна всегда, кроме случая, когда А истинно, а В - ложно:

    1. импликация;

    2. эквиваленция;

    3. дизъюнкция;

    4. конъюнкция. 1

19. Логическая операция ... истинна, когда оба высказывания ложны или истинны:

    1. импликация;

    2. эквиваленция;

    3. дизъюнкция;

    4. конъюнкция. 2

20. Предложение "Неверно что, Юра занимается теннисом" соответствует логической операции

    1. импликация;

    2. эквиваленция;

    3. инверсия;

    4. конъюнкция. 3

«5» - 18, 19, 20 «4» - 14, 15, 16, 17 «3» - 10, 11, 12, 13 «2» - 9