0
голосов
0
ответов
32 показа

Для пропозициональной формулы $%\phi$% пусть $%oc(\phi)$% - множество всех пропозициональных переменных, появляющихся в $%\phi$%. Например, $%oc(p_1\l ...
0
голосов
0
ответов
24 показа

Как доказать такое утверждение?Для любого множества $%G$% пропозициональных предложений и для любых пропозициональных предложений $%\phi,\psi,$% $$G\m ...
0
голосов
0
ответов
21 показ

Докажите или опровергните следующее:Если $%\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 показов

Выводится ли формула ♦(p <-> ■p) в S5 ?
0
голосов
0
ответов
40 показов

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