fallqs

摘要： T1 代换式、替换式 求代换式\((P\rightarrow(P\rightarrow Q))[P/P\rightarrow R]\) 求替换式\((P\lor R \rightarrow P\lor R\land S)[(P\lor R)/(P\land R)]\) 已知\(P,Q,R,S\)是命 阅读全文