0

Докажите, что формула ¬(p → q) → (p ∧ ¬q) не является интуиционистской тавтологией. Постройте опровергающую модель Крипке.

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

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

Ваш ответ

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

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

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

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

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

отмечен:

×2,138
×580
×186
×5

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

показан
392 раза

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

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

0 Докажите, что формула является интуиционистской тавтологией.

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

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

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

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

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

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

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

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

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

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

по почте:

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

по RSS:

Ответы

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

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