Complete la línea de puntos con el paso faltante de la deducción que se presenta a continuación e indique dentro del paréntesis la regla que justif...

Complete la línea de puntos con el paso faltante de la deducción que se presenta a continuación e indique dentro del paréntesis la regla que justifica ese paso.


1. Si se ven las estrellas entonces el cielo no está nublado. (Premisa)
2. El cielo está nublado o se ve la Luna. (Premisa)
3. Es de noche y se ven las estrellas. (Premisa)
___________________________________________________________________
4. Se ven las estrellas. (Simplificación de 3)
5. …El cielo no está nublado…………… (…Modus Ponens…de 1 y 4)
6. Se ve la Luna. (Silogismo Disyuntivo de 2 y 5)