juanreutter
commented
2 years ago Voy La primera es respecto al primer tipo de fórmulas descritas en el enunciado, que serían las implicancias. La fórmula del enunciado debería considerarse como [p -> (q_1 ∨ q_2 ∨ ... ∨ q_n)] o como [(p -> q_1) ∨ q_2 ∨ ... ∨ q_n]? La primera
Mi segunda duda es respecto tanto al primer y segundo tipo de fórmulas descritas en el enunciado. Cuando se tiene [q_1 ∨ q_2 ∨ ... ∨ q_n], se considera que puede haber negación de las proposiciones? Es decir, es válido tener algo como [p ∨ -q ∨ r ∨ -s] No!
CholgaMan1
Hola!
Tengo un par de dudas sobre el formato de las fórmulas en el sistema de conocimiento negativo de la tarea.
La primera es respecto al primer tipo de fórmulas descritas en el enunciado, que serían las implicancias. La fórmula del enunciado debería considerarse como [p -> (q_1 ∨ q_2 ∨ ... ∨ q_n)] o como [(p -> q_1) ∨ q_2 ∨ ... ∨ q_n]?
Mi segunda duda es respecto tanto al primer y segundo tipo de fórmulas descritas en el enunciado. Cuando se tiene [q_1 ∨ q_2 ∨ ... ∨ q_n], se considera que puede haber negación de las proposiciones? Es decir, es válido tener algo como [p ∨ -q ∨ r ∨ -s] ?
Muchas gracias