3 utilizando las reglas de inferencia demostrar que p

This preview shows page 3 - 5 out of 5 pages.

3.- Utilizando las reglas de inferencia, demostrar que P V H, es una conclusión válida para las siguientes proposiciones: • N→ ¬Q (p) , En este caso aplica la regla de ADJUNCION, la que manifiesta que todas las proposiciones son consideradas premisas, si ambas son verdaderas, se pueden unir en una sola proposición molecular utilizando el conectivo lógico “Y” (conjunción), entonces si ambas premisas son ciertas la conclusión tendría que ser verdadera. • ¬¬Q (p) , para la siguiente descripción simbólica de doble negación , según la regla de inferencia de MODUS PONENS, permite pasar de una única premisa a una conclusión, Esta regla funciona o es aplicable de igual manera en sentido contrario, como lo muestra el caso planteado. • ¬(N V P)→ N (p) , la regla se MORGAN es la que más se ajusta a este caso, debido a que pasar de una disyunción a una conjunción y viceversa, alterando en el proceso además del operador lógico, los valores de verdad de las proposiciones, es decir, negando estas.
Bibliografía Contenido de la semana 4, Logica Matemática Digital. Recursos adicionales de la semana 4, Logica Matemática Digital.
Yapo.

  • Left Quote Icon

    Student Picture

  • Left Quote Icon

    Student Picture

  • Left Quote Icon

    Student Picture