7.
Penyelesaian.
\(P(11)\) adalah pernyataan “\(16\cdot 11 + 1\) genap”, yang bernilai salah. Dengan demikian, pernyataan \(\forall x P(x)\) salah (misalnya, 11 merupakan contoh penyangkal). Namun, kita tidak dapat menyimpulkan apa pun tentang \(\exists x P(x)\) karena kita tidak mengetahui nilai kebenaran \(P(x)\) untuk unsur semesta pembicaraan lainnya. Dalam kasus ini, \(\exists x P(x)\) ternyata benar (misalnya, karena \(P(1)\) benar).
