Постройте дерево вывода для секвенции . (В доказательствах можно использовать теоремы .)

1. Дано

Секвенция: $\vdash (\neg y \rightarrow x) \rightarrow (\neg x \rightarrow y)$

2. Решение

Для доказательства воспользуемся правилом введения импликации вправо ($\rightarrow R$), которое позволяет перенести посылку импликации в антецедент (левую часть секвенции).

Шаг 1: Применим правило $\rightarrow R$ к основной импликации:

Шаг 2: Еще раз применим правило $\rightarrow R$ к полученной секвенции, чтобы перенести $(\neg x)$...