Nuestro cálculo proposicional tiene diéz reglas de inferencia.