|
|
| Другие темы раздела | |
| Логика и множества Найти результат отображения Для отображения f : R → R, заданного правилом f(x) = x^2 − 3*x + 2, найти: a) f(); b) f^−1(). https://www.cyberforum.ru/ mathematical-logic-sets/ thread2061760.html |
Доказать свойство симметричной разности для любых бинарных отношений Логика и множества Симметричная разность (P^-1) равна симметричной разности (P)^-1 |
| Логика и множества Упростить множество (A U A ∩ B` U A` ∩ C) ∩ A` ∩ B \ C применяем закон идемпотентности получим (A ∩ B` U A` ∩ C) ∩ A` ∩ B \ C а дальше кто нить разжует хотя бы дальнейший шаг ` это знак дополнения https://www.cyberforum.ru/ mathematical-logic-sets/ thread2047696.html | Логика и множества Докажите, что существует вычислимая функция, удовлетворяющая данному условию Здравствуйте, тебуется решить две задачи. Докажите, что существует вычислимая функция, которая совпадает с любой другой вычислимой функцией хотя бы на одном аргументе. Докажите, что существует вычислимая функция, не имеющая всюду определенного продолжения и принимающая значения 0 и 1. https://www.cyberforum.ru/ mathematical-logic-sets/ thread2047344.html |
|
Собственное значение дискретной нелинейной функции Логика и множества Есть некая дискретная функция f(x) вход и выход одинаковой размерности в n-бит, заданая последовательностью булевых операций. Существует ли алгоритм нахождения собственных значений такой функции т.е. таких значений, что f(x)=x ? Естественно кроме полного перебора всех х. Возможно таких собственных значений не существует, или их несколько. Например для тождественной функции все возможные х... |
Логика и множества Для бинарного отношения выясните какими свойствами оно обладает Для бинарного отношения X \rho Y \Leftrightarrow X\bigcap Y = \emptyset выясните какими свойствами оно обладает. (Симметричность, антисимметричность, тразитивность, рефлексивность) Во вложении моё решение, только мне кажется оно не совсем правильное. Направьте в нужную сторону. https://www.cyberforum.ru/ mathematical-logic-sets/ thread2044826.html |
|
Логика и множества Используя законы алгебры высказываний, проверить следующую равносильность
https://www.cyberforum.ru/ mathematical-logic-sets/ thread2044049.html Впервые сталкиваюсь с таким , подскажите пожалуйста |
Упростить ПФ используя равносильные преобразования Логика и множества Подскажите пожалуйста |
|
Логика и множества Проверить тождество
https://www.cyberforum.ru/ mathematical-logic-sets/ thread2043859.html Проверить тождество A\subseteq B\bigcup C\Leftrightarrow A\bigcap B\subseteq C Докажем, что если выполняется первая часть, то выполняется и вторая Возьмем любое x\in A, из левой части тождества может быть три случая 1. x\in B и x\in C тогда правая часть выполняется. 2. x\in B и x\notin C тогда x\in A\bigcap B но x\notin C следовательно правая часть не выполняется. 3. x\notin B и x\in C... |
Логика и множества Цикл for в gar systems Помогите написать цикл for в gar systems. Условие:Для заданного универсального множества U={1,2,3..109,110} и его подмножеств: А = {a Є U | a=5n}; B = {b Є U | b=8n}; C = {c Є U | c=4n} (n=1,2,3,...) определить количество элементов подмножеств универсального множеств U=(A*(B*C))*(B+C) (В*С - и вверху полосочка, разность) Вот что я наработал: for i in do > Addset (U,i); > if n mod 5=0... https://www.cyberforum.ru/ mathematical-logic-sets/ thread2043818.html |
|
Логика и множества Сколько существует различных наборов значений логических переменных Помогите пожалуйста решить задание. С подробным решением, что бы можо было разобраться как это решать. |
Логика и множества Установить биекцию Добрый вечер! Подскажите,как установить биекцию между https://www.cyberforum.ru/ mathematical-logic-sets/ thread2042762.html |
|
0 / 0 / 0
Регистрация: 25.07.2016
Сообщений: 21
|
|
| 0 | |
Как вывести 6-ю аксиому исчисления высказываний? - Логика и множества - Ответ 1110831604.10.2017, 17:51. Показов 607. Ответов 1
Метки (Все метки)
Вернуться к обсуждению: Как вывести 6-ю аксиому исчисления высказываний? Логика и множества
0
|
|
|
|
| 04.10.2017, 17:51 | |
|
Готовые ответы и решения:
1
Вывести эту формулу в теории исчисления высказываний Перевести на язык исчисления высказываний Используя основные эквивалентности исчисления высказываний
|
| 04.10.2017, 17:51 | |
|
Помогаю со студенческими работами здесь
0
Проверьте, пожалуйста мое решение. Исчисления высказываний. Предикаты Используя основные эквивалентности исчисления высказываний, проверить равенства Используя основные эквивалентности исчисления высказываний, проверить равенство Докажите данную теорему при помощи исчисления высказываний. |