Tengo entendido que la prioridad de los conectivos es:
+prioridad
¬
"y", "o"
->, <->
-prioridad
En el Parcial 2009 Ejercico 3 parte 1 hay que hacer una derivacion para demostrar:
|- ¬a "y" (b->c)->((ayb)->c)
¿Como se supone que voy a demostrar ¬a (el conectivo "y" tiene prioridad)?¿O estoy aplicando mal la prioridad?