^^^^^درود ^^^^^
**پاسخ:**
مانند سوال 1، گزینه (d) درست است زیرا اگر /(/exists x P(x)/)، این نشان میدهد که یک مورد /(x/) وجود دارد که /(P(x)/) را ارضا میکند، و اگر /(/forall x (P(x) /rightarrow Q(x))/) درست باشد، بنابراین همان /(x/) باید /(Q(x)/) را نیز ارضا کند.
