（（p→q）∧（q→r）∧（r→s））→（～s→～p）是重言式