列出十个有效推理的形式与名称

Question

列出十个有效推理的形式与名称

Answer 1

肯前律：由“如果P那么Q,并且P”可以推出“Q”；
否后律：由“如果P那么Q,并且非Q”可以推出“非P”；
合取律：由“P,Q”可以推出“P合取Q”；
假言三段论：由“如果P,那么Q“,并且”如果Q,那么R“可以推出”如果P,那么R“；
逆否推理：由“如果P,那么Q”可以推出“如果非Q,那么非P”；
析取律：由“P”可推出“P析取Q”；
双重否定律：由“非非P”可推出“P”；
合取分解律：由“P合取Q”可推出“P”；
同一律：由“P”可以推出“P”；
简化律：“P合取P”等值于“P”