.05 Исчисление высказываний.
Ошибка.
Попробуйте повторить позже
Пусть - любая формула. Доказать, что
(То есть если в гипотезах у нас есть какая-то формула вместе со своим отрицанием, то из такого множества гипотез можно вывести абсолютно любую формулу).
1. - гипотеза;
2. -
;
3. - гипотеза;
4. -
;
5.
MP
1, 2.
6.
MP
3, 4.
7. -
;
8.
MP
5, 7.
9.
MP
6, 8.
10. -
;
11.
MP
9, 10.
Специальные программы

Программа
лояльности v2.0
Приглашай друзей в Школково и получай вознаграждение до 10%!

Крути рулетку
и выигрывай призы!
Крути рулетку и покупай курсы со скидкой, которая привязывается к вашему аккаунту.

Бесплатное онлайн-обучение
Для школьников из приграничных территорий России, проживающих в ДНР, ЛНР, Херсонской, Запорожской, Белгородской, Курской, Брянской областях и Крыму.

Налоговые вычеты
Узнай, как получить налоговый вычет при оплате обучения в «Школково».

Специальное предложение
для учителей
Бесплатный доступ к любому курсу подготовки к ЕГЭ, ОГЭ и олимпиадам от «Школково». Мы с вами делаем общее и важное дело, а потому для нас очень значимо быть чем-то полезными для учителей по всей России!

Вернём деньги за курс
за твою сотку на ЕГЭ
Сдать экзамен на сотку и получить обратно деньги за подготовку теперь вполне реально!