Segundo parcial 2011 ej1

Segundo parcial 2011 ej1

de Joaquin Villar Suberbie -
Número de respuestas: 6

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!

En respuesta a Joaquin Villar Suberbie

Re: Segundo parcial 2011 ej1

de Luis Sierra -
la parte a) del ejercicio pide la definición de dos lenguajes; no habla de pip en ningún momento.

luis
En respuesta a Luis Sierra

Re: Segundo parcial 2011 ej1

de Joaquin Villar Suberbie -

perdon me equivoque es el segundo parcial del 2010 perdon

En respuesta a Joaquin Villar Suberbie

Re: Segundo parcial 2011 ej1

de Luis Sierra -

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
En respuesta a Luis Sierra

Re: Segundo parcial 2011 ej1

de Joaquin Villar Suberbie -

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

En respuesta a Joaquin Villar Suberbie

Re: Segundo parcial 2011 ej1

de Luis Sierra -
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