Условие задачи
При помощи законов двойного отрицания и теоремы о дедукции доказать, что следующие формулы являются теоремами исчисления высказываний.
Ответ
Сначала докажем, что из гипотез и выводима формула :
1) гипотеза;
2) гипотеза;
3) получена из (1) и (2) по ПВ;