Si tengo esta fórmula φ∨ψ→¬(¬φ∧¬ψ)
Se le así (φ)∨(ψ→¬(¬φ∧¬ψ)) o así (φ∨ψ)→(¬(¬φ∧¬ψ))? Almenos para YODA se lee de la segunda forma, pero no debería ser ∨ el conector principal en vez de →?
Gracias
Hola, disculpá la demora. El yoda tiene algunas particularidades que no se ajustan del todo al curso. Esa que mencionás es una.
En el curso la forma de leer esa fórmula es (φ∨ψ)→(¬(¬φ∧¬ψ)).
Si ves que el yoda lee la fórmula mal, agregale los paréntesis explícitamente así te entiende.
Saludos
En el curso la forma de leer esa fórmula es (φ∨ψ)→(¬(¬φ∧¬ψ)).
Si ves que el yoda lee la fórmula mal, agregale los paréntesis explícitamente así te entiende.
Saludos