|
|
| Другие темы раздела | |
| Логика и множества Исчисление данного высказывания Здравствуйте! Помогите в исчислением данного высказывания: (A -> (A -> (A -> A) ) ) С аксиомами. Заранее спасибо! https://www.cyberforum.ru/ mathematical-logic-sets/ thread1444766.html |
Записать на языке предикатов Логика и множества помогите, пожалуйста |
| Логика и множества Представить полином по модулю 3 функцию f4(x,y)=(001 101 202) Прошу помощи; сдавать уже завтра. Задача: Представить полином по модулю 3 функцию f4(x,y)=(001 101 202) https://www.cyberforum.ru/ mathematical-logic-sets/ thread1444292.html | Логика и множества Представить полином по модулю 3 функцию f3=(022) Прошу помощи; сдавать уже завтра. Задача: Представить полином по модулю 3 функцию f3=(022) https://www.cyberforum.ru/ mathematical-logic-sets/ thread1444284.html |
|
Построить таблицу для f_2 и представить её в первой-третьей основной форме Логика и множества Прошу помощи; сдавать уже завтра. Задача: Построить таблицу для {f}_{2} и представить её в первой-третьей основной форме, при k=3. {f}_{2}=(2y-{x}^{2})\supset ({j}_{2}(\bar{y})+{J}_{1}(x)) |
Логика и множества Построить таблицу для f1(x) при k=3 Прошу помощи; сдавать уже завтра. Задача: Построить таблицу для f1(x) при k=3. f1={J}_{0}({J}_{1}({j}_{1}(\bar{x})))+{2x}^{2} https://www.cyberforum.ru/ mathematical-logic-sets/ thread1444274.html |
| Логика и множества Привести предикатное выражение к нормальной форме В общем, после подстановок и замен получилось следующее выражение. Не знаю, как дальше скомпоновать. Кто что подскажет? https://www.cyberforum.ru/ mathematical-logic-sets/ thread1443902.html |
Логика и множества Для булевой функции найти двойственную функцию Помогите,пожалуйста,с заданием: (z->(x v y))' v x(y+z) |
| Логика и множества Доказательство выражений из теории множеств Ни как не могу доказать эти примеры, ни как не выходит, помогите пожалуйста. A \bigtriangleup B = (A \cup B) \setminus (A \cap B) C(C(CA \cup B) \cup (A \cup CB))=B \setminus A (A \cup B) \setminus C= (A \setminus C) \cup (B \setminus B) (B \setminus B) \setminus (B \setminus A) \subset A \setminus C https://www.cyberforum.ru/ mathematical-logic-sets/ thread1443334.html |
Логика и множества Логика первого порядка
https://www.cyberforum.ru/ mathematical-logic-sets/ thread1443117.html 1. они всегда стараются быть внимательными 2. внимательный человек способен много запомнить нужно решить с помощью логики первого порядка |
|
Обратное отображение функции Логика и множества Правильно ли найдено отображение f^{-1} f(x)=(x-1)^2, f(f^{-1}(x))=f^{-1}(x-1)^2 Избавляемся от квадрата: 1) - \sqrt{x}=x-1 (для отрицательной полуоси)x\leq 0 2) \sqrt{x}=x-1 (для положительной полуоси)x\geq 0 Убираем минус один 1)- \sqrt{x}+1=x 2) \sqrt{x}+1=x |
Логика и множества Бинарные отношения - перевертыши
https://www.cyberforum.ru/ mathematical-logic-sets/ thread1443011.html (1,3) (1.4) (2.2) (3.3) (4.3) (4,4) Вопрос об антсимметричности: нет "перевертышей" для 1.3 1.4 4.3 (3.1; 4.1; и 3.4) но есть перевертыши 2.2 3.3 4.4 которые сами себе "первертыши" Если они есть уже можно говорить, что отношение не антисимметрично? |
  |
|
| 13.05.2015, 20:45 | 0 |
Доказать, что формула является теоремой формального исчисления высказываний - Логика и множества - Ответ 761020113.05.2015, 20:45. Показов 1329. Ответов 1
Метки (Все метки)
Ответ 
Сообщение от Wysler
 Возьмём такое правило вывода: применим это правило, получим утверждение. Доказано. Вы ведь вряд ли столь тривиальное решение спрашиваете? Наверное же, не произвольные правила, а только Modus Ponens ± какие-то правила, эквивалентные аксиомам Гильберта.
Сообщение от Wysler
А лемму о дедукции использовать можно? С её помощью Вы за пять секунд решите эту задачу. Правда, потом разворачивать формальное доказательство придётся довольно уныло, но зато оно будет понятным. Вернуться к обсуждению: Доказать, что формула является теоремой формального исчисления высказываний Логика и множества
0
|
|
|
|
| 13.05.2015, 20:45 | |
|
Готовые ответы и решения:
1
Доказать,что формула является теоремой формализованного исчисления высказываний Алгебра логики. Доказать, что формула является теоремой ИВ
Используя теорему дедукции,схемы аксиом ,доказать что данная формула есть теоремой |
| 13.05.2015, 20:45 | |
| 13.05.2015, 20:45 | |
|
Помогаю со студенческими работами здесь
0
При помощи закона логики высказываний доказать, что формула тавтология Доказать , что формула является противоречием
|