|
|
| Другие темы раздела | ||||||||||||||||||||||||||||||||||
|
Логика и множества Записать следующие высказывания в виде формул логики высказываний
https://www.cyberforum.ru/ mathematical-logic-sets/ thread1465947.html Здравствуйте. Нужна помощь с заданием. Записать следующие высказывания в виде формул логики высказываний, используя пропозициональные (логические) переменные для обозначения элементарных высказываний, т.е. таких, которые уже не могут быть построены из каких-либо других высказываний: Неверно, что и Петров, и Иванов не выдержали экзамена; значит, хотя бы один из них сдал экзамен. |
Логика и множества Составить множество Е-конечное множество X \subseteq 2^E; x,y \in X, u\in X; u \neq x,y; x\bigcup y \supseteq u => x + y - u = v\in X итак, мы берем x,y,u из X из объединения x, y мы можем составить u, а можно ли еще составить v ? | |||||||||||||||||||||||||||||||||
|
Логика и множества Частичные функции с частично рекурсивным доопределением
https://www.cyberforum.ru/ mathematical-logic-sets/ thread1465215.html Помогите пожалуйста. Срочно! Желательно ответ расписать 1. Привести нетривиальные примеры частичных функций, которые имеют частично рекурсивные доопределения. 2. Пусть совокупность Ψ содержит функцию ψ, которая не является частично рекурсивной, но имеет частично рекурсивное доопределение. Будет ли в этом случае множество всех ЧРФ относительно совокупности Ψ совпадать с множеством всех... |
Логика и множества Записать символически предложение «Если светит солнце, то для того, чтобы не было дождя, достаточно чтобы дул ветер.» Сделал так, Пусть «светит солнце» - А, «идет дождь» - В, «дует ветер» - С. Тогда: C&A≡B Но это не правильно https://www.cyberforum.ru/ mathematical-logic-sets/ thread1465024.html | |||||||||||||||||||||||||||||||||
|
Логика и множества Регулярное выражение: ()*|(11)* Есть такое регулярное выражение: ()*|(11)* Нужно дать перечень всех слов, длина которых <=5 , которые принадлежат этому языку. Я так понимаю это должны быть либо единички, либо пробелы (ведь скобки () - это означает пустой символ?), но их нельзя смешивать. Т.е. это эпсилон, 11, 1111 Но как обозначить пустой символ? Это и есть эпсилон? по идее тут надо записать так: эпсилон , 11, 1111, 1 пустой... |
Логика и множества Доказать, что пустое мн-во является эл-том любого мн-ва
https://www.cyberforum.ru/ mathematical-logic-sets/ thread1464041.html Доказать, что пустое множество является подмножеством любого множества. В предыдущей задаче мы доказали, что множество A является подмножеством мн-ва B тогда и только тогда, когда любой элемент, не принадлежащий B, не принадлежит A. Рассмотрим произвольное мн-во B. По опр. пустого мн-ва \forall x: x \notin B не содержится в пустом множестве. Поэтому по результатам пред. задачи \emptyset... | |||||||||||||||||||||||||||||||||
|
Логика и множества Минимизация функции
https://www.cyberforum.ru/ mathematical-logic-sets/ thread1464017.html Подскажите, как минимизировать эту функцию методом Квайна f={0, 5, 6, 7, 8, 12, 13, (4, 12, 13)}a, b, c, d |
Доказать, что множество A является подмножеством B Логика и множества Доказать, что множество A является подмножеством множества B тогда и только тогда, когда любой элемент, не принадлежащий B, не принадлежит A. 1) Пусть A \subset B. Это означает, что \forall x\in A: x\in B. Тогда не выполняется второе условие. 2) Пусть каждый элемент, не принадлежащий B, не принадлежит A. Тогда ясно, что множество A находится внутри B, иначе, если бы оно было снаружи, в него... | |||||||||||||||||||||||||||||||||
|
Логика и множества Решение задач по теории множеств
https://www.cyberforum.ru/ mathematical-logic-sets/ thread1463731.html Ребят помогите пожалуйста, нужно решить задания с 1 по 4 номер, но я что-то основательно не помню дискретку. Заранее спасибо. |
Логика и множества По заданной ДНФ постройте сокращенную ДНФ ссылка удалена вот такая днф, по ней надо построить сокращенную, а я не 3наю как( Добавлено через 1 минуту пардон, вот нормальная ссылка на картинку ссылка удалена Правила форума :rtfm: 5.18. Запрещено размещать задания и решения в виде картинок и других файлов с их текстом. Задания и решения набирать ручками. Один вопрос - одна тема. Для формул есть редактор. https://www.cyberforum.ru/ mathematical-logic-sets/ thread1463124.html | |||||||||||||||||||||||||||||||||
|
Логика и множества Полином Жегалкина для функции Для функции (x\rightarrow (y\rightarrow \bar{z}))(y\bar{z}\rightarrow x) построить полином Жегалкина. Вектор значений этой функции такой: (1,1,0,1,1,1,1,0) Полином я построил, таблица истинности для него совпадает с таблицей истинности исходной функции, но в ответе многочлен другой. Разве такое может быть? Ведь многочлен Жегалкина определяется однозначно. Мой ответ: y \oplus xy \oplus yz... |
Логика и множества Использовав теорему дедукции и основные аксиомы формального исчисления доказать формулу
Здравствуйте, как можно использовав теорему дедукции и основные аксиомы формального исчисления доказать, вот такую формулу: (отрицание А -> В) ->(отрицание В -> А)
htt
Надоела реклама? Зарегистрируйтесь и она исчезнет полностью.
Наверх
| |||||||||||||||||||||||||||||||||
