做数学证明题时运用所学过的公式、定理进行论证所运用的思维主要是（）

[证明]由于 P∧Q→P ￢(P∧Q)∨P ￢P∨￢Q∨P T 又由于 P∨￢P T 所以 由此证得 是永真式。$(P→(P∨Q)) ￢P∨P∨Q T。$￢P→(P→Q) ￢P→(￢P∨Q) P∨(￢P∨Q) T$(P∧(P→Q))→Q (P∧(￢P∨Q))→Q ((P∧￢P)∨(P∧Q))→Q (P∧Q)→Q ￢(P∧Q)∨Q ￢PV￢Q∨Q T$由于 ((P→Q)∧(Q→R))→(P→R) ￢((￢P∨Q)∧(￢Q∨R))∨(￢P∨R) ￢(￢P∨Q)∨￢(￢Q∨R)∨(￢P∨R) (P∧￢Q)∨(Q∧￢R)∨￢P∨R (￢P∨(P∧￢Q))∨(R∨(Q∧￢R)) ((￢P∨P)∧(￢P∨Q))∨((R∨Q)∧(R∨￢R)) (￢P∨￢Q)∨(R∨Q) (￢P∨R)∨(Q∨￢Q) T