简答题 对于给定的代换产生公式“（（P→Q）→P）→P；用P→Q代换P，用（P→Q）→R代换Q”的代换实例。

命题公式“（Q→P）→（P→Q）”是重言式？还是是矛盾式？ 点击查看答案

命题公式“（Q∧（P→Q））→（P→Q）”是重言式？还是是矛盾式？ 点击查看答案