Отрицание в логике: Обозначения и примеры