Логотип Автор24реферат
Задать вопрос
%
уникальность
не проверялась
Контрольная работа на тему:

Пусть Φ Ψ — формулы исчисления высказываний

уникальность
не проверялась
Аа
977 символов
Категория
Высшая математика
Контрольная работа
Пусть Φ Ψ — формулы исчисления высказываний .pdf

Зарегистрируйся в 2 клика в Кампус и получи неограниченный доступ к материалам с подпиской Кампус+ 🔥

Условие

Пусть Φ, Ψ — формулы исчисления высказываний. Построить вывод формулы исчисления высказываний из данного множества гипотез: Φ∧Ψ⊢Φ∧(¬Φ∨Ψ).

Решение

Потяни, чтобы посмотреть
Придерживаемся следующей аксиоматики (Лавров И.А., Максимова Л.Л. Задачи по теории множеств, математической логике и теории алгоритмов. — 5-е изд., исправл., — М.: ФИЗМАТЛИТ, 2004. — 256 с., стр. 65):
Также потребуется дополнительное правило силлогизма: A→B, B→C⊢A→C.
A→B→A→B→C→A→C — аксиома 2,
A→B — гипотеза,
A→B→C→A→C — из (1) и (2) по правилу modus ponens,
B→C→A→B→C — аксиома 1,
B→C — гипотеза,
A→B→C — из (4) и (5) по правилу modus ponens,
A→C — из (3) и (6) по правилу modus ponens.
Теперь докажем требуемое.
Φ∧Ψ→Φ — аксиома 3,
Φ∧Ψ→Ψ — аксиома 4,
Ψ→¬Φ∨Ψ — аксиома 7,
Φ∧Ψ→¬Φ∨Ψ — из (2) и (3) по правилу силлогизма,
Φ∧Ψ→Φ→Φ∧Ψ→¬Φ∨Ψ→Φ∧Ψ→Φ∧(¬Φ∨Ψ) —аксиома 5,
Φ∧Ψ→¬Φ∨Ψ→Φ∧Ψ→Φ∧(¬Φ∨Ψ) — из (5) и (1) по правилу modus ponens,
Φ∧Ψ→Φ∧(¬Φ∨Ψ) — из (6) и (4) по правилу modus ponens,
Φ∧Ψ — гипотеза,
Φ∧(¬Φ∨Ψ) —из (7) и (8) по правилу modus ponens.
50% задачи недоступно для прочтения
Переходи в Кампус, регистрируйся и получай полное решение
Получить задачу
Больше контрольных работ по высшей математике:

Найти все значения x при которых выполняется неравенство

463 символов
Высшая математика
Контрольная работа

Найти значение матричного многочлена f(A)

586 символов
Высшая математика
Контрольная работа

Решить задачу используя диаграмму Эйлера-Венна

568 символов
Высшая математика
Контрольная работа
Все Контрольные работы по высшей математике
Получи помощь с рефератом от ИИ-шки
ИИ ответит за 2 минуты