Hola en la parte a) del ejercicio hice la definicion del pip los pasos base como aparece en el teorico es decir que P(t=`t) se cumple, pero cuando voy a hacer el paso base no se como demostrarlo si no se si P(t) se cumple o no.
Gracias saludos!
la parte a) del ejercicio pide la definición de dos lenguajes; no habla de pip en ningún momento.
luis
luis
perdon me equivoque es el segundo parcial del 2010 perdon
AGUANTÁ... creo que te entendí...
*** no dar bolilla a lo que viene a continuación (luis, editado)
* cuidado; no confundas la P que usas como nombre de la Propiedad con la P, símbolo de relación.
* cuidado; usas P como una propiedad que habla de palabras de FORM, y no de palabras de TERM
¿podrías transcribir tu PIP?
luis
H) sea Q una propiedad de FORM l que cumple:
i) Q(t1=`t2) se cumple para todo t1,t2 perteneciente a TERM l
ii) Q(P(t)) se cumple para todo t perteneciente a TERM l
iii) si Q(α) se cumple, entonces Q(¬(α)) se cumple
iv) si Q(α) y Q(β) se cumple, entonces Q(α→β) se cumple
v) si Q(α) se cumple, entonces Q((∀xi)α) se cumple i ∈ a los naturales
primero... Q(t) no tiene sentido, ya que Q es una propiedad sobre FORM.
segundo... parece que precisas una propiedad Q2 parecida a Q pero que hable de TERM_extendido. posiblemente eso te sirva
tercero... si te sirve, demuestra también esa propiedad Q2
luis
segundo... parece que precisas una propiedad Q2 parecida a Q pero que hable de TERM_extendido. posiblemente eso te sirva
tercero... si te sirve, demuestra también esa propiedad Q2
luis
Dale muchas gracias!! Saludos!