将下列命题符号化 （离散数学）

1,P:小英聪明,Q:小英美丽,命题符号化P∧Q.
2,P:今天下雨,Q:今天刮风,命题符号化P∨Q.
3,P:f（x）是可以微分的,Q:f(x)是连续的,命题符号化P→Q.
4,P:猩猩是人,命题符号化┐P.
5,P:猫哭老鼠,Q:老鼠灭绝,命题符号化P↔Q.