Es decir, si P o Q es verdadero y P es falso, entonces Q es verdadero.