Математический форум Math Help Planet
Обсуждение и решение задач по математике, физике, химии, экономике Теоретический раздел |
Часовой пояс: UTC + 3 часа [ Летнее время ] |
новый онлайн-сервис число, сумма и дата прописью |
|
Часовой пояс: UTC + 3 часа [ Летнее время ] |
Страница 1 из 1 |
[ Сообщений: 2 ] |
|
Автор | Сообщение | |
---|---|---|
firefox1234 |
|
|
Нужно вывести эту формулу в исчислении предикатов! [math]\exists x \forall y \forall z A(x,y,z) \rightarrow \forall u \exists t A(t,t,u)[/math] Построить интерпретацию, в которой данная формула неверна. [math]\exists x (A(x) \rightarrow (B(x)\rightarrow C(x))) \; \rightarrow \; (\forall x B(x) \rightarrow (\exists x \bar{A}(x)\vee \forall x C(x)))[/math] |
||
Вернуться к началу | ||
gefest |
|
|
1. Можно использовать правила введения и удаления. И искать доказательство с конца. Эта выражение следует из правила введения импликации. Последняя в свою очередь следует из другого выражения по правилу введения квантора всеобщности и.т.д.
2. Интерпретации в логике предикатов играют такую же роль, какую играют строки таблиц истинности в логике высказываний. [math]\exists x\in\mathbb{N}(x\geqslant 1\to(x\geqslant 1\to x>3))\to(\forall x\in\mathbb{N}(x\geqslant 1)\to\exists x\in\mathbb{N}\neg(x\geqslant 1)\vee\forall x\in\mathbb{N}(x>3))[/math] [math]\mathbb{N}=\{1,\ 2,\ \ldots\}[/math] |
||
Вернуться к началу | ||
[ Сообщений: 2 ] |
Похожие темы | Автор | Ответы | Просмотры | Последнее сообщение |
---|---|---|---|---|
Предикаты | 2 |
270 |
18 май 2020, 19:40 |
|
Предикаты | 1 |
146 |
12 июн 2020, 12:19 |
|
Предикаты | 11 |
537 |
02 май 2018, 15:23 |
|
Предикаты | 11 |
708 |
27 ноя 2017, 16:37 |
|
Предикаты | 1 |
191 |
05 апр 2020, 19:30 |
|
Предикаты | 2 |
153 |
05 дек 2020, 21:48 |
|
Предикаты | 5 |
385 |
14 фев 2021, 15:51 |
|
Матлогика. Предикаты | 3 |
297 |
01 дек 2022, 02:23 |
|
Высказывания и предикаты | 14 |
265 |
14 окт 2020, 10:52 |
|
Высказывания и предикаты | 1 |
167 |
25 май 2020, 17:50 |
Часовой пояс: UTC + 3 часа [ Летнее время ] |
Кто сейчас на конференции |
Сейчас этот форум просматривают: нет зарегистрированных пользователей и гости: 16 |
Вы не можете начинать темы Вы не можете отвечать на сообщения Вы не можете редактировать свои сообщения Вы не можете удалять свои сообщения Вы не можете добавлять вложения |