* Это «контрапозиция» утверждения «все вороны чёрные»: (x)(Rx → Bx) и (x)(¬Bx → ¬R) логически эквивалентны.