سوال ۱۰۰ کنکور ارشد علوم کامپیوتر ۱۳۹۹

گزاره‌های زیر را در نظر می‌گیریم:

$T(a) = x \text{ دارای دم است}$ $B \times y = x \text{، } y \text{ را گاز می‌گیرد}$ $L(x , y) = x \text{، } y \text{ را دوست دارد}$ $C(x) = x \text{ یک گربه است}$ $D(x) = x \text{ یک سگ است}$

در آن‌صورت ترجمه فارسی گزاره زیر به‌صورت کدام‌یک از گزینه‌های زیر می‌باشد؟

$\exists x\big[\,C(x) \wedge \forall y\,[\,D(y) \wedge \neg T(y) \rightarrow B(y , x) \wedge \neg L(y , x)\,]\,\big]$