Thư viện bài toán

Trên một hòn đảo, tôi đã gặp ba người A, B và C, một người là hiệp sĩ, một người khác là kẻ bất lương và người kia là gián điệp. Người hiệp sĩ luôn nói sự thật, kẻ bất lương luôn luôn nói dối và gián điệp có thể nói dối hoặc nói sự thật.
A nói: "Tôi là hiệp sĩ."
B nói, "Tôi là kẻ bất lương."
C nói: "Tôi là gián điệp."
Hỏi ai là gián điệp?

Cho hai mệnh đề P và Q:
P: $ABCD$ là tứ giác nội tiếp.
Q: Tổng số đo hai góc đối nhau bằng $180^o$.
Hãy phát biểu mệnh đề $P\Rightarrow Q$dưới dạng điều kiện cần và đủ.