Форум программистов, компьютерный форум, киберфорум
Дискретная математика
Войти
Регистрация
Восстановить пароль
Другие темы раздела
Дискретная математика Построить таблицу истинности для высказывания Построить таблицу истинности для высказывания: A ⇔ ((A∧B) → B) https://www.cyberforum.ru/ discrete-mathematics/ thread1621720.html Представить логическими формулами следующее высказывание Дискретная математика
Представить логическими формулами следующее высказывание: 1 - x^2 > 4 тогда и только тогда, когда x>2 и x<-2 2 - Лида сдаст на "хорошо" екзамен с алгебры тогда и только тогда, когда она не пропустит последней лекции.
Дискретная математика Пускай A, B и С - заданые множества Пускай A, B и С - заданые множества. Розязать систему уровнений относительно неизвествного множества X \begin{cases} & \ A/X=X/B \\ & \ A\bigcap X=X\end{cases} где A\subset B https://www.cyberforum.ru/ discrete-mathematics/ thread1621248.html Дискретная математика Проверить равенство https://www.cyberforum.ru/ discrete-mathematics/ thread1621247.html
Проверить равности: \left(A\bigcup B \bigcup C \right) / \left(B\Delta C \right) = \left(A/B/C \right)\bigcup \left(C\bigcap \left(B/A \right) \right)
Дискретная математика Доказать включение
Доказать включение: \left(A \Delta B \right) / \left(B \bigcap C \right)\subset \left(A\Delta C \right)\Delta \left(C\Delta B \right)
Дискретная математика Доказать равенство https://www.cyberforum.ru/ discrete-mathematics/ thread1621245.html
Доказать равенство: \left(A\bigcup B \right)\Delta \left(B / C \right) = \left(A / B \right)\bigcup \left( \right)\left(B\bigcap C \right)
Дискретная математика Лингвистичная модель Помогите решить задание. Создать безконченый язык L4, в алфавите E={0,1} і описать структуру слов природным языком. https://www.cyberforum.ru/ discrete-mathematics/ thread1620976.html Перечислить все элементы множества Дискретная математика
Перечислить все элементы множества Р (А) (т.е. всы подмножества множества А): А={1,2{1,2}}
Дискретная математика Граф. Поиск в ширину Добрый день! Помогите, пожалуйста, выполнить поиск в ширину из вершины V11 https://onedrive.live.com/?authkey=%21ADzrmL_6pqAPIv4&cid=71F39918470AC25E&id=71F39918470AC25E%2127261&parId=71F39918470AC25E%21211&o=OneUp https://www.cyberforum.ru/ discrete-mathematics/ thread1620058.html Дискретная математика Принадлежность точки области N-угольника https://www.cyberforum.ru/ discrete-mathematics/ thread1619137.html
Вершины и точка задаются пользователем. Для определения взяла следующий алгоритм: 1.Нашла площадь многоугольника разбив его на треугольники. 2.Нужно сравнить площади многоугольника, найденного 1 способом и любым 2-ым. Подскажите, можно ли найти площадь произвольного многоугольника, если не разбивать его на треугольники, не использовать теоремы Пика и метод Монте-Карло? Знаю, что метод...
Сколько слов, не содержащих повторяющиеся подпоследовательностей Дискретная математика
Сколько слов из букв a и b длины 10, не содержащих повторяющиеся подпоследовательности длины 3 существует? Аналогичную для a, b, c, не содержащую подпоследовательность длины 2 я решил, а тут не могу понять. Помогите победить эту задачу
Дискретная математика Составьте матрицу смежности и матрицу инцидентности. Определите степени всех вершин графа https://www.cyberforum.ru/ discrete-mathematics/ thread1618069.html
Для данного графа: 1. Составьте матрицу смежности и матрицу инцидентности. 2. Определите степени всех вершин графа 3. Определите хроматическое число каждого графа. Опишите каждый шаг алгоритма. Помогайте форумчане)
10 / 9 / 4
Регистрация: 08.09.2014
Сообщений: 186
23.12.2015, 10:32 0

При помощи закона логики высказываний доказать, что формула тавтология - Дискретная математика - Ответ 8532413

23.12.2015, 10:32. Показов 701. Ответов 1
Метки (Все метки)

Ответ

А что тут доказывать? По формуле де Моргана правая часть эквивалентности равна A∧B.

Вернуться к обсуждению:
При помощи закона логики высказываний доказать, что формула тавтология Дискретная математика
0
Programming
Эксперт
94731 / 64177 / 26122
Регистрация: 12.04.2006
Сообщений: 116,782
23.12.2015, 10:32
Готовые ответы и решения:

Доказать, что формула является теоремой формального исчисления высказываний
Доказать, что формула является теоремой формального исчисления высказываний. Можно использовать...

Доказать,что формула является теоремой формализованного исчисления высказываний
Доказать,используя при необходимости теорему дедукции и производные правила вывода(modus poneus),...

Алгебра логики. Доказать, что формула является теоремой ИВ
Помогите пожалуйста. Не могу справится с задачей. Доказать, что формула является теоремой ИВ: F &gt;...

По формулам логики высказываний доказать справедливость тождества
Довольно сложно, прошу помощи

1
IT_Exp
Эксперт
87844 / 49110 / 22898
Регистрация: 17.06.2006
Сообщений: 92,604
23.12.2015, 10:32
Помогаю со студенческими работами здесь

Используя метод резолюций для логики высказываний, доказать справедливость вывода для заданного множества
Используя метод резолюций для логики высказываний, доказать справедливость вывода для заданного...

Доказать, что в исчислении высказываний L2
Доказать, что в исчислении высказываний L2 формула II+III=IIIII Приложение: Исчисление...

Докажите данную теорему при помощи исчисления высказываний.
Докажите данную теорему при помощи исчисления высказываний: ((p &amp; q)\supset\neg r) ((r&amp;p)...

Управление нагрузкой при помощи логики.
Доброго времени суток всем. Начну традиционно - вот и ко мне пришёл Launchpad с msp430g2553 на...

Доказать, что во всяком исчислении высказываний следующие формулы будут теоремами
Доказать,что во всяком исчислении высказываний,в котором правилом вывода является правило МР и в...

Доказать, что формула доказуема
Приветствую всех откликнувшихся. Возникло несколько вопросов: 1) нужно доказать что формула...

0
КиберФорум - форум программистов, компьютерный форум, программирование
Powered by vBulletin
Copyright ©2000 - 2023, CyberForum.ru