Por lo tanto, formula_17, o "Todos los "P"s son "Q"s," tiene como contrapositiva formula_18, o "Todo no "Q" es no "P"."