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