0
голосов
0
ответов
32 показа
Является ли $%\phi$% тавтологией?
Для пропозициональной формулы $%\phi$% пусть $%oc(\phi)$% - множество всех пропозициональных переменных, появляющихся в $%\phi$%. Например, $%oc(p_1\l ...
0
голосов
0
ответов
24 показа
$%G\models \phi\to \psi\iff G\cup\{\phi\}\models\psi$%
Как доказать такое утверждение?Для любого множества $%G$% пропозициональных предложений и для любых пропозициональных предложений $%\phi,\psi,$% $$G\m ...
0
голосов
0
ответов
21 показ
Предложения, составленные из $%T,F,\neg,\land,\lor$%
Докажите или опровергните следующее:Если $%\phi$% - предложение, составленное из $%T,F,\neg,\land,\lor$% без использования переменных/атомарных предло ...
0
голосов
0
ответов
28 показов
Является ли это тавтологией?
Пусть $%\phi,\psi$% - два различных предложения вида $%\pm p_1\land\pm p_2\land\dots\land \pm p_5$% где $%\pm p_i$% означает что берется либо $%p_i$% ...
0
голосов
0
ответов
22 показа
Привести примеры пропозициональных предложений
Привести примеры пропозициональных предложений, для которых $%\not\vdash \phi \to \psi,\not \vdash\phi \to \neg \psi$% (в системе доказательств из пре ...
0
голосов
0
ответов
25 показов
Тавтологии
Верны ли утверждения?Если $%\phi\land \psi$% - тавтология, то $%\phi$% и $%\psi$% - тавтологии. Думаю да, потому что для любой оценки $%v$%, $%[\phi\l ...
0
голосов
0
ответов
18 показов
Выполнимость пропозициональных предложений
Верны ли следующие утверждения?Если $%\phi\lor\psi$% выполнимо, то $%\phi$% или $%\psi$% выполнимо. Полагаю да: если $%v$% - оценка, такая что $%[\phi ...
0
голосов
0
ответов
19 показов
Закон де Моргана
Как вывести $%\neg(p\land q)\rightarrow \neg p \lor \neg q$%в natural deduction system? Правила вывода такие: https://i109.fastpic.ru/big/2019/0209/d2 ...
0
голосов
0
ответов
27 показов
Модальная логика
Рассмотрим такую модель (определение модели и истинности в модели см https://en.wikipedia.org/wiki/Modal_logic#Model_theory ) В каждом мире 1-6 истинн ...
1
голос
0
ответов
52 показа
Какова мощность универсального множества?
Википедия пишет, что универсальное множество - это множество, содержащее все объекты и все множества. Какова же, в таком случае, мощность универсально ...
0
голосов
0
ответов
48 показов
Является ли взятие дополнения функцией?
Являетcя ли сопоставление $%X\mapsto X^c$% (множеству сопоставляется его дополнение) функцией? Если это функция, то она действует из множества всех мн ...
0
голосов
0
ответов
36 показов
Полнота теории
Докажите, что если теория в сигнатуре с равенством содержит Eq(стандартные аксиомы равенства как отношение эквивалентности), имеет бесконечную нормаль ...
0
голосов
0
ответов
35 показов
Сильная категоричность
Есть T - теория в сигнатуре с равенством. Докажите, что если T содержит стандартные аксиомы равенства (Eq), непротиворечива, полна и не имеет бесконеч ...
0
голосов
0
ответов
48 показов
0
голосов
0
ответов
40 показов
Алгоритм Маркова
Постройте алгоритм Маркова, прибавляющий к числу, записанному в двоичной системе, единицу.
702 вопроса
Связанные метки
Дизайн сайта/логотип © «Сеть Знаний». Контент распространяется под лицензией cc by-sa 3.0 с обязательным указанием авторства.