Заглушки логики

Двойной турникет Двойной турникет используется в логике для обозначения семантического следствия или более сильного утверждения.  Он тесно связан с символом […]