Инфоурок / Математика / Тесты / Контрольная работа по математической логике.

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

Напоминаем, что в соответствии с профстандартом педагога (утверждён Приказом Минтруда России), если у Вас нет соответствующего преподаваемому предмету образования, то Вам необходимо пройти профессиональную переподготовку по профилю педагогической деятельности. Сделать это Вы можете дистанционно на сайте проекта "Инфоурок" и получить диплом с присвоением квалификации уже через 2 месяца!

Только сейчас действует СКИДКА 50% для всех педагогов на все 111 курсов профессиональной переподготовки! Доступна рассрочка с первым взносом всего 10%, при этом цена курса не увеличивается из-за использования рассрочки!

ВЫБРАТЬ КУРС И ПОДАТЬ ЗАЯВКУ
библиотека
материалов

Вариант 1.

  1. Пусть p и q обозначают высказывания:

p - «Я учусь в колледже»; q – « Я люблю математику»

Прочтите следующие сложные высказывания:

а) hello_html_m23ace3d2.gif; б) hello_html_m4aed8031.gif; в) hello_html_402b4953.gif; г) hello_html_7b9d6db.gif; д) hello_html_571c03b2.gif; е) hello_html_m58c6e3cd.gif; ж) hello_html_mf17afbd.gif

  1. Дано высказывание В: «7 – чётное число». Приведите пример такого высказывания А, чтобы дизъюнкция высказываний А и В была: а) истинной; б) ложной.

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

а) hello_html_11ba4b8.gif б) hello_html_m1d41b56d.gif

  1. Составив таблицы истинности и с помощью равносильных преобразований доказать равносильность:

hello_html_27f007b8.gif

  1. Проверить, не составляя таблиц истинности, являются следующие формулы тождественно истинными (ложными):

hello_html_m170b92cb.gif












Вариант 1.

  1. Даны простые высказывания:

А «Число 3 является делителем числа 17», В «Число 6 - простое число»

Составьте высказывания: а) hello_html_706b6333.gif; б) hello_html_m129ff835.gif; в) hello_html_6100389a.gif; г) hello_html_mdc19a40.gif

и определите какие из них истинны, а какие ложны.

  1. Дано высказывание В: «М.Ю. Лермонтов – русский поэт». Можно ли привести пример такого высказывания А, чтобы дизъюнкция высказываний А и В была: а) истинной; б) ложной. Ответ поясните.

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

а) hello_html_5b01e60d.gif; б) hello_html_m7780db01.gif

  1. Составив таблицы истинности и с помощью равносильных преобразований доказать равносильность:

hello_html_m7f23f681.gif

  1. Проверить, не составляя таблиц истинности, являются следующие формулы тождественно истинными (ложными):

hello_html_m96b6cc9.gif



Вариант 3.

  1. Обозначьте элементарные высказывания буквами и запишите следующие высказывания с помощью символов алгебры логики:

а) «hello_html_2f78b246.gif»

в) «число 5 – целое или положительное»

б) «весна и осень – времена года»

г) «Число 212 - трёхзначное и кратно 3 или 4»

Определите какие из них истинны, а какие ложны.

  1. Дано высказывание В: «7 – чётное число». Можно ли привести пример такого высказывания А, чтобы конъюнкция высказываний А и В была: а) истинной; б) ложной. Ответ поясните.

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

а) hello_html_11ba4b8.gif б) hello_html_m1d41b56d.gif

  1. Составив таблицы истинности и с помощью равносильных преобразований доказать равносильность:

hello_html_m5bd6cbdd.gif

  1. Проверить, не составляя таблиц истинности, являются следующие формулы тождественно истинными (ложными):

hello_html_m2e33ee34.gif









Вариант 4.

  1. Обозначьте элементарные высказывания буквами и запишите следующие высказывания с помощью символов алгебры логики:

а) «45 кратно 3 и 42 кратно3»

в) «hello_html_18934ef6.gif»

б) «45 кратно 3 и 12 не кратно3»

г) «если число 212 делится на 3 и 4, то оно делится на 12»

Определите какие из них истинны, а какие ложны.

  1. Дано высказывание В: «М.Ю. Лермонтов – русский поэт». Можно ли привести пример такого высказывания А, чтобы конъюнкция высказываний А и В была: а) истинной; б) ложной. Ответ поясните.

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

а) hello_html_5b01e60d.gif; б) hello_html_m7780db01.gif

  1. Составив таблицы истинности и с помощью равносильных преобразований доказать равносильность:

hello_html_3ded3335.gif

  1. Проверить, не составляя таблиц истинности, являются следующие формулы тождественно истинными (ложными):

hello_html_4c896312.gif

Краткое описание документа:

Данная контрольная работа предназначена для студентов средних специальных учебных заведений, обучающихся по специальности «Информационные системы».

Работа включает задания по темам:

1.      Понятие высказывания. Виды высказываний.

2.      Логические операции над высказываниями.

3.      Составление таблиц истинности составных высказываний.

4.      Формулы алгебры логики. Составление их значений.

5.      Равносильные, тождественно истинные и тождественно ложные формулы алгебры логики.

6.      Основные равносильности. Тавтологии.

7.      Законы логических операций. Закон двойственности.

Общая информация

Номер материала: 139477

Похожие материалы