1
голос
1
ответ
164 показа

Оля, Вася, Маша и Петя – ученики 4, 5, 6 и 7 классов.На вопрос, кто кого старше, ребята сказали:Оля: «Маша старше Пети».Вася: «Оля младше Пети».Маша: ...
0
голосов
0
ответов
279 показов

Формулы первого порядка с предикатными символами $%B(x), P(x, y)$% будем интерпретировать на непустых словах в алфавите $%\{0, 1\}$% так: переменные ф ...
0
голосов
0
ответов
144 показа

Задача: пусть $%A$% не содержит свободных вхождений $%x$%. Доказать выводимость в исчислении ИПС (исчисление предикатов секвенциальное). Это исчислени ...
1
голос
2
ответа
291 показ

Вопрос такой: нужно в исчислении высказываний доказать, что если $% \Gamma, A \vdash B $% и $% \Gamma, A \vdash \neg B $%, то $% \Gamma \vdash \neg A ...
0
голосов
1
ответ
208 показов

Эквивалентны ли следующие формулы:$$\exists u \forall x \exists v \forall y (A(x, y) \rightarrow B(u, v)) $$ и $$\exists v \forall x \forall y \exists ...
0
голосов
0
ответов
208 показов

Эквивалентны ли следующие формулы: $$\forall x \forall y \exists z \exists t (A(t, y) \rightarrow B(x, z)) $$ и $$ \forall x \forall t \exists y \exis ...
1
голос
1
ответ
311 показов

Добрый вечер! Подскажите пожалуйста, что в логике подразумевают под знаком черты, когда пишут например:$%\frac{A(x)}{\forall y A(y)}$%. И чем это отли ...
0
голосов
0
ответов
225 показов

А - формула сконструированная из переменных $%p,q,r$% с использованием только $% \land , \vee, \rightarrow $%. (без отрицания). Может ли конъюктивная ...
0
голосов
0
ответов
362 показа

Изучаю нечеткую логику и ее применение.Возник вопрос по поводу последнего этапа - дефаззификации (процесс перехода от функции принадлежности выходной ...
-1
голосов
0
ответов
448 показов

С помощью правил естественного вывода доказать выводимость формулы $% \neg (\neg ( \neg Y \vee Z) \supset (\neg X \vee Z)) \equiv (X \& Y \& \ ...
0
голосов
0
ответов
416 показов

Верно ли, что любая Формула почти выводима?Почти выводимая Формула- это Формула, которая встречается в качестве подформула в выводимой формуле.
0
голосов
1
ответ
444 показа

$%\forall x A(x,y) \Rightarrow \exists y A(x,y)$%$%A(x,y) - x \vdots y$%$%x,y \in \mathbb{N}$%
1
голос
2
ответа
634 показа
0
голосов
1
ответ
472 показа
3
голоса
0
ответов
554 показа

В турнире на первенство школы участвовали шахматисты А, В, С, D, Е, F, K, N. Согласно итоговой таблице турнира:— А впереди В и С; — С после N через од ...
на странице153050
Дизайн сайта/логотип © «Сеть Знаний». Контент распространяется под лицензией cc by-sa 3.0 с обязательным указанием авторства.
Рейтинг@Mail.ru