Добавить материал и получить бесплатное свидетельство о публикации в СМИ
Эл. №ФС77-60625 от 20.01.2015
Инфоурок / Математика / Тесты / Контрольная работа по математической логике.
ВНИМАНИЮ ВСЕХ УЧИТЕЛЕЙ: согласно Федеральному закону № 313-ФЗ все педагоги должны пройти обучение навыкам оказания первой помощи.

Дистанционный курс "Оказание первой помощи детям и взрослым" от проекта "Инфоурок" даёт Вам возможность привести свои знания в соответствие с требованиями закона и получить удостоверение о повышении квалификации установленного образца (180 часов). Начало обучения новой группы: 24 мая.

Подать заявку на курс
  • Математика

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

библиотека
материалов

Вариант 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.      Законы логических операций. Закон двойственности.

Автор
Дата добавления 20.11.2014
Раздел Математика
Подраздел Тесты
Просмотров845
Номер материала 139477
Получить свидетельство о публикации

Выберите специальность, которую Вы хотите получить:

Обучение проходит дистанционно на сайте проекта "Инфоурок".
По итогам обучения слушателям выдаются печатные дипломы установленного образца.

ПЕРЕЙТИ В КАТАЛОГ КУРСОВ

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

Включите уведомления прямо сейчас и мы сразу сообщим Вам о важных новостях. Не волнуйтесь, мы будем отправлять только самое главное.
Специальное предложение
Вверх