[출제의도] 조건과 진리집합 사이의 관계를 이해하고 있는가를 묻는 문제이다.
p, q, r의 진리집합을 각각 P, Q, R 라 하면
2n−4≥3, n≥27에서 Q={4,5,6,7,⋯}
n2−19n−20≥0, (n+1)(n−20)≥0에서
R={20,21,22,23,⋯}
p는 q이기 위한 충분조건이므로 P⊂Q
p는 r이기 위한 필요조건이므로 R⊂P
∴ R⊂P⊂Q
P={n∣n≥k,n은자연수}에서
k=4,5,6,⋯,20
따라서 자연수 k의 개수는 17