[(P-->Q)&P]-->Q es verdadero también porque así funciona nuestro lenguaje, y porque así hemos dicho que funcionan los signos & y --> y las metavariables P y Q.