En esta representación, "P" es la proposición por demostrar, y "S" es una serie de proposiciones previas tomadas como ciertas.