Lógica: Ejercicio 13

Buenas,

Quería saber si en el ejercicio 13, especificamente en las partes e y f donde se pide pasar de una formula de PROP a una abreviatura, si se pide una abreviatura "total", refiriendome a una sin ningún parentesis, o si en la parte e con la abreviatura:

(p1 → p2) ∧ p3 ∧ p4

sería suficiente, Muchas gracias.

Re: Ejercicio 13

de Juan Diego Campo - lunes, 25 de marzo de 2024, 20:41

Hola, el ejercicio no aclara, así que sería suficiente con cualquier abreviatura.

Ojo que en la parte e, esa abreviatura que mostrás es "total", en el sentido que ya no se pueden sacar paréntesis y que la fórmula siga siendo "la misma".

Saludos