单项选择题 通过已知的初始条件，利用特定关系得出中间推论，直到得到最后结果，可以用（）实现。

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

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