|
|
Другие темы раздела | |
Логика и множества Решение методом характеристической функции (не понятен ход решения) Здравствуйте. Прошу помочь разобраться. Например, имеем тождество, которое нужно доказать . Cоставим характеристическую функцию для левой части тождества: Однако я не могу понять, как получается часть выражения, выделенная красным: https://www.cyberforum.ru/ mathematical-logic-sets/ thread1667458.html |
КС-грамматика Логика и множества в общем имеются функций . func -> func_name '(' args ')' | func LOGIC_OPERATION func args -> func | args, func ... |
Логика и множества Нечеткая логика. Операции над множествами
https://www.cyberforum.ru/ mathematical-logic-sets/ thread1667059.html Здравствуйте. Ребят, что-то я затупил, подскажите мне, пожалуйста, как применять операции над нечеткими множествами, если мощности множеств различны? Вот, например, допустим, есть нечеткие множества: A = \left{0.4/1, 0.9/2 \right} B = \left{0.7/1, 0.2/2 \right} В результате пересечения получим множество: A\bigcap B= 0,\left{0.4/1, 0.2/2 \right} А как быть, если множества имеют... |
Логика и множества Логика предикатов: "Для любого натурального числа найдется большее его простое число" Для любого натурального числа найдется большее его простое число ∀у∃x((C(y)⋀B(x))→A(x,y)) A (x,y)- «x больше y» B(x)- «x – простое число», универсум N- {натуральные числа}. Добавлено через 1 час 28 минут что тут неправильно https://www.cyberforum.ru/ mathematical-logic-sets/ thread1666820.html |
Осмысление импликации Логика и множества Есть простая импликация: A->B. Из А следует B. Я попытался интерпретировать это на русские слова(мат логика ведь являет собой результат попытки формализации нашей речи): Если я - человек, то я умею говорить. Т.е. A - человек, B - уметь говорить. Если мы раскроем импликацию A->B, то получим: не A или B. Теперь смотрим, как это будет в речи: Если я - человек, то я умею говорить = Я не человек, или... |
Логика и множества Переведите с естественного языка на язык логики предикатов #2 Все лягушки, увидев аиста, прыгают и квакают Решение: Универсум: M = {лягушки} Предикаты: O(x) ≡ «x видит аиста», C(x) ≡ «x прыгает». S(x)≡ «x квакает». Формула: ∀x(O(x) ⊃ (C(x) ⋀ S(x))). Добавлено через 1 час 29 минут что тут неправильно https://www.cyberforum.ru/ mathematical-logic-sets/ thread1666182.html |
Логика и множества Доказать двумя способами,что следующая формула является тождественно истинной (тавтологией)
https://www.cyberforum.ru/ mathematical-logic-sets/ thread1666141.html Доказать двумя способами,что следующая формула является тождественно истинной (тавтологией): F(A,B,C)=(A->C)->((B->C)->((AvB)->C) |
Логика и множества Доказать равносильность следующих формул 2 способами Доказать равносильность следующих формул 2 способами: F(A,B,C,D)=(AvB)^(BvC)^(CvD) G(A,B,C,D)=(A^B)v(A^D)v(B^D) |
Логика и множества Построить сокращенную ДНФ
https://www.cyberforum.ru/ mathematical-logic-sets/ thread1665559.html f=(10010111) |
Логика и множества Представить функцию в виде полинома жегалкина (0,1) f=(10111100) https://www.cyberforum.ru/ mathematical-logic-sets/ thread1665548.html |
Логика и множества Нужно исправить замечание преподавателя Записать рассуждение в логической символике и проверить правильность рассуждения методом Куайна, методом редукции и методом резолюций: «Если подозреваемый совершил кражу, то либо кража была тщательно подготовлена, либо имелся соучастник. Если бы кража была тщательно подготовлена, то был бы соучастник. Значит, подозреваемый виновен в краже». |
Логика и множества Приведите равносильными преобразованиями следующую формулу к КНФ
https://www.cyberforum.ru/ mathematical-logic-sets/ thread1663695.html Приведите равносильными преобразованиями следующую формулу к КНФ: ((x→y)→(z→¬x))→(y→¬z) Помогите пожалуйста с решением, очень нужно. Сам никак не могу разобраться. |
29 / 58 / 6
Регистрация: 10.01.2011
Сообщений: 1,231
|
|
0 | |
Диаграмма Хассе - Логика и множества - Ответ 878426321.02.2016, 12:27. Показов 3831. Ответов 2
Метки (Все метки)
Здравствуйте! Помогите решить такую задачу:
Проверить является ли данное отношение частичного порядка и построить диаграмму Хассе: R={(1;1),(1;3),(1;5),(2;2),(2;4),(2;5),(3;3),(3;5),(4;4),(4;5),(5;5)}. У меня получился такой граф, но мне сказали что это не правильно: [удалено] Вернуться к обсуждению: Диаграмма Хассе Логика и множества
0
|
21.02.2016, 12:27 | |
Готовые ответы и решения:
2
Диаграмма Хассе Диаграмма Хассе Диаграмма Хассе,ввести отношения по заданной диаграмме Диаграммы Хассе |
21.02.2016, 12:27 | |
21.02.2016, 12:27 | |
Помогаю со студенческими работами здесь
0
Проверка Диграммы Хассе Нарисуйте диаграмму Хассе Нужно ли строить диаграмму Хассе для отношения нестрогого порядка? Построить диаграмму Хассе частично упорядоченного множества (A, R), отметить максимальный и минимальный элементы |