Question

Let p,q,r,sp, q, r, s represent the following propositions.
p:x∈{8,9,10,11,12}p: x \in \{8, 9, 10, 11, 12\}
q:xq: x is a composite number
r:xr: x is a perfect square
s:xs: x is a prime number

The integer x≥2x \ge 2 which satisfies ¬((p  ⟹  q)∧(¬r∨¬s))\neg((p \implies q) \wedge (\neg r \vee \neg s)) is _____.

Official answer and solution
Official answer
11
From
Official GATE 2016 answer key

Solution

Simplify the propositional logic expression using De Morgan's laws and test for prime/composite conditions.

We are given the compound proposition:

ϕ=¬((p  ⟹  q)∧(¬r∨¬s))\phi = \neg((p \implies q) \wedge (\neg r \vee \neg s))

Recall that p  ⟹  q≡¬p∨qp \implies q \equiv \neg p \vee q. By De Morgan's laws:

¬(A∧B)≡¬A∨¬B\neg(A \wedge B) \equiv \neg A \vee \neg B

Here:

  • ¬(p  ⟹  q)≡¬(¬p∨q)≡p∧¬q\neg(p \implies q) \equiv \neg(\neg p \vee q) \equiv p \wedge \neg q
  • ¬(¬r∨¬s)≡r∧s\neg(\neg r \vee \neg s) \equiv r \wedge s
    Therefore:
ϕ≡(p∧¬q)∨(r∧s)\phi \equiv (p \wedge \neg q) \vee (r \wedge s)

Examine the second disjunct (r∧s)(r \wedge s):

  • r:xr: x is a perfect square (x=k2x = k^2 for some integer kk).
  • s:xs: x is a prime number.
    For any integer x≥2x \ge 2, if xx is a perfect square k2k^2, then k≥2k \ge 2, so xx has proper divisors 1,k,k21, k, k^2, which means xx is composite. A composite number cannot be prime. Hence, no integer x≥2x \ge 2 can be both a perfect square and a prime number. Thus, r∧sr \wedge s is identically FALSE.

The proposition simplifies to:

ϕ≡p∧¬q\phi \equiv p \wedge \neg q
  • p:x∈{8,9,10,11,12}p: x \in \{8, 9, 10, 11, 12\}
  • ¬q:x\neg q: x is NOT composite
    Among the candidate values in {8,9,10,11,12}\{8, 9, 10, 11, 12\}:
  • 8=238 = 2^3 (composite)
  • 9=329 = 3^2 (composite)
  • 10=2×510 = 2 \times 5 (composite)
  • 1111 (prime, hence not composite)
  • 12=22×312 = 2^2 \times 3 (composite)
    Only x=11x = 11 satisfies p∧¬qp \wedge \neg q.

Thus, the required integer is 11.

Final answer

11

Common trap

Assuming r∧sr \wedge s might hold for x=4x = 4 or x=9x = 9, forgetting that primes cannot be non-trivial squares.

The answer is the one in the official GATE answer key. The solution is this site's own explanation.

Source

Paper
GATE 2016 Computer Science and Information Technology (CS) Session 1
Question
11 of 65, printed as CS Q.1
Section
Computer Science and Information Technology

Report an error in this question

GATE questions are the work of the organising institutes. This site is independent and is not affiliated with them.