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!
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!
perdon me equivoque es el segundo parcial del 2010 perdon
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
Dale muchas gracias!! Saludos!