Foros Ciencias Galilei

Hola a todos.

Recurro a ustedes, pues ví unos temas de Lógica en el foro, entonces pensé que alguien podría ayudarme.
Y solo quiero saber si alguien me puede aclarar una duda que tengo sobre la priorización de los conectivos.

Tengo los siguientes ejercicios:

1)   (p v r Λ p v ~ q) ↔p

Pues éste lo resolví en el siguiente orden: (como si tuviera paréntesis)

((p v r) Λ (p v ~ q)) ↔p

1:  (pνr)
2:  (pν~q)
3:  1 Λ 2
4:  3 ↔ p

Bien, al comparar el desarrollo con el de otra persona, no coincidía y el resultado tampoco.
Estaba desarrollado en este orden:

(p v r Λ p v ~ q) ↔p

1:  p ν r
2:  1 Λ p    (Aqui 1 es el resultado de pνr , y asi en los demás)
3:  2 ν ~q
4:  3 ↔ p



Y en el siguiente ejercicio también tuve problemas, lo que me ocasionó dudas:
                 
B)  ~ ~p ↔ [~(r Λ q) → r v q]

YO lo resolví en el siguiente orden de acuerdo a la jerarquía de los conectivos y            
~ ~p ↔ [(r Λ q) → r v q]

1:  (r Λ q)
2:  ~(r Λ q)
3:   r ν q
4:   2 → 3
5: ~ ~p ↔ 4
El otro estaba desarrollado en otro orden y obviamente, al compararlos también estaba diferente el resultado.

1: (r Λ q)
2: ~(r Λ q)
3: 2 → r
4: 3 ν q
5: ~ ~p ↔ 4        

Como verán, mi gran duda está en la prioridad de los conectivos cuando no hay paréntesis.
He buscado información y la explican muy claramente, pero siempre las proposiciones están entre paréntesis, corchetes y llaves, pero no dan ejemplos en el caso de que los ejercicios estén sin ellos.

¿¿Alguien podría ayudarme, por favor??

Se lo agradeceré muchísimo y disculpas.

Gracias por sus tiempos.


Keylyn.

Hola Keylyn, bienvenid@ al foro. Por favor, completa tu perfil. Gracias

Perdón, por no haberlo relaizado.

Me podrias explicar a que se refiere esta informacion que me solicita?? por fis. Gracias

Número de ICQ:  
AOL Instant Messenger:    
Dirección Jabber:  

Asi podre completar mi perfil.

Gracias.

Basta con que pongas los estudios que haces (económicas, ingeniería industrial, etc) y el curso. El nombre, si quieres.

OK. Muchas gracias. Ya está actualizado mi perfil.

1) (p V r Λ p V ~ q)

Por lo que he visto y sé, la prioridad de Λ es mayor que la de V. Por lo tanto, sería:

El de negación tiene prioridad máxima (supongo que es el ~ )

p V (r Λ p) V (~ q)

El orden en que se ejecute ahora el operador V no importa por tener la propiedad asociativa.

Lógica proporcional (Wiki)

Orden de operadores (desarrolloweb.com)

No me atrevo a decirte más porque es algo que ya no controlo bien, hace años que no los utilizo. Seguro que alguién te podrá decir algo más.

Ok. Muchas gracias por tu respuesta

Efectivamente ese es el signo de negacion que utilicé.

Bueno, mi duda va en el caso en que no exista parentesis como en los casos que presenté, y como veras yo lo resolvi diferente a tu sugerencia, y tambien diferente a otros ejercicios desarrollados por otras personas

Aunque tengo entendido que siempre deben ir paréntesis, y en estos casos no es así, y ahí me complico.

De todas maneras muchas gracias.

Tengo los siguientes ejercicios:

1)   (p v r Λ p v ~ q) ↔p

((p v r) Λ (p v ~ q)) ↔p
Lo hago de la sgte. manera:
p  q  r    ( ( p v r ) Λ  ( p v ~ q))        ↔ p
V  V  V         V       V      V                V
V  V  F         V       V      V                V
V  F  V         V       V      V                V
V  F  F         V       V      V                V
F  V  V         V       F       F               V
F  V  F         F       F       F                V
F  F  V         V       V      V                F
F  F  F         F       F       V                V
                 1       3       2                4
1:  (pνr)
2:  (pν~q)
3:  1 Λ 2
4:  3 ↔ p
El orden en que desarrollaste este primer ejercicio está correcto.




                
B)  ~ ~p ↔ [~(r Λ q) → r v q]

YO lo resolví en el siguiente orden de acuerdo a la jerarquía de los conectivos y            
~ ~p ↔ [(r Λ q) → r v q]

1:  (r Λ q)
2:  ~(r Λ q)
3:   r ν q
4:   2 → 3
5: ~ ~p ↔ 4
También está bien como lo has realizado.

Paloma