Словарь по логике

 

Правило исключения двойного отрицания
.

© Автор статьи.