2 примера, использовать только аксиомы, модус понус, свойства транзитивности, контрпозиции, двойное отрицание.