Контрольная работа «Исчисление предикатов». Задание №3

Опубликовано от Евгений Ефремов на

Докажите, построив вывод:
\exists x(\Phi(x)\to\Psi(x)),\ \forall y\Phi(y)\ \vdash\ \exists y\Psi(y)\wedge\forall x\Phi(x)

Drag and Drop File Here or Browse
Рубрики:

1 комментарий

Богдан · 19.06.2020 в 06:25

Как это решать , я пошел через 8 аксиому , но что-то потом с 7 и 6 не получается захимичить

Ответить

Добавить комментарий

Заполнитель аватара

Ваш адрес email не будет опубликован. Обязательные поля помечены *

Похожие записи

Без рубрики

Третий Приморский математический турнир, 2024-2025 уч. год

Дальневосточный центр математических исследований ДВФУ приглашает школьников принять участие во втором Приморском математическом турнире! Участниками Турнира являются команды из 4 — 6 человек, состоящие из учеников 6 — 11 классов одной школы. Игры проводятся отдельно Читать дальше

Приморский математический турнир

Второй Приморский математический турнир!

Дальневосточный центр математических исследований ДВФУ приглашает школьников принять участие во втором Приморском математическом турнире!   Участниками Турнира являются команды из 4 — 6 человек, состоящие из учеников 6 — 11 классов одной школы. Игры проводятся Читать дальше

школа юного математика

Школа юного математика в 2023-2024 уч. году!

Дальневосточный центр математических исследований ДВФУ приглашает учащихся 8-11 классов школ г. Владивостока на дополнительные занятия в Школе юного математика! Школа юного математика создана для тех, кто желает научиться решать сложные задачи по математике, глубже погрузиться Читать дальше

Вставить формулу как
Блок
Строка
Дополнительные настройки
Цвет формулы
Цвет текста
#333333
Используйте LaTeX для набора формулы
Предпросмотр
\({}\)
Формула не набрана
Вставить