将下列命题符号化 （离散数学）1,小英聪明又美丽2,今天下雨或者刮风3,若f（x）是可以微分的,则f(x)是连续的4,猩猩不是人5,猫哭老鼠,当且仅当老鼠灭绝

将下列命题符号化 （离散数学）1,小英聪明又美丽2,今天下雨或者刮风3,若f（x）是可以微分的,则f(x)是连续的4,猩猩不是人5,猫哭老鼠,当且仅当老鼠灭绝
将下列命题符号化 （离散数学）
1,小英聪明又美丽
2,今天下雨或者刮风
3,若f（x）是可以微分的,则f(x)是连续的
4,猩猩不是人
5,猫哭老鼠,当且仅当老鼠灭绝

将下列命题符号化 （离散数学）1,小英聪明又美丽2,今天下雨或者刮风3,若f（x）是可以微分的,则f(x)是连续的4,猩猩不是人5,猫哭老鼠,当且仅当老鼠灭绝
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.