Usuario:Rafa20/ejercicio 1

Matematica discreta y logíca, Winfried K. Grassmann, Página 21, Ejercicio 2.

Inserte parentesis dentro de las expresiones siguientes, de tal manera que se elimine la ambigüedad sin utilizar las reglas de prioridad.

a) P $\land \;$ Q $\land \;$ R $\to p\;$

DESARROLLO: Para eliminar la ambigüedad, debemos agrupar los operadores iguales para despues, poder operarlos con el restante.

• P $\land \;$ Q $\land \;$ R $\to p\;$
• ((P $\land \;$ Q) $\land \;$ R) $\to p\;$
• (P $\land \;$ Q $\land \;$ R) $\to p\;$

Este ejercicio se desarrolla, pruimero agrupando los operadores "Y" ($\land \;$), para luego desarrollar con la implicación ($\to \;$).