结构推理 根据定义,说明下列命题公式是如何形成的.
   ①(A→(A∨B))
   ②((¬A∧B)∧A)
   ③(¬A→B)∨(B→A)
【正确答案】①A是命题公式,A∨B是命题公式,(A→(A∨B))是命题公式,此过程可简化为:
   A,(A∨B),(A→(A∨B)).
   同理可有:
   ②A,¬A,(¬A∧B),((¬A∧B)∧A).
   ③A,¬A,B,(¬A→B),(B→A),(¬A→B)∨(B→A).
【答案解析】