Упражнения для самостоятельной работы. - раздел Математика, КУРС ЛЕКЦИЙ ПО МАТЕМАТИЧЕСКОЙ ЛОГИКЕ 1. Даны Следующие Высказывания:
P = «Данное Число –...
1. Даны следующие высказывания:
P = «Данное число – целое»,
Q = «Данное число – положительное»,
R = «Данное число – простое»,
S = «Данное число делится на 2»,
T = «Данное число натуральное»,
М = «Данное число больше 2».
Записать словесно следующие высказывания:
1)
2)
3)
4)
5)
6)
7)
8)
9)
10)
11)
12)
2.Определить истинность следующих высказываний, если , , , :
1)
2)
3)
4)
5)
6)
7)
8)
9)
10)
3. Могут ли следующие высказывания быть ложными? Если да, то каковы должны быть значения высказываний P, Q, R?
1)
2)
3)
4)
5)
4.В следующих сложных высказываниях выделить элементарные высказывания, обозначить их буквами и записать с помощью логических символов:
1) и ;
2) данное число делится на 2 и на 3, или не делится на 6;
3) если одно слагаемое делится на 3 и сумма делится на 3, то второе слагаемое делится на 3;
4) если диагонали параллелограмма взаимно перпендикулярны или делят углы пополам, то данный параллелограмм – ромб;
5) если целое число – положительно и чётно, то оно простое, или не больше двух;
6) если основание пирамиды – правильный многоугольник и высота проходит через центр основания, или двугранные углы при основании равны, то пирамида – правильная;
7) если прямые и параллельны и прямая лежит в плоскости , то прямая и плоскость параллельны, или лежит в плоскости .
МИНИСТЕРСТВО ОБРАЗОВАНИЯ И НАУКИ УКРАИНЫ... ВОСТОЧНОУКРАИНСКИЙ НАЦИОНАЛЬНЫЙ УНИВЕРСИТЕТ... имени ВЛАДИМИРА ДАЛЯ...
Если Вам нужно дополнительный материал на эту тему, или Вы не нашли то, что искали, рекомендуем воспользоваться поиском по нашей базе работ:
Упражнения для самостоятельной работы.
Что будем делать с полученным материалом:
Если этот материал оказался полезным ля Вас, Вы можете сохранить его на свою страничку в социальных сетях:
Формулы алгебры логики. Тавтологии.
В алгебре выводятся формулы, которые остаются верными, какие бы числа не подставляли вместо букв, входящих в эти формулы. Подобным образом в алгебре высказываний конструируются формулы из некоторых
Алгоритм преобразования произвольной формулы в СНДФ.
1) Выразить все логические операции через конъюнкцию, дизъюнкцию и отрицание.
2) Используя дистрибутивные законы, преобразовать формулу так, чтобы все конъюнкции выполнялись раньше дизъюнк
Определения.
В математике принято одной и той же буквой обозначать различные объекты, т. е. под буквой фактически понимается переменная, принимающая значения из некоторого множества. Такие перем
Упражнения для самостоятельной работы.
1. Записать следующие высказывания в виде формул логики предикатов.
1) Всякое натуральное число, делящееся на 12, делится на 2, 4 и
Упражнения для самостоятельной работы.
1.Записать на языке логики предикатов аксиому математической индукции.
2. Записать на языке логики предикатов следующую те
Формальный язык логики высказываний.
Таблицы истинности в логике высказываний позволяют ответить на многие вопросы. Например, является ли данная формула тавтологией, противоречием или выполнимой формулой; влечёт ли она
Теорема Поста.
В предыдущем параграфе были рассмотрены некоторые классы булевых функций. В каждый класс попадают функции, обладающие определённым свойством. Для удобства введём сле
Новости и инфо для студентов