Форум программистов, компьютерный форум, киберфорум
Наши страницы
Мат. логика и множества
Войти
Регистрация
Восстановить пароль
 
Domolaz
2 / 2 / 1
Регистрация: 16.09.2012
Сообщений: 18
1

Лемма о скобочном итоге

17.09.2012, 02:24. Просмотров 512. Ответов 0
Метки нет (Все метки)

Выдержка из Верещагина, Шеня "Языки и исчисления" :

Лемма. Скобочный итог формулы равен нулю. Скобочный итог
любого начала формулы неотрицателен и равен нулю, лишь если
это начало совпадает со всей формулой, пусто или состоит из одних
символов отрицания.
Слова «индукцией по построению» означают, что мы проверяем
утверждение для переменных, а также доказываем, что если оно
верно для формул A и B, то оно верно и для формул (A^B), (A\/B),
(A -> B) и ¬A.

Не могу додумать доказательство. Помогите, пожалуйста, с первыми двумя случаями(конъюнкция и переменные).
0
Similar
Эксперт
41792 / 34177 / 6122
Регистрация: 12.04.2006
Сообщений: 57,940
17.09.2012, 02:24
Ответы с готовыми решениями:

Лемма Абеля
Не могу понять переход отмеченный на втором снимке Прошу не удалять тему никак...

Лемма Жордана
Добрый вечер всем! Подскажите, пожалуйста, как воспользоваться леммой Жордана...

Локальная лемма ловаса и криптография
Преподаватель дал задание изучить данную тему и рассказать в чем связь...

ВСЕ результаты в итоге
Добрый день! Коллеги такая проблема: есть 13 таблиц, формат таблицы...

Качал Ведьмак3, в итоге вирус
Вот логи Cкачалось опера,комета,амиго,панель кометы,появились ссылки в...

0
MoreAnswers
Эксперт
37091 / 29110 / 5898
Регистрация: 17.06.2006
Сообщений: 43,301
17.09.2012, 02:24

Массивы. в итоге объединить полученные
Выбросить из массива А все элементы с четными номерами, а из массива В - с...

Странный цикл for и значение y в итоге
Ребят подскажите какого буде значение переменной y после выполнения кода: ...

ПК стал перезагружаться, а в итоге выдал BSOD
Пару дней назад комп стал самовольно перезагружаться. Дошло до того, что стал...


Искать еще темы с ответами

Или воспользуйтесь поиском по форуму:
1
Ответ Создать тему
Опции темы

КиберФорум - форум программистов, компьютерный форум, программирование
Powered by vBulletin® Version 3.8.9
Copyright ©2000 - 2018, vBulletin Solutions, Inc.
Рейтинг@Mail.ru