اگر نقیض «$(x\ge ۵)\vee (y\in Q)$» دارای ارزش درست باشد، x و y کدام گزینه میتواند باشد؟
$\sim (p\vee q)\equiv \sim p\wedge \sim q,\sim (p\wedge q)\equiv \sim p\vee \sim q$ :(قوانین دمورگان) مطابق نکته ابتدا نقیض را به دست میآوریم: $\sim (x\ge 5\vee y\in \mathbb{Q})\equiv \sim (x\ge 5)\wedge \sim (y\in \mathbb{Q})\equiv (x \lt 5)\wedge (y\in {\mathbb{Q}}')$ پس x عددی کوچکتر از 5 و y عددی گنگ است. با توجه به گزینهها، گزینه 2 پاسخ است.