Supongamos que se desea demostrar una proposición "P".