Распечатать страницу
Главная \ База готовых работ \ Готовые работы по техническим дисциплинам \ Дискретная математика \ 5069. Контрольная работа с курса Дискретная математика - 7 задач

Контрольная работа с курса Дискретная математика - 7 задач

« Назад

Код роботи: 5069

Вид роботи: Контрольна робота

Предмет: Дискретная математика (Дискретна математика)

Тема: 7 задач

Кількість сторінок: 9

Дата виконання: 2017

Мова написання: російська

Ціна: 500 грн (або 150 грн за задачу)

Задание 1. Построить таблицы истинности следующих формул:

Б5069, 1

Задание 2. Формула Б5069, 2 тождественно истинна всегда, когда истинна формула β. Будет ли формула α→β тождественно истинной?

Задание 3. Привести пример формул α и β таких, чтобы формула ⌐α˅⌐β→α была тавтологией.

Задание 4. Доказать схему вывода:

Б5069, 3

Задание 5. Пусть универсумом является множество целых чисел Z и P(x,y,z) = [x-y=z] – трехместный предикат на этом универсуме. Запишите с помощью логической символики следующее утверждение: «для всех х,у существует z такое, что x-z=y».

Задание 6. Пусть х и у – пременные, определенные на множестве людей. Введем следующие обозначения: М(х) = [x- мужчина]; D(x) = [х – женщина]; К(х,у) = [х- ребенок у]. Запишите в логической символике следующие предложения: «х и у – братья».

Задание 7. Пусть Р(х) – одноместный предикат, а Q(х, у) – двуместный предикат на множестве М={0,1,2,3,4}, заданные таблицей

Р: Q:

х\у

0

1

2

3

4

0

0

1

0

0

1

1

1

0

0

1

1

2

1

1

1

1

1

3

0

0

1

1

0

4

1

1

0

0

0

 

х

Р(Х)

0

0

1

1

2

0

3

0

4

1

Составьте полные таблицы истинности для следующих формул:

Б5069, 4