Ejercicio 13

Re: Ejercicio 13

de Juan Diego Campo -
Número de respuestas: 0
Hola Matías, revisá la presentación de teórico, en las páginas 28 y 29.
Ahí te dice qué convenciones usamos para abreviar las fórmulas de PROP y da algunos ejemplos.

Si tomamos la parte b del ejercicio podemos ver que la tira
p_1 \rightarrow p_2 \wedge p_3 \wedge p_4 \rightarrow p_5
no es estrictamente una fórmula de PROP, porque le faltan los paréntesis, pero sí es una abreviatura de la siguiente fórmula (siguiendo las convenciones de precedencia):

(p_1 \rightarrow ((p_2 \wedge p_3 \wedge p_4) \rightarrow p_5))

Esto sí pertenece a PROP, poque puedo formarla con las reglas de definición del conjunto.

Revisá lo que hiciste teniendo en cuenta lo que está en el teórico, y volvé a mandar si querés.


Saludos