Аксиомы

1. , инволютивность отрицания, закон снятия двойного отрицания
2. 
3. 
4. 
5. 
6. 
7. 
8. 
9.