LÓGICA DE ENUNCIADOS O PROPOSICIONAL

EJERCICIOS: FORMALIZACIÓN Y RESOLUCIÓN

1. Formaliza y resuelve los siguientes argumentos. Puedes utilizar la aplicación de servidor antes de ver la solución. Si no estás familiariado con el uso de esta aplicación, consulta la ayuda.

a. Utiliza el método de reducción al absurdo: (A & B ) -> C, A & ¬C |- ¬B

b . (A V B) -> D &F, ¬D |- ¬F -> ¬B

 

Si y sólo si has intentado realizar tú mismo este ejercicio, pulsa el enlace para ver la solución ;-)