单项选择题 列举问题所涉及的所有情形，并使用一定条件检验每一种情形是否是问题的解，这种算法属于（）。

单项选择题 设P：张强虽然受伤了，Q：张强跑得很快，命题“张强虽然受伤了，但是他跑得很快。”的符号化表示为（）。

单项选择题 逻辑联结词的优先级（由高到低）为（）。