Dadas dos proposiciones P y Q diremos que P implica lógicamente Q , y escribiremos formula_25 si formula_26 es una tautología.