donde formula_6 significa "P implica Q", formula_7 significa "no es el caso de que formula_2" (o en resumen "no formula_2").