Опишите исчисление в котором выводимыми являются в точности все формулы логики высказываний

уникальность
не проверялась

Аа

317 символов

Высшая математика

Решение задач

Реферат.Справочник
Решенные задачи по высшей математике
Опишите исчисление в котором выводимыми являются в точности все формулы логики высказываний

Опишите исчисление в котором выводимыми являются в точности все формулы логики высказываний .pdf

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

Условие

Опишите исчисление, в котором выводимыми являются в точности все формулы логики высказываний.

Решение

Потяни, чтобы посмотреть

A→A,B→B,A⋁B→B⋁AB⋁A
Покажем выводимость первой формулы: возьмём B=(A → A) и C=A, тогда:
(A→((A→A)→A))→((A→(A→A))→(A→A))
A→((A→A)→A)
A→A→A→A→A (MP)
A→(A→A)
A→A (MP)
Аналогичный вывод следует для остальных формул.

50% задачи недоступно для прочтения

Переходи в Кампус, регистрируйся и получай полное решение

Получить задачу