Ej 2-
Sea (P,Q) la especificación de un problema, donde P es la precondición y Q es la postcondición.
Sea un programa foo correcto respecto de (P.Q).
Indicar verdadero o falso y justificar:
foo es correcto respecto de (P, P)
foo es correcto respecto de (Q,P)
foo es correcto respecto de (Q,Q)
para mi 4 y 6 son verdaderas, ya que si tomamos P= Q = true (p,q) todo programa es correcto y tambien lo es (P,P), y si P=Q= false, (p,q) todo programa es correcto y tambien lo es para (P,P). idem para (q,q). esta bien?
y para el 6 si es verdad que (p,q) = (q,p) con p y q los mismos valores de verdad para que sea un programa correcto, digo p=q=true entonces es correcto que (p,q) entonces tambien lo es (q,p). esta bien?
No podés elegir que P y Q tomar. Claro que si elegís algunas en particular, o elegís el programa, podés hacer que sean ciertas, pero estás hablando para todo programa, para todo P, y para todo Q.
De la manera que lo leo yo, las tres son falsas - no tiene por qué cumplirse la precondición como postcondición (dame un arreglo vacío, te lo lleno), y no tiene por qué cumplirse la postcondición como precondición (mi postcondición es un arreglo ordenado, y mi programa asume que va a estar ordenado en orden inverso al entrar. Si me das un arreglo ordenado bien de entrada, te puedo devolver cualquier cosa, si mi programa no esperaba eso).
Firma
Por qué los poetas usan integrales?
Porque Riemann.