Lógica y MD - 19/20
En las reglas de inferencia básica, el silogismo disyuntivo está mal. En su definición aparece el silogismo de la implicación. Debe poner esta definición
Este error en las notas os impedirá hacer el problema 1.7.10 (2)
Os pido disculpas por este despiste.
