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

填空题 令p：小丽拿一个苹果，q：小丽拿一个梨，命题“小丽只能拿一个苹果或一个梨。”的符号化形式（）。

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