如果P那么Q"等值于"或者非P或者Q