Buenas, tengo una duda. Cuando tengo por ejemplo: (psi->phi)->phi. Es valido reescribir de esta forma psi->(phi->phi) ?
Gracias
Hola Marcos:
Las fórmulas
- ψ → (φ → φ)
- (ψ → φ) → φ
No son equivalentes.
Podés encontrar una valuación v tal que
- v(ψ → (φ → φ)) ≠ v((ψ → φ) → φ)