0

Докажите, что формула (p → q) → (¬q → ¬p) является интуиционистской тавтологией.

задан 5 Ноя '20 12:06

10|600 символов нужно символов осталось
Знаете, кто может ответить? Поделитесь вопросом в Twitter или ВКонтакте.

Ваш ответ

Если вы не нашли ответ, задайте вопрос.

Здравствуйте

Математика - это совместно редактируемый форум вопросов и ответов для начинающих и опытных математиков, с особенным акцентом на компьютерные науки.

Присоединяйтесь!

регистрация »

отмечен:

×2,168
×582
×187
×5

задан
5 Ноя '20 12:06

показан
366 раз

обновлен
5 Ноя '20 12:06

Связанные вопросы

0 Постройте опровергающую модель Крипке.

0 Упрощение логических выражений

1 Верно ли утверждение (дискретка)

1 Сколько функций от n переменных содержит множество? (Дискретная Математика)

0 Показать, что множество является полной системой

0 Число неупорядоченных пар точек сферы

1 Дискретная математика

1 Можно ли выразить булеву функцию над множеством формулой заданной глубины (дискретка)

0 Привести примеры базисов

0 Привести формулу к СДНФ с помощью тождественных преобразований.

Отслеживать вопрос

по почте:

Зарегистрировавшись, вы сможете подписаться на любые обновления

по RSS:

Ответы

Ответы и Комментарии

Дизайн сайта/логотип © «Сеть Знаний». Контент распространяется под лицензией cc by-sa 3.0 с обязательным указанием авторства.
Рейтинг@Mail.ru