|
|
Другие темы раздела | |
Логика и множества В кардинальных числах уравнение Решить в кардинальных числах уравнение {x}^{y}=aleph_0 https://www.cyberforum.ru/ mathematical-logic-sets/ thread1481820.html |
Доказать, что уравнение не имеет решений Логика и множества Доказать, что уравнение {x}^{2}=2*{y}^{2} в N не имеет решений |
Логика и множества Доказать что в полукольце натуральных чисел
https://www.cyberforum.ru/ mathematical-logic-sets/ thread1481811.html Доказать, что в полукольце натуральных чисел: ∀х ∀n если n\leq x\leq n+1\Rightarrow x=n\vee x=n+1 |
Логика и множества Переключательная функция
https://www.cyberforum.ru/ mathematical-logic-sets/ thread1481709.html Переключательная функция от трех аргументов задана номером в десятичной системе счисления. Получить номер ПФ (ПФ №29) в двоичном, восьмеричном и шестнадцатеричном кодах, таблицу истинности, ... Не могу составить таблицу истинности, подскажите как!? Перевести в другие СС не проблема, а вот с таблицей беда... 29(10)=11101(2). Все приведенные примеры из больших чисел, и в двоичной СС у всех по 8... |
Построить машины Тьюринга, вычисляющие следующие функции Логика и множества Докажите, что следующие функции вычислимы по Тьюрингу, для чего постройте машины Тьюринга, вычисляющие их: 1)f(x)=x+N 2) f(x)=\begin{cases} & \text{ if } x>N,\;then\;x-N \\ & \text{ if } x\leq N,\;then\;0\end{cases} |
Логика и множества Равносильными преобразованиями привести следующую формулу к ПНФ и ССФ Если можно, то лучше с решением. Спасибо! \forall x(A(x)\rightarrow B(y))\rightarrow \forall y((C(y)\vee A(x))\rightarrow (C(y)\vee \exists y(B(y))) https://www.cyberforum.ru/ mathematical-logic-sets/ thread1481312.html |
Логика и множества Выяснить, является ли формула алгебры предикатов общезначимостью
https://www.cyberforum.ru/ mathematical-logic-sets/ thread1481309.html Если можно, то лучше с решением. Спасибо! \forall y({P}_{1}(x))\wedge \forall y({P}_{2}(x))\rightarrow \forall y({P}_{1}(x)\wedge ({P}_{2}(x)) |
Докажите противоречие Логика и множества Допустим символ ' - логическое отрицание Без построения таблиц истинности докажите противоречие (xy' v xz')<->(x->y)(x->z') |
Логика и множества Доказать тавтологию
https://www.cyberforum.ru/ mathematical-logic-sets/ thread1481247.html Допустим символ ' - логическое отрицание Без построения таблиц истинности доказать тавтологию (x' -> y') <-> (x ->y) |
Логика и множества Равны ли множества
https://www.cyberforum.ru/ mathematical-logic-sets/ thread1481215.html Здравствуйте, имеется такой вот вопрос: Равны ли множества: {x ∈ Z |x ⋮ 12} и {x ∈ Z |x2 ⋮ 12) |
Исчисление высказываний и алгебра предикатов Логика и множества Задание №1: Доказать, что следующая формула выводима в ИВ. ((A\vee (B\vee C))\leftrightarrow ((A\vee B)\vee C)) Помогите решить пожалуйста, если можно , то лучше с решениями, чтобы я тоже понял. Я понятия не имею как это решать, т.к прогулял эти темы(знаю,что дурак). Буду премного благодарен. Заранее спасибо!!! Добавлено через 1 час 19 минут Пожалуйста, люди добрые, ну очень нужно. |
Логика и множества Где в отчете ошибка? Секретарь составил отчет, в котором указано, что из 100 абитуриентов английский язык изучали 50 человек, немецкий 23, французский 30. С английским и французским знакомы 8 , с немецким и французским 10, с английским и немецким 20. С тремя языками 5. Где в отчете ошибка? Помогите плиз, уже 2 часа пытаюсь решить. https://www.cyberforum.ru/ mathematical-logic-sets/ thread1479794.html |
-28 / 5 / 0
Регистрация: 26.02.2015
Сообщений: 296
|
|
0 | |
Абсолютная логика - Логика и множества - Ответ 778069919.06.2015, 07:13. Показов 2989. Ответов 3
Метки (Все метки)
Здравствуйте.
Меня интересует проблема лжи - считается, что это то чего нет. Однако само понятие ложь есть. Делаю вывод, что есть мир лжи и в этом мире наша ложь - истина, и наоборот - то что мы считаем существующим там считается несуществующим. С другой стороны мне известно, что мир один. Мир я определяю как все имеющее со мной связь. Я знаю о лжи, следовательно лживый мир и мой мир - он существует. Теперь о технических аспектах. Мы умеем работать с истиной, но получив ложь не знаем как быть, я предлагаю применять обратную логику к таким результатам. Например есть ложь, применяем обратную логику в которой 0 - истина, 1- ложь, далее когда мы получим 1 в такой логике, нужно ее анализировать уже привычной логикой где 1 - истина, а 0 - ложь. Таким образом мы отдаем нашу ложь лживому миру, но поскольку она была в истинном, то она отчасти истинна и значит лживый мир должен нам вернуть нашу истину. Это не только сообщение, но и обсуждение - мне будет интересно ваше мнение, о реализации и модификациях абсолютной логики. Например я чувствую, что можно здесь также поработать троичной логикой -1 - нет, 0 - не знаю, 1 - да. Вернуться к обсуждению: Абсолютная логика Логика и множества
0
|
19.06.2015, 07:13 | |
Готовые ответы и решения:
3
Логика Логика логика Логика |
19.06.2015, 07:13 | |
19.06.2015, 07:13 | |
Помогаю со студенческими работами здесь
0
Математическая логика Логика хромает! мат.логика логика предикатов |