Проверочная работа по информатике на тему Логика высказывания

«__»___________ ФИ___________________________ группа____________

Проверочная работа №1

Тема: «Основы логики: логические выражения и логические операции»

1. Разгадать кроссворд.

4

5

8

15

14

2

12

9

10

1

13

7

3

6

11

По горизонтали:

1. Наука, изучающая законы и формы мышления (логика).

3. Логическое равенство (эквивалентность).

6. Операция в алгебре множеств, соответствующая операции конъюнкция (пересечение).

7. Логическая операция А∨В (дизъюнкция).

9. Логическая операция, соответствующая в естественном языке обороту речи «если …, то …» (импликация).

11. Константа, которая обозначается «1» (истина).

13. Английский математик, который ввёл алфавит, орфографию и грамматику для математической логики (Буль).

14. Простое высказывание, содержащее только одну простую мысль и обозначаемое А, В, С, … (переменная).

По вертикали:

2. Повествовательное предложение , в каждом что-то утверждается или отрицается (высказывание).

4. Основатель формальной логики (Аристотель).

5. Логическая операция, соответствующая логической связке «неверно, что …» (инверсия).

8. Сложное высказывание, обозначаемое как F(А, В, С, …) (функция).

10. Логическое умножение (конъюнкция).

12. Константа, которая обозначается «0» (ложь).

15. Форма нахождения значения логического выражения (таблица).

2. Даны высказывания: А = {2*5 = 10}, В = {2*5 = 11}. Определить истинность высказываний:

1. А

2. В

3. 

4. 

5. 

6. А∨В

7. А∧В

8. В

9. ↔А

(ответ: А = И, В = Л

1. И

2. Л

3. Л

4. И

5. И

6. И

7. Л

8. И

9. И)

«__»___________ ФИ___________________________ группа____________

Проверочная работа №2

Тема: «Основы логики: логические выражения и логические операции»

1. Соедините правильные определения или обозначения:

1. Логика

1. АВ

2. Высказывание

2. Логическое сложение

3. Алгебра логики

3. Наука о формах и способах мышления

4. Логическая константа

4. F(A, B, C, …)

5. Дизъюнкция

5. Логическое отрицание

6. Инверсия

6. ИСТИНА и ЛОЖЬ

7. Конъюнкция

7. А↔В

8. Импликация

8. &

9. Эквивалентность

9. Наука об операциях над высказываниями

10. Функция

10. Повествовательное предложение, в котором что-либо утверждается или отрицается

2. Даны высказывания: А = {5 + 4 = 8}, В = {5 + 4 = 9}. Определить истинность высказываний:

1. А

2. В

3. 

4. 

5. 

6. А∨В

7. А∧В

8. В

9. ↔А

(ответ: А = Л, В = И

1. Л

2. И

3. И

4. Л

5. Л

6. И

7. Л

8. И

9. И)