¿Cuáles son? Regla de eliminación de la negación Regla de introducción de la negación Regla de la introducción de la disyunción Regla de eliminación de la implicación Regla de introducción de la conjunción