12- (CESPE/PREVIC) Se a proposição P for falsa, então a proposição P → (Q V R)
será uma proposição verdadeira.
13- (CESPE/SEBRAE) A proposição ¬(PΛQ) é equivalente à proposição (¬P)V(¬Q). 14- (CESPE/TRE ES) A negação da proposição P→Q é logicamente equivalente à proposição ~P→~Q.