La regla de "silogismo hipotético" puede escribirse en la notación subsiguiente: