mostrar texto associado

A expressão [(P→Q) V P]→Q é uma tautologia.