Resultado de la búsqueda: p q p → q → p (q→ p) ∧ ( p→q) p ↔ q