令F（x）：x是人，G（x）：x喜欢吃馒头。H（x）：x喜欢吃米饭。命题“虽然有人不喜欢吃馒头，但也不是所有的人都喜欢吃米饭。”的符号化形式为（）。

令p：小丽拿一个苹果，q：小丽拿一个梨，命题“小丽只能拿一个苹果或一个梨。”的符号化形式（）。 点击查看答案

试证：对任意n阶布尔矩阵B和任意正整数k，有 其中，I是n阶单位矩阵。 点击查看答案