0
голосов
0
ответов
365 показов
Докажите, что формула является интуиционистской тавтологией.
Докажите, что формула (p → q) → (¬q → ¬p) является интуиционистскойтавтологией.
0
голосов
0
ответов
422 показа
Постройте опровергающую модель Крипке.
Докажите, что формула ¬(p → q) → (p ∧ ¬q) не является интуиционистскойтавтологией. Постройте опровергающую модель Крипке.
0
голосов
0
ответов
401 показ
Постройте опровергающую модель Крипке.
Докажите, что формула (p → q) ↔ (¬p ∨ q) не является интуиционистской тавтологией. Постройте опровергающую модель Крипке.
1
голос
1
ответ
662 показа
Как построить?
Как построить формулу в какой-нибудь сигнатуре без равенства, имеющую трехэлементнуюмодель, но не имеющую двухэлементных моделей?
0
голосов
0
ответов
490 показов
Теория вероятностей
Дана случайная величина - коэффициент текучести кадров. К какому типу распределения она относится, дискретному или непрерывному?Полная формулировка за ...
5 вопросов
Связанные метки
Дизайн сайта/логотип © «Сеть Знаний». Контент распространяется под лицензией cc by-sa 3.0 с обязательным указанием авторства.