Исправление alexferman, (текущая версия) :
при этом ни аксиом ни правил вывода не указал
Мой вопрос это не экзамен, а упражнение для ума.
Исходная версия alexferman, :
при этом ни аксиом ни правил вывода не указал
Это не экзамен, а упражнение для ума.