「日本語」に翻訳しろとは言われてないから、俺はこう答える。

α=「犬か猫」
β=「～は好きではない」

∀x(α(x)→β(x))