Computer Science · Predicate Logic
What is the logical notation for the assertion 'Not all primes are odd', where P(x) denotes 'x is prime', E(x) denotes 'x is even', and O(x) denotes 'x is odd'?
- 1&exists;!x [E(x) ∨ O(x)]
- 2&exists;x [E(x) ∨ P(x)]
- 3&exists;x [P(x) ∧ ¬O(x)]✓
- 4&exists;x [¬E(x) ∨ O(x)]
Correct answer
&exists;x [P(x) ∧ ¬O(x)]
Download Single Question PDF
Save this question and verified answer as a clean study sheet with live clickable link.
Share with Friends & Study Groups
Challenge your peer aspirants on WhatsApp or Telegram to solve this question!
Preparing for Computer Science?
Practice full-length mock tests with real exam timers, instant score analysis, and all-India ranking.
Want more practice questions on Predicate Logic?
Solve complete topic-wise tests with detailed solutions on GkGet.
Related Practice Questions
Recommended practice questions in Computer Science · Predicate Logic